first-order and higher-order logic, model theory, set theory, proof theory, computability theory, formal languages, definability, interplay of syntax and semantics, constructive logic, intuitionism, philosophical logic, modal logic, completeness, Gödel incompleteness, decidability, undecidability, ...

learn more… | top users | synonyms (1)

27
votes
3answers
2k views
+100

For which Millennium Problems does undecidable -> true?

Bounty  This question having gone unanswered for (more than) one year, and in the light-hearted spirit of this week Dick Lipton and Ken Regan Gödel's Lost Letter weblog "Multiple-Credit ...