List questions from proof-theory | MathQa

A philosophical question about an hypothetical theorem/equation of everything

Published on 12 Jan 2025 - 19:11

Must non-constructive existential proofs use axioms of foundation or choice?

Published on 28 Dec 2024 - 16:25

Can we continue a proof by contradiction even if we get to a contradiction?

Published on 26 Dec 2024 - 16:09

what is a valid mathematical proof?

Published on 03 Jan 2025 - 2:12

Programming and ZFC

Published on 12 Jan 2025 - 17:20

Can we assign a number to each theorem stating its complexity?

Published on 03 Jan 2025 - 2:12

Does it make sense to claim that something cannot be proven without induction?

Published on 02 Jan 2025 - 1:30

Is there a connection between local soundness and completeness in proof theory, and free objects in category theory?

Published on 01 Jan 2025 - 18:42

Can a mathematical theorem be proved in infinite ways?

Published on 03 Jan 2025 - 0:03

Prove in GL that no statement can be proven consistent with PA unless PA is inconsistent

Published on 26 Dec 2024 - 21:05