Question

Are the HBL derivability conditions necessary for Gödel's incompleteness theorems? (For Löb's theorem?)

score 250 · Answer 1 · 2026-03-25 03:03:51

250

Views

Are the HBL derivability conditions necessary for Gödel's incompleteness theorems? (For Löb's theorem?)

Published on 25 Mar 2026 - 3:03

score 267 · Answer 2 · 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 428 · Answer 3 · 2018-12-21 11:48:21

428

Views

Partition of positive reals with each part closed under addition without choice

Published on 21 Dec 2018 - 11:48

score 159 · Answer 4 · 2026-03-25 04:37:29

159

Views

Godel's theorem incompleteness, truth vs.provability

Published on 25 Mar 2026 - 4:37

score 84 · Answer 5 · 2019-02-09 20:35:40

84

Views

Is this proof in natural deduction proof system correct?

Published on 09 Feb 2019 - 20:35

score 3.2k · Answer 6 · 2026-03-22 17:50:31

3.2k

Views

Formal proof of one of De Morgan's laws

Published on 22 Mar 2026 - 17:50

score 150 · Answer 7 · 2026-03-25 06:11:05

150

Views

Maximum cycle length of tiles in rubik cube

Published on 25 Mar 2026 - 6:11

score 859 · Answer 8 · 2019-03-07 22:54:13

859

Views

What does it mean for a number to be independent of ZFC?

Published on 07 Mar 2019 - 22:54

score 262 · Answer 9 · 2026-03-25 02:58:56

262

Views

Proving that a sentence is inconsistent

Published on 25 Mar 2026 - 2:58

score 112 · Answer 10 · 2026-03-25 03:07:43

112

Views

How to deduce $\square p\to p$ from other modal axioms?

Published on 25 Mar 2026 - 3:07

score 123 · Answer 11 · 2026-03-22 11:15:55

123

Views

When is $X \rightarrow P(X)$ provable?

Published on 22 Mar 2026 - 11:15

score 131 · Answer 12 · 2026-03-22 05:14:03

131

Views

Variation on Lob's Theorem

Published on 22 Mar 2026 - 5:14

score 1.2k · Answer 13 · 2026-03-22 18:49:49

1.2k

Views

Where is my Collatz conjecture proof wrong?

Published on 22 Mar 2026 - 18:49

score 217 · Answer 14 · 2026-03-23 11:37:58

217

Views

How can I prove the optimality of the following greedy algorithm.

Published on 23 Mar 2026 - 11:37

score 63 · Answer 15 · 2019-07-17 06:22:23

63

Views

What is an example of a simple formal language that allows to write a complete proof that a particular Turing machine halts?

Published on 17 Jul 2019 - 6:22

List Question

Are the HBL derivability conditions necessary for Gödel's incompleteness theorems? (For Löb's theorem?)

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

Partition of positive reals with each part closed under addition without choice

Godel's theorem incompleteness, truth vs.provability

Is this proof in natural deduction proof system correct?

Formal proof of one of De Morgan's laws

Maximum cycle length of tiles in rubik cube

What does it mean for a number to be independent of ZFC?

Proving that a sentence is inconsistent

How to deduce $\square p\to p$ from other modal axioms?

When is $X \rightarrow P(X)$ provable?

Variation on Lob's Theorem

Where is my Collatz conjecture proof wrong?

How can I prove the optimality of the following greedy algorithm.

What is an example of a simple formal language that allows to write a complete proof that a particular Turing machine halts?

Trending Questions

Popular # Hahtags

Popular Questions