Question

Can an unprovable statement be interpreted as being generally true in some cases?

score 553 · Answer 1 · 2026-03-26 09:40:34

553

Views

Can an unprovable statement be interpreted as being generally true in some cases?

Published on 26 Mar 2026 - 9:40

score 138 · Answer 2 · 2013-06-26 20:33:27

138

Views

Incompleteness theorem and $\mathbb{L}$.

Published on 26 Jun 2013 - 20:33

score 3.8k · Answer 3 · 2013-07-04 09:45:23

3.8k

Views

Don't Gödel's completeness and incompleteness theorems contradict each other?

Published on 04 Jul 2013 - 9:45

score 1.3k · Answer 4 · 2013-07-05 16:12:02

1.3k

Views

How to prove primitive recursive functions are definable in Peano Arithmetic?

Published on 05 Jul 2013 - 16:12

score 238 · Answer 5 · 2026-03-25 12:48:31

238

Views

Definability of Kolmogorov Complexity?

Published on 25 Mar 2026 - 12:48

score 2.9k · Answer 6 · 2013-07-14 20:15:41

2.9k

Views

Proving and understanding the Fixed point lemma (Diagonal Lemma) in Logic - used in proof of Godel's incompleteness theorem

Published on 14 Jul 2013 - 20:15

score 2.4k · Answer 7 · 2013-07-21 04:03:25

2.4k

Views

Are the Gödel's incompleteness theorems valid for both classical and intuitionistic logic?

Published on 21 Jul 2013 - 4:03

score 86.3k · Answer 8 · 2013-07-27 15:46:43

86.3k

Views

Can someone explain Gödel's incompleteness theorems in layman terms?

Published on 27 Jul 2013 - 15:46

score 208 · Answer 9 · 2013-07-29 04:17:49

208

Views

Running programs in nonstandard models of PA

Published on 29 Jul 2013 - 4:17

score 442 · Answer 10 · 2013-08-01 08:43:22

442

Views

On consistency of axiomatic systems

Published on 01 Aug 2013 - 8:43

score 156 · Answer 11 · 2013-08-03 14:41:44

156

Views

Have I understood the whole Incompleteness business correctly?

Published on 03 Aug 2013 - 14:41

score 3.3k · Answer 12 · 2013-08-05 23:09:06

3.3k

Views

Where, specifically, did Principia Mathematica fail?

Published on 05 Aug 2013 - 23:09

score 3.7k · Answer 13 · 2013-08-09 02:26:31

3.7k

Views

Are (some) axioms "unprovable truths" of Godel's Incompleteness Theorem?

Published on 09 Aug 2013 - 2:26

score 1.9k · Answer 14 · 2013-08-11 04:41:10

1.9k

Views

In Godel's first incompleteness theorem, what is the appropriate notion of interpretation function?

Published on 11 Aug 2013 - 4:41

score 1.9k · Answer 15 · 2013-08-13 08:40:18

1.9k

Views

$\omega$-consistency and related terms

Published on 13 Aug 2013 - 8:40

List Question

Can an unprovable statement be interpreted as being generally true in some cases?

Incompleteness theorem and $\mathbb{L}$.

Don't Gödel's completeness and incompleteness theorems contradict each other?

How to prove primitive recursive functions are definable in Peano Arithmetic?

Definability of Kolmogorov Complexity?

Proving and understanding the Fixed point lemma (Diagonal Lemma) in Logic - used in proof of Godel's incompleteness theorem

Are the Gödel's incompleteness theorems valid for both classical and intuitionistic logic?

Can someone explain Gödel's incompleteness theorems in layman terms?

Running programs in nonstandard models of PA

On consistency of axiomatic systems

Have I understood the whole Incompleteness business correctly?

Where, specifically, did Principia Mathematica fail?

Are (some) axioms "unprovable truths" of Godel's Incompleteness Theorem?

In Godel's first incompleteness theorem, what is the appropriate notion of interpretation function?

$\omega$-consistency and related terms

Trending Questions

Popular # Hahtags

Popular Questions