Question

Proofs about theorem-provers in ZFC, in ZFC

score 433 · Answer 1 · 2026-03-25 06:02:27

433

Views

Proofs about theorem-provers in ZFC, in ZFC

Published on 25 Mar 2026 - 6:02

score 563 · Answer 2 · 2026-03-28 02:55:17

563

Views

A philosophical question about an hypothetical theorem/equation of everything

Published on 28 Mar 2026 - 2:55

score 412 · Answer 3 · 2026-03-06 08:40:29

412

Views

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

Published on 06 Mar 2026 - 8:40

score 1.7k · Answer 4 · 2015-11-25 08:05:24

1.7k

Views

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

Published on 25 Nov 2015 - 8:05

score 2.9k · Answer 5 · 2015-11-25 18:50:22

2.9k

Views

what is a valid mathematical proof?

Published on 25 Nov 2015 - 18:50

score 1.7k · Answer 6 · 2015-12-16 08:39:32

1.7k

Views

Programming and ZFC

Published on 16 Dec 2015 - 8:39

score 49 · Answer 7 · 2026-03-26 03:44:07

49

Views

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

Published on 26 Mar 2026 - 3:44

score 83 · Answer 8 · 2026-03-24 15:36:56

83

Views

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

Published on 24 Mar 2026 - 15:36

score 438 · Answer 9 · 2026-03-18 23:47:07

438

Views

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

Published on 18 Mar 2026 - 23:47

score 1.3k · Answer 10 · 2016-02-02 16:11:23

1.3k

Views

Can a mathematical theorem be proved in infinite ways?

Published on 02 Feb 2016 - 16:11

score 142 · Answer 11 · 2026-03-18 23:50:59

142

Views

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

Published on 18 Mar 2026 - 23:50

score 6.9k · Answer 12 · 2016-02-05 19:06:07

6.9k

Views

Proving the existence of a proof without actually giving a proof

Published on 05 Feb 2016 - 19:06

score 93 · Answer 13 · 2016-02-06 20:18:31

93

Views

Is it possible to create a software to find formal proofs?

Published on 06 Feb 2016 - 20:18

score 559 · Answer 14 · 2016-02-10 22:25:27

559

Views

Is there a consistent arithmetically definable extension of PA that proves its own consistency?

Published on 10 Feb 2016 - 22:25

score 156 · Answer 15 · 2016-02-19 01:29:27

156

Views

Incompleteness theorems in encoding schemes other than Gödel numbering

Published on 19 Feb 2016 - 1:29

List Question

Proofs about theorem-provers in ZFC, in ZFC

A philosophical question about an hypothetical theorem/equation of everything

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

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

what is a valid mathematical proof?

Programming and ZFC

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

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

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

Can a mathematical theorem be proved in infinite ways?

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

Proving the existence of a proof without actually giving a proof

Is it possible to create a software to find formal proofs?

Is there a consistent arithmetically definable extension of PA that proves its own consistency?

Incompleteness theorems in encoding schemes other than Gödel numbering

Trending Questions

Popular # Hahtags

Popular Questions