Question

The Penrose–Lucas argument

score 2.1k · Answer 1 · 2012-07-02 02:47:26

2.1k

Views

The Penrose–Lucas argument

Published on 02 Jul 2012 - 2:47

score 399 · Answer 2 · 2026-03-26 14:42:34

399

Views

Why isn't GL system of provability logic reflexive?

Published on 26 Mar 2026 - 14:42

score 379 · Answer 3 · 2012-07-11 04:11:27

379

Views

What does the completeness of a system mean for the provability of certain statments?

Published on 11 Jul 2012 - 4:11

score 657 · Answer 4 · 2012-07-11 16:43:39

657

Views

An ignorant question about the incompleteness theorem

Published on 11 Jul 2012 - 16:43

score 3.4k · Answer 5 · 2012-07-17 08:55:03

3.4k

Views

Is there a proof of Gödel's Incompleteness Theorem without self-referential statements?

Published on 17 Jul 2012 - 8:55

score 350 · Answer 6 · 2026-03-26 14:42:03

350

Views

properties of the provability predicate applied to open formulas

Published on 26 Mar 2026 - 14:42

score 705 · Answer 7 · 2026-03-26 10:59:51

705

Views

Aftermath of the incompletness theorem proof

Published on 26 Mar 2026 - 10:59

score 1k · Answer 8 · 2012-08-09 16:25:13

1k

Views

Gödel says: countable proofs, uncountable conjectures?

Published on 09 Aug 2012 - 16:25

score 432 · Answer 9 · 2012-08-13 23:50:52

432

Views

A qualitative, yet precise statement of Godel's incompleteness theorem?

Published on 13 Aug 2012 - 23:50

score 1.7k · Answer 10 · 2012-08-15 19:00:13

1.7k

Views

Is the negation of the Gödel sentence always unprovable too?

Published on 15 Aug 2012 - 19:00

score 3k · Answer 11 · 2012-08-16 15:27:48

3k

Views

What is actually "relatively consistent"?

Published on 16 Aug 2012 - 15:27

score 373 · Answer 12 · 2012-08-19 14:49:06

373

Views

Is there a non-contradictory non-trivial axiomatic system in which Gödel's theorem is undecidable?

Published on 19 Aug 2012 - 14:49

score 4.3k · Answer 13 · 2012-08-24 22:03:16

4.3k

Views

Consistency of Peano axioms (Hilbert's second problem)?

Published on 24 Aug 2012 - 22:03

score 1.1k · Answer 14 · 2012-08-29 10:48:51

1.1k

Views

About a step in the proof of Gödel-Rosser Theorem.

Published on 29 Aug 2012 - 10:48

score 16.8k · Answer 15 · 2012-09-01 00:06:40

16.8k

Views

Why is the Continuum Hypothesis (not) true?

Published on 01 Sep 2012 - 0:06

List Question

The Penrose–Lucas argument

Why isn't GL system of provability logic reflexive?

What does the completeness of a system mean for the provability of certain statments?

An ignorant question about the incompleteness theorem

Is there a proof of Gödel's Incompleteness Theorem without self-referential statements?

properties of the provability predicate applied to open formulas

Aftermath of the incompletness theorem proof

Gödel says: countable proofs, uncountable conjectures?

A qualitative, yet precise statement of Godel's incompleteness theorem?

Is the negation of the Gödel sentence always unprovable too?

What is actually "relatively consistent"?

Is there a non-contradictory non-trivial axiomatic system in which Gödel's theorem is undecidable?

Consistency of Peano axioms (Hilbert's second problem)?

About a step in the proof of Gödel-Rosser Theorem.

Why is the Continuum Hypothesis (not) true?

Trending Questions

Popular # Hahtags

Popular Questions