Kurt Friedrich Gödel lived from 28 April 1906 to 14 January 1978 and was a logician, mathematician, cosmologist and philosopher considered alongside Aristotle and Gottlob Frege as one of history's most significant logicians, profoundly shaping twentieth century scientific and philosophical thought. His major contributions include proving the completeness theorem in 1929 and publishing the incompleteness theorems in 1931, which demonstrated that a formal axiomatic system satisfying certain technical conditions cannot decide the truth value of all statements about the natural numbers. He also advanced set theory by showing that neither the axiom of choice nor the continuum hypothesis could be disproved from Zermelo-Fraenkel set theory, and contributed significantly to proof theory by clarifying connections between classical, intuitionistic and modal logic. Born in Brno into a wealthy German-speaking family, Gödel emigrated to the United States in 1939 to escape Nazi Germany; in his later years he struggled with mental illness and ultimately refused to eat, starving to death.
Facts
Birth YearSourced to the subject's own account Defining MomentSourced to the subject's own accountPublished Gödel's incompleteness theorems in 1931, proving that a formal axiomatic system satisfying certain technical conditions cannot decide the truth value of all statements about the natural numbers and cannot prove its own consistency. 1 Birth DateSourced to the subject's own account Notable PublicationSourced to the subject's own accountGödel's completeness theorem (1929 dissertation) and Gödel's incompleteness theorems (1931) 1 Death YearSourced to the subject's own account Death DateSourced to the subject's own account BirthplaceSourced to the subject's own accountBrünn, Austria-Hungary (present-day Brno, Czech Republic) 1 Death PlaceSourced to the subject's own accountPrinceton, New Jersey, U.S. 1 TraditionSourced to the subject's own accountAnalytic philosophy; mathematical logic and philosophy of mathematics 1 Classification
NationalitySourced to the subject's own accountAustria-Hungary (Historical) 1 Tradition
Tradition (category)Sourced to the subject's own account Connections
Associated With
Source Alfred Tarski (Wikipedia)
In Branch
Source Kurt Gödel (Wikipedia)
In Tradition
In the Other Atlases
Nationality
Also in History Atlas: the nationality of this subject.
Originated In
Also in Geography Atlas: where this subject originated.
Sources
1. Kurt Gödel (Wikipedia)
Wikipediainfobox birth_date field
Kurt Friedrich Gödel (April 28, 1906, January 14, 1978) was a logician, mathematician, cosmologist, and philosopher.
infobox birth_place field
birth_place = Brünn, Austria-Hungary
infobox death_date field
Kurt Friedrich Gödel (April 28, 1906, January 14, 1978) was a logician, mathematician, cosmologist, and philosopher.
infobox death_place field
death_place = Princeton, New Jersey, U.S.
infobox module, school_tradition field
school_tradition = Analytic philosophy
lead section, paragraph 2
the publication of Gödel's incompleteness theorems two years later, in 1931. The incompleteness theorems address limitations of formal axiomatic systems. In particular, they imply that a formal axiomatic system satisfying certain technical conditions cannot decide the truth value of all statements about the natural numbers, and cannot prove that it is itself consistent.
lead section, paragraph 2 (incompleteness theorems sentence)
the publication of Gödel's incompleteness theorems two years later, in 1931. The incompleteness theorems address limitations of formal axiomatic systems. In particular, they imply that a formal axiomatic system satisfying certain technical conditions cannot decide the truth value of all statements about the natural numbers, and cannot prove that it is itself consistent.
lead section, paragraph 2 (completeness and incompleteness theorems list)
Gödel's discoveries in the foundations of mathematics led to the proof of his completeness theorem in 1929 as part of his dissertation to earn a doctorate at the University of Vienna, and the publication of Gödel's incompleteness theorems two years later, in 1931.
In Branch: Logic, Lead
Kurt Friedrich Gödel ( GUR-dəl; German: [ˈkʊʁt ˈɡøːdl̩] ; April 28, 1906, January 14, 1978) was a logician, mathematician, cosmologist, and philosopher.
- In Group: Analytic Logic, Page categories: Analytic philosophers
View the Source Wikidata: Kurt Gödel
Wikidata Q41390, class allow-list match, case-insensitive label variant (w-bbfill-smallsix2-0926/resolve_ci.ps1)View the Source Alfred Tarski (Wikipedia)
WikipediaAssociated With: Alfred Tarski, Legacy section, Godel comparisonQuote, Associated With: Alfred Tarski, Legacy section, Godel comparison
Tarski's 1969 'Truth and proof' considered both Godel's incompleteness theorems and Tarski's undefinability theorem, and mulled over their consequences for the axiomatic method in mathematics.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.