MATH
Login Or Sign up

List Question

15
152
Views

Doubts about Goedel Completeness Theorem

Published on
#logic #first-order-logic #predicate-logic #proof-theory #formal-proofs
202
Views

Exercise 2 (p. 30) on W. Rautenberg - A concise introduction to Logic.

Published on
#logic #propositional-calculus #proof-theory #natural-deduction
453
Views

Translating from First Order Logic to Order-Sorted Logic

Published on
#logic #first-order-logic #proof-theory
74
Views

Is there a statement which can not be proved in any axiom systems

Published on
#axioms #proof-theory #incompleteness
417
Views

Can all proven theorems be proven by contradiction?

Published on
#logic #proof-writing #proof-theory
113
Views

Soundness of cut in Gentzen's System LK

Published on
#logic #proof-theory #sequent-calculus
1.3k
Views

Is Fermat's last theorem provable in Peano arithmetic?

Published on
#number-theory #diophantine-equations #proof-theory #incompleteness #peano-axioms
446
Views

Natural deduction in first-order logic

Published on
#logic #first-order-logic #proof-theory #natural-deduction #formal-proofs
193
Views

Equivalence in natural deduction in First-order logic

Published on
#logic #first-order-logic #proof-theory #natural-deduction #formal-proofs
124
Views

Equivalence in Natural deduction in First-order logic 2

Published on
#logic #first-order-logic #proof-theory #natural-deduction #formal-proofs
1.2k
Views

George Boolos and Gödel's Second Incompleteness Theorem

Published on
#logic #proof-theory #incompleteness #peano-axioms
63
Views

Determining whether proofs of the Pythagorean theorem are essentially the same, or essentially different

Published on
#euclidean-geometry #alternative-proof #proof-theory
2.3k
Views

Predicate Logic, Proof of validity . How to remove negation infront of existential quantifier?

Published on
#logic #first-order-logic #predicate-logic #proof-theory #natural-deduction
85
Views

Is there software to validate formal demonstrations?

Published on
#logic #math-software #proof-theory
56
Views

About proofs that we cannot verify every step by hand

Published on
#philosophy #proof-theory

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.