Question

$L$ models set theory and so does $V_\kappa$ for $\kappa$ inaccessible

score 340 · Answer 1 · 2015-09-30 06:58:59

340

Views

$L$ models set theory and so does $V_\kappa$ for $\kappa$ inaccessible

Published on 30 Sep 2015 - 6:58

score 2.5k · Answer 2 · 2015-10-10 03:32:48

2.5k

Views

What does a Godel sentence actually look like?

Published on 10 Oct 2015 - 3:32

score 60 · Answer 3 · 2026-03-25 19:17:32

60

Views

Will assuming an undecidable statement result in a consistent system?

Published on 25 Mar 2026 - 19:17

score 349 · Answer 4 · 2026-03-25 16:05:24

349

Views

What's wrong with this proof that ZFC is consistent

Published on 25 Mar 2026 - 16:05

score 205 · Answer 5 · 2026-02-26 02:21:18

205

Views

understanding gödel's 1931 paper - primitive recursive functions "FR(x)" and "n Gl x"

Published on 26 Feb 2026 - 2:21

score 86 · Answer 6 · 2026-03-18 23:51:39

86

Views

Godel's Incompleteness Theorem and Algorithms

Published on 18 Mar 2026 - 23:51

score 910 · Answer 7 · 2026-03-04 12:06:22

910

Views

understanding gödel's 1931 paper - gödel numbers

Published on 04 Mar 2026 - 12:06

score 352 · Answer 8 · 2026-02-26 12:36:38

352

Views

understanding gödel's 1931 paper - primitive recursive functions - projection and equality

Published on 26 Feb 2026 - 12:36

score 1.9k · Answer 9 · 2015-10-21 17:25:08

1.9k

Views

[Paradox]How can Gödel prove that Gödel sentence is unprovable but true, if such proof itself proves that Gödel sentence is true?

Published on 21 Oct 2015 - 17:25

score 533 · Answer 10 · 2026-03-22 01:08:54

533

Views

Proportion of true statements that are provable

Published on 22 Mar 2026 - 1:08

score 179 · Answer 11 · 2015-10-23 06:26:51

179

Views

Infinitely many nonequivalent unprovable statements in ZFC because of Gödel's incompleteness theorem?

Published on 23 Oct 2015 - 6:26

score 351 · Answer 12 · 2026-03-18 23:51:51

351

Views

understanding gödel's 1931 paper - the undecidability theorem

Published on 18 Mar 2026 - 23:51

score 395 · Answer 13 · 2015-10-29 16:53:16

395

Views

understanding gödel's 1931 paper - proof of theorem / proposition V 5

Published on 29 Oct 2015 - 16:53

score 296 · Answer 14 · 2015-10-29 17:14:47

296

Views

understanding gödel's 1931 paper - elementary formulae

Published on 29 Oct 2015 - 17:14

score 338 · Answer 15 · 2015-10-30 16:32:09

338

Views

Gödel's theorems and nonstandard model of $PA$

Published on 30 Oct 2015 - 16:32

List Question

$L$ models set theory and so does $V_\kappa$ for $\kappa$ inaccessible

What does a Godel sentence actually look like?

Will assuming an undecidable statement result in a consistent system?

What's wrong with this proof that ZFC is consistent

understanding gödel's 1931 paper - primitive recursive functions "FR(x)" and "n Gl x"

Godel's Incompleteness Theorem and Algorithms

understanding gödel's 1931 paper - gödel numbers

understanding gödel's 1931 paper - primitive recursive functions - projection and equality

[Paradox]How can Gödel prove that Gödel sentence is unprovable but true, if such proof itself proves that Gödel sentence is true?

Proportion of true statements that are provable

Infinitely many nonequivalent unprovable statements in ZFC because of Gödel's incompleteness theorem?

understanding gödel's 1931 paper - the undecidability theorem

understanding gödel's 1931 paper - proof of theorem / proposition V 5

understanding gödel's 1931 paper - elementary formulae

Gödel's theorems and nonstandard model of $PA$

Trending Questions

Popular # Hahtags

Popular Questions