Question

Ordering between formal theories by provability of consistency

score 101 · Answer 1 · 2026-05-10 15:13:04

101

Views

Ordering between formal theories by provability of consistency

Published on 10 May 2026 - 15:13

score 166 · Answer 2 · 2026-04-12 21:02:59

166

Views

Undecidable statement that doesn't involve infinity

Published on 12 Apr 2026 - 21:02

score 267 · Answer 3 · 2026-03-25 06:06:35

267

Views

n-consistency - provability/truth of $\Sigma^0_n$ and $\Pi^0_{n+1}$ -formulas; n-consistent extensions, etc.

Published on 25 Mar 2026 - 6:06

score 126 · Answer 4 · 2026-04-14 08:18:36

126

Views

What was the exact form of Gödel's original Second Incompleteness Theorem?

Published on 14 Apr 2026 - 8:18

score 147 · Answer 5 · 2026-04-13 12:26:08

147

Views

Gödel diagonalization and formulas not holding for themselves

Published on 13 Apr 2026 - 12:26

score 78 · Answer 6 · 2026-04-16 13:34:03

78

Views

Why is $\{\#F\mid\mathcal{N}\models F \text{ and $F$ is an $\exists$-formula} \}$ a recursive set?

Published on 16 Apr 2026 - 13:34

score 852 · Answer 7 · 2026-05-10 16:13:03

852

Views

What is the purpose of Semantics/Model theory in Mathematical Foundations?

Published on 10 May 2026 - 16:13

score 150 · Answer 8 · 2026-04-14 03:17:41

150

Views

Several questions about the incompleteness theorem

Published on 14 Apr 2026 - 3:17

score 163 · Answer 9 · 2026-05-10 14:47:57

163

Views

Godel's theorem incompleteness, truth vs.provability

Published on 10 May 2026 - 14:47

score 185 · Answer 10 · 2026-04-10 20:51:38

185

Views

Consistency of PA from a Formalist Perspective

Published on 10 Apr 2026 - 20:51

score 500 · Answer 11 · 2026-04-13 09:59:56

500

Views

Legitimacy of Consistency Proofs

Published on 13 Apr 2026 - 9:59

score 139 · Answer 12 · 2026-04-08 21:40:11

139

Views

A Growing Tree of Theories

Published on 08 Apr 2026 - 21:40

score 416 · Answer 13 · 2026-04-11 03:45:58

416

Views

Proof of Godel's Incompleteness Theorem based on Recursion Theorem

Published on 11 Apr 2026 - 3:45

score 516 · Answer 14 · 2026-04-11 15:20:12

516

Views

Does probability theory suffer from Gödel's incompleteness theorem?

Published on 11 Apr 2026 - 15:20

score 162 · Answer 15 · 2026-04-10 08:02:36

162

Views

What decides completability of a first order theory?

Published on 10 Apr 2026 - 8:02

List Question

Ordering between formal theories by provability of consistency

Undecidable statement that doesn't involve infinity

n-consistency - provability/truth of $\Sigma^0_n$ and $\Pi^0_{n+1}$ -formulas; n-consistent extensions, etc.

What was the exact form of Gödel's original Second Incompleteness Theorem?

Gödel diagonalization and formulas not holding for themselves

Why is $\{\#F\mid\mathcal{N}\models F \text{ and $F$ is an $\exists$-formula} \}$ a recursive set?

What is the purpose of Semantics/Model theory in Mathematical Foundations?

Several questions about the incompleteness theorem

Godel's theorem incompleteness, truth vs.provability

Consistency of PA from a Formalist Perspective

Legitimacy of Consistency Proofs

A Growing Tree of Theories

Proof of Godel's Incompleteness Theorem based on Recursion Theorem

Does probability theory suffer from Gödel's incompleteness theorem?

What decides completability of a first order theory?

Trending Questions

Popular # Hahtags

Popular Questions