Editing Gödel's incompleteness theorems (section)

=== Announcement ===
The 1930 [[Second Conference on the Epistemology of the Exact Sciences|Königsberg conference]] was a joint meeting of three academic societies, with many of the key logicians of the time in attendance. Carnap, Heyting, and von Neumann delivered one-hour addresses on the mathematical philosophies of logicism, intuitionism, and formalism, respectively.{{sfn|Dawson|1996|p=69}} The conference also included Hilbert's retirement address, as he was leaving his position at the University of Göttingen. Hilbert used the speech to argue his belief that all mathematical problems can be solved. He ended his address by saying,
{{Blockquote|For the mathematician there is no ''[[Ignoramus et ignorabimus|Ignorabimus]]'', and, in my opinion, not at all for natural science either. ... The true reason why [no one] has succeeded in finding an unsolvable problem is, in my opinion, that there is no unsolvable problem. In contrast to the foolish ''Ignorabimus'', our credo avers: We must know. We shall know!}}
This speech quickly became known as a summary of Hilbert's beliefs on mathematics (its final six words, "''Wir müssen wissen. Wir werden wissen!''", were used as Hilbert's epitaph in 1943). Although Gödel was likely in attendance for Hilbert's address, the two never met face to face.{{sfn|Dawson|1996|p=72}}

Gödel announced his first incompleteness theorem at a roundtable discussion session on the third day of the conference. The announcement drew little attention apart from that of von Neumann, who pulled Gödel aside for a conversation. Later that year, working independently with knowledge of the first incompleteness theorem, von Neumann obtained a proof of the second incompleteness theorem, which he announced to Gödel in a letter dated November 20, 1930.{{sfn|Dawson|1996|p=70}} Gödel had independently obtained the second incompleteness theorem and included it in his submitted manuscript, which was received by ''Monatshefte für Mathematik'' on November 17, 1930.

Gödel's paper was published in the ''Monatshefte'' in 1931 under the title "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" ("[[On Formally Undecidable Propositions in Principia Mathematica and Related Systems I]]"). As the title implies, Gödel originally planned to publish a second part of the paper in the next volume of the ''Monatshefte''; the prompt acceptance of the first paper was one reason he changed his plans.{{sfn|van Heijenoort|1967|loc=page 328, footnote 68a}}