Question

[Paradox]How can Gödel prove that Gödel sentence is unprovable but true, if such proof itself proves that Gödel sentence is true?

score 1.9k · Answer 1 · 2015-10-21 17:25:08

1.9k

Views

[Paradox]How can Gödel prove that Gödel sentence is unprovable but true, if such proof itself proves that Gödel sentence is true?

Published on 21 Oct 2015 - 17:25

score 47 · Answer 2 · 2015-10-25 00:50:13

47

Views

Needing an appropriate term for a metamathematical notion related with universes of discourse

Published on 25 Oct 2015 - 0:50

score 231 · Answer 3 · 2015-10-28 22:24:43

231

Views

Theorems relating to the limitation of mathematics

Published on 28 Oct 2015 - 22:24

score 1.5k · Answer 4 · 2015-11-02 00:23:59

1.5k

Views

What did Hilbert actually want for his second problem?

Published on 02 Nov 2015 - 0:23

score 185 · Answer 5 · 2026-03-25 10:58:18

185

Views

Artificial intelligence methods in mathematics

Published on 25 Mar 2026 - 10:58

score 84 · Answer 6 · 2026-03-23 00:32:19

84

Views

Discussion on AC and countable unions of countable sets

Published on 23 Mar 2026 - 0:32

score 1.8k · Answer 7 · 2015-12-29 11:24:26

1.8k

Views

Formalizing the meta-language of First order Logic and studying it as a formal system

Published on 29 Dec 2015 - 11:24

score 391 · Answer 8 · 2016-01-11 16:56:27

391

Views

When can independence of a statement in a theory be reduced to "truth"?

Published on 11 Jan 2016 - 16:56

score 141 · Answer 9 · 2026-03-12 10:37:43

141

Views

Is there a sense in which a formal theory can be more or less "metamathematically aware"?

Published on 12 Mar 2026 - 10:37

score 105 · Answer 10 · 2026-03-22 10:21:14

105

Views

In meta-math does the sequence matter for $\bf ∀x$?

Published on 22 Mar 2026 - 10:21

score 152 · Answer 11 · 2016-01-26 18:20:36

152

Views

Why can we prove things via the contrapositive, contradiction, etc.?

Published on 26 Jan 2016 - 18:20

score 295 · Answer 12 · 2016-02-15 14:04:27

295

Views

Intuitonism and metamathematics.

Published on 15 Feb 2016 - 14:04

score 2.3k · Answer 13 · 2026-03-23 22:15:36

2.3k

Views

What does "dual statement" mean exactly in category theory?

Published on 23 Mar 2026 - 22:15

score 324 · Answer 14 · 2016-02-18 21:45:57

324

Views

Are there any coherent, complete, mathematical systems that do not imply the existence of the infinite?

Published on 18 Feb 2016 - 21:45

score 18 · Answer 15 · 2026-03-25 15:59:53

18

Views

Metamathematic: Cover the case if X=Y

Published on 25 Mar 2026 - 15:59

List Question

[Paradox]How can Gödel prove that Gödel sentence is unprovable but true, if such proof itself proves that Gödel sentence is true?

Needing an appropriate term for a metamathematical notion related with universes of discourse

Theorems relating to the limitation of mathematics

What did Hilbert actually want for his second problem?

Artificial intelligence methods in mathematics

Discussion on AC and countable unions of countable sets

Formalizing the meta-language of First order Logic and studying it as a formal system

When can independence of a statement in a theory be reduced to "truth"?

Is there a sense in which a formal theory can be more or less "metamathematically aware"?

In meta-math does the sequence matter for $\bf ∀x$?

Why can we prove things via the contrapositive, contradiction, etc.?

Intuitonism and metamathematics.

What does "dual statement" mean exactly in category theory?

Are there any coherent, complete, mathematical systems that do not imply the existence of the infinite?

Metamathematic: Cover the case if X=Y

Trending Questions

Popular # Hahtags

Popular Questions