Über Formal Unentscheidbare Sätze Der Principia Mathematica Und Verwandter Systeme, I
(On Formally Undecidable Propositions of Principia Mathematica and Related Systems)
- Kurt Gödel (1931)
Online version: Online version
Description: In mathematical logic, Gödel's incompleteness theorems are two celebrated theorems proved by Kurt Gödel in 1931. The first incompleteness theorem states:
For any formal system such that (1) it is -consistent (omega-consistent), (2) it has a recursively definable set of axioms and rules of derivation, and (3) every recursive relation of natural numbers is definable in it, there exists a formula of the system such that, according to the intended interpretation of the system, it expresses a truth about natural numbers and yet it is not a theorem of the system.
Read more about this topic: List Of Important Publications In Mathematics, Logic
Famous quotes containing the words der and/or formal:
“Under the lindens on the heather,
There was our double resting-place.”
—Walther Von Der Vogelweide (1170?1230?)
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)