The central idea of his most famous early work was an ingenious way of encoding mathematical statements in natural numbers.
Its discoverer was a friend of Einstein who later constructed "rotating universe" solutions in which time travel could occur. The central idea of his most famous early work was an ingenious way of encoding mathematical statements in natural numbers. This sheds light on which statements can prove other statements. Such reasoning led to the downfall of Hilbert's quest for a complete, consistent axiomatic framework for mathematics. First published in On Formally Undecidable Propositions of _Principia Mathematica _and Related Systems, for 10 points, what is this theorem, which shows that in an axiomatic framework for the natural numbers there are always statements that can neither be proved nor disproved?
Its discoverer was a friend of Einstein who later constructed "rotating universe" solutions in which time travel could occur.
{Gödel’s Incompleteness Theorem}