Scientists / Open questions

Kurt Gödel

Mathematical logic; set theory

1 questions

The consistency of classical analysis and set theory by constructive means: the surviving open core of the unresolved points in Gödel's 1931 incompleteness paper

Back to open problems