On Formally Undecidable Propositions Of Principia Mathematica And Related Systems
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I ("On Formally Undecidable Propositions of Principia Mathematica and Related Systems I") is a paper in mathematical logic by Kurt Gödel. Dated November 17, 1930, it was originally published in German in the 1931 volume of Monatshefte für Mathematik. Several English translations have appeared in print, and the paper has been included in two collections of classic mathematical logic papers. The paper is famous for the theorems it contains, which have many implications for consistency proofs in mathematics, and for the techniques that Gödel invented to prove these theorems.
Read more about On Formally Undecidable Propositions Of Principia Mathematica And Related Systems: Outline and Key Results, Published English Translations
Famous quotes containing the words formally, propositions, related and/or systems:
“We find the most terrible form of atheism, not in the militant and passionate struggle against the idea of God himself, but in the practical atheism of everyday living, in indifference and torpor. We often encounter these forms of atheism among those who are formally Christians.”
—Nicolai A. Berdyaev (1874–1948)
“All propositions are of equal value.”
—Ludwig Wittgenstein (1889–1951)
“The question of place and climate is most closely related to the question of nutrition. Nobody is free to live everywhere; and whoever has to solve great problems that challenge all his strength actually has a very restricted choice in this matter. The influence of climate on our metabolism, its retardation, its acceleration, goes so far that a mistaken choice of place and climate can not only estrange a man from his task but can actually keep it from him: he never gets to see it.”
—Friedrich Nietzsche (1844–1900)
“No civilization ... would ever have been possible without a framework of stability, to provide the wherein for the flux of change. Foremost among the stabilizing factors, more enduring than customs, manners and traditions, are the legal systems that regulate our life in the world and our daily affairs with each other.”
—Hannah Arendt (1906–1975)