List questions from meta-math | MathQa

[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 01 Jan 2025 - 19:28

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

Published on 12 Jan 2025 - 21:02

Theorems relating to the limitation of mathematics

Published on 12 Jan 2025 - 21:21

What did Hilbert actually want for his second problem?

Published on 02 Jan 2025 - 17:59

Artificial intelligence methods in mathematics

Published on 12 Jan 2025 - 22:32

Discussion on AC and countable unions of countable sets

Published on 12 Jan 2025 - 20:47

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

Published on 12 Jan 2025 - 23:34

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

Published on 12 Jan 2025 - 20:52

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

Published on 12 Jan 2025 - 23:32

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

Published on 12 Jan 2025 - 23:33