Question

expression that cannot be "written down" re: incompleteness, logic

score 116 · Answer 1 · 2026-05-05 05:08:26

116

Views

expression that cannot be "written down" re: incompleteness, logic

Published on 05 May 2026 - 5:08

score 212 · Answer 2 · 2026-04-14 13:48:30

212

Views

Proving the impossibility of a proof

Published on 14 Apr 2026 - 13:48

score 754 · Answer 3 · 2026-04-20 10:29:06

754

Views

Every Turing machine corresponds to a formal system

Published on 20 Apr 2026 - 10:29

score 883 · Answer 4 · 2026-04-09 10:34:13

883

Views

Can a theory be consistent but not $\omega$ consistent?

Published on 09 Apr 2026 - 10:34

score 850 · Answer 5 · 2026-04-10 23:36:04

850

Views

True yet unprovable statement?

Published on 10 Apr 2026 - 23:36

score 76 · Answer 6 · 2026-04-12 22:07:43

76

Views

Do we need to go in meta-theory for proving completeness?

Published on 12 Apr 2026 - 22:07

score 266 · Answer 7 · 2026-04-15 05:56:12

266

Views

Negative Numbers and Gödel’s Incompleteness Theorem

Published on 15 Apr 2026 - 5:56

score 151 · Answer 8 · 2026-04-17 08:18:29

151

Views

$\Sigma\subset Th(\mathbb{N})$ is finite, so $\Sigma$ has $2^{\aleph_0}$ non-isomorphic models

Published on 17 Apr 2026 - 8:18

score 347 · Answer 9 · 2026-04-20 03:15:00

347

Views

On the clarification of Manin's remark about Gödel’s incompleteness theorems

Published on 20 Apr 2026 - 3:15

score 150 · Answer 10 · 2026-04-29 12:46:06

150

Views

What do the Incompleteness theorems really say about the inexhaustibility of mathematics.

Published on 29 Apr 2026 - 12:46

score 268 · Answer 11 · 2026-04-11 16:00:34

268

Views

How do mathematicians know the problems they're trying to solve are not undecidable?

Published on 11 Apr 2026 - 16:00

score 230 · Answer 12 · 2026-04-10 20:49:15

230

Views

Understanding variable replacement in Gödel's Incompleteness Theorem

Published on 10 Apr 2026 - 20:49

score 195 · Answer 13 · 2026-04-15 21:38:08

195

Views

Do Tarski's Axioms prove all of Euclid's Elements?

Published on 15 Apr 2026 - 21:38

score 95 · Answer 14 · 2026-04-13 02:04:29

95

Views

Incomplete theory proving its incompleteness by a formula neither provable true nor false in the theory

Published on 13 Apr 2026 - 2:04

score 3.4k · Answer 15 · 2026-04-12 23:22:59

3.4k

Views

Does it follow from Gödel's theorem that this world cannot be fully described by math?

Published on 12 Apr 2026 - 23:22

List Question

expression that cannot be "written down" re: incompleteness, logic

Proving the impossibility of a proof

Every Turing machine corresponds to a formal system

Can a theory be consistent but not $\omega$ consistent?

True yet unprovable statement?

Do we need to go in meta-theory for proving completeness?

Negative Numbers and Gödel’s Incompleteness Theorem

$\Sigma\subset Th(\mathbb{N})$ is finite, so $\Sigma$ has $2^{\aleph_0}$ non-isomorphic models

On the clarification of Manin's remark about Gödel’s incompleteness theorems

What do the Incompleteness theorems really say about the inexhaustibility of mathematics.

How do mathematicians know the problems they're trying to solve are not undecidable?

Understanding variable replacement in Gödel's Incompleteness Theorem

Do Tarski's Axioms prove all of Euclid's Elements?

Incomplete theory proving its incompleteness by a formula neither provable true nor false in the theory

Does it follow from Gödel's theorem that this world cannot be fully described by math?

Trending Questions

Popular # Hahtags

Popular Questions