Question

Gödel's incompleteness theorem: if the statement is unprovable then how did we prove its true?

score 951 · Answer 1 · 2017-05-31 14:19:05

951

Views

Gödel's incompleteness theorem: if the statement is unprovable then how did we prove its true?

Published on 31 May 2017 - 14:19

score 8.8k · Answer 2 · 2026-03-25 23:37:37

8.8k

Views

Decidability of the Riemann Hypothesis vs. the Goldbach Conjecture

Published on 25 Mar 2026 - 23:37

score 407 · Answer 3 · 2026-02-23 17:24:53

407

Views

Can you prove a theorem by proving it’s undecidable? (Numberphile question)

Published on 23 Feb 2026 - 17:24

score 74 · Answer 4 · 2026-02-23 17:21:55

74

Views

How is it decided whether a system is complete/consistent (specific case)?

Published on 23 Feb 2026 - 17:21

score 262 · Answer 5 · 2017-06-03 11:06:51

262

Views

What does the expression "contains arithmetic" in the second Gödel incompletenetss theorem mean exactly?

Published on 03 Jun 2017 - 11:06

score 320 · Answer 6 · 2017-06-07 11:38:18

320

Views

Relations between Gödel's theorems

Published on 07 Jun 2017 - 11:38

score 395 · Answer 7 · 2017-06-07 16:56:13

395

Views

Provability of the continuum hypothesis and the incompleteness theorem

Published on 07 Jun 2017 - 16:56

score 232 · Answer 8 · 2017-06-11 10:02:47

232

Views

Versions of Gödel's incompleteness theorems

Published on 11 Jun 2017 - 10:02

score 347 · Answer 9 · 2017-06-17 18:04:17

347

Views

Is ZFC+V=L consistently $\omega$-complete?

Published on 17 Jun 2017 - 18:04

score 992 · Answer 10 · 2017-07-02 01:53:13

992

Views

Can we construct a universal Turing machine using only Peano's axioms for addition?

Published on 02 Jul 2017 - 1:53

score 207 · Answer 11 · 2017-07-03 22:18:29

207

Views

Proof verification in second order logic

Published on 03 Jul 2017 - 22:18

score 299 · Answer 12 · 2017-07-05 02:07:26

299

Views

Meaning of Universal generalization in Gödel's system

Published on 05 Jul 2017 - 2:07

score 332 · Answer 13 · 2026-03-26 12:35:26

332

Views

How fast does the Godel speed-up theorem proof length grow?

Published on 26 Mar 2026 - 12:35

score 151 · Answer 14 · 2017-07-13 18:28:31

151

Views

Is the negation of all unprovable truths all unprovable falsehoods?

Published on 13 Jul 2017 - 18:28

score 118 · Answer 15 · 2017-07-25 21:06:09

118

Views

Definition of $\omega$-inconsistency

Published on 25 Jul 2017 - 21:06

List Question

Gödel's incompleteness theorem: if the statement is unprovable then how did we prove its true?

Decidability of the Riemann Hypothesis vs. the Goldbach Conjecture

Can you prove a theorem by proving it’s undecidable? (Numberphile question)

How is it decided whether a system is complete/consistent (specific case)?

What does the expression "contains arithmetic" in the second Gödel incompletenetss theorem mean exactly?

Relations between Gödel's theorems

Provability of the continuum hypothesis and the incompleteness theorem

Versions of Gödel's incompleteness theorems

Is ZFC+V=L consistently $\omega$-complete?

Can we construct a universal Turing machine using only Peano's axioms for addition?

Proof verification in second order logic

Meaning of Universal generalization in Gödel's system

How fast does the Godel speed-up theorem proof length grow?

Is the negation of all unprovable truths all unprovable falsehoods?

Definition of $\omega$-inconsistency

Trending Questions

Popular # Hahtags

Popular Questions