MATH
Login Or Sign up

List Question

15
2k
Views

Formally what is a mathematical construction?

Published on
#logic #terminology
222
Views

Inverse of a recoursive function

Published on
#functions #logic #recursion
97
Views

Lambda-calculus - Basic Problem with application of Fixedpoint theorem

Published on
#logic #lambda-calculus
89
Views

Given p ⇒ q, use the Fitch System to prove ¬q ⇒ ¬p.

Published on
#logic
56
Views

Given ¬(p ∨ q), prove (¬p ∧ ¬q) using propositional logic operators.

Published on
#logic #propositional-calculus
71
Views

A formula for calculating a set of natural numbers from a given Natural number.

Published on
#sequences-and-series #logic #binary
116
Views

Lambda-Calculus - Alternative proof without fixed point combinator

Published on
#proof-verification #logic #alternative-proof #lambda-calculus
179
Views

Two ways to represent ex falso?

Published on
#logic #propositional-calculus
7.9k
Views

Still struggling to understand vacuous truths

Published on
#logic #definition #propositional-calculus
41
Views

Set logic when there is no elements given

Published on
#algebra-precalculus #elementary-set-theory #logic
251
Views

Hilbert style axiom system without generalisation

Published on
#logic #first-order-logic #predicate-logic #proof-theory #hilbert-calculus
3.4k
Views

With this definition of completeness, Gödel's Incompleteness result seems not surprising, so why it was back then?

Published on
#logic #first-order-logic #incompleteness
167
Views

Question regarding De Morgan's law and contrapositives

Published on
#discrete-mathematics #logic
104
Views

Can we rigorously define certainties of famous conjectures?

Published on
#probability #logic #soft-question #riemann-zeta #open-problem
60
Views

Limit case of PA theories?

Published on
#logic #peano-axioms

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.