Kurt Gödel

Der er for få eller ingen kildehenvisninger i denne artikel, hvilket er et problem. Du kan hjælpe ved at angive troværdige kilder til de påstande, som fremføres i artiklen.
Kurt Gödel
Kurt Gödel (1925)
Personlig information
FødtKurt Friedrich Gödel Rediger på Wikidata
Kurt Friedrich Gödel
28. april 1906(1906-04-28)
Brno, Tjekkiet (dav. Brünn, Østrig-Ungarn)
Død14. januar 1978 (71 år)
Princeton, New Jersey, USA
DødsårsagSult Rediger på Wikidata
GravstedPrinceton Cemetery Rediger på Wikidata
NationalitetØstrig-Ungarn Østrig-Ungarn
USA USA (1947)
BopælUSA
ÆgtefælleAdele Gödel Rediger på Wikidata
Uddannelse og virke
Uddannelses­stedWien Universitet
Akademisk vejlederHans Hahn
Medlem afRoyal Society,
Académie des sciences,
National Academy of Sciences,
American Academy of Arts and Sciences Rediger på Wikidata
BeskæftigelseUniversitetslærer, fysiker, matematiker, filosof, datalog Rediger på Wikidata
Forsknings­områdeMatematik, Matematisk logik
ArbejdsgiverWien Universitet (1930-1938), University of Notre Dame (1938-1939), Princeton Universitet (1938-1939), Institute for Advanced Study (1940-1978) Rediger på Wikidata
ArbejdsstedInstitute for Advanced Study (Princeton)
Kendt forGödels ufuldstændighedssætning, Gödels fuldstændighedssætning, sit arbejde med Kontinuumhypotesen i forbindelse med Zermelo-Fraenkels aksiomer, Gödels metrik, Gödels ontologiske gudsbevis
Kendte værkerGödels anden ufuldstændighedssætning, Gödelnumerering, Gödelmetrik, Gödeloperation, Gödellogik med flere Rediger på Wikidata
Nomineringer og priser
UdmærkelserAlbert Einstein-prisen (1951)
National Medal of Science for Mathematical, Statistical, and Computational Sciences (USA, 1974)
Fellow of the Royal Society (1968)
Signatur
Information med symbolet Billede af blyant hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.

Kurt Friedrich Gödel (født 28. april 1906 i Brno, død 14. januar 1978 i Princeton) var østrigsk logiker og matematiker. Gödel regnes som en af de største tænkere, og den største logiker, i det 20. århundrede. Han er mest kendt for sine to ufuldstændighedssætninger inden for matematisk logik, publiceret i 1931, men har også leveret vigtige bidrag inden for kosmologi og filosofi.

Gödel studerede i Wien, og var inden 2. verdenskrig ansat som universitetslærer der. I 1940 emigrerede han til USA, hvor han blev ansat på Institute for Advanced Study ved Princeton. Her blev han bl.a. ven med Albert Einstein

De to ufuldstændighedssætninger lyder i kort form:

  • Første ufuldstændighedssætning: I ethvert modsigelsesfrit matematisk system, der kan regne med hele tal, findes der sande matematiske sætninger, der ikke kan bevises.
  • Anden ufuldstændighedssætning: I ethvert modsigelsesfrit bevissystem, der kan regne med hele tal, er det med systemets egne metoder umuligt at bevise, at systemet er modsigelsesfrit. Den anden ufuldstændighedssætning er en konsekvens af den første.

Ufuldstændighedssætningerne havde stor indflydelse på samtidens matematik og logik, bl.a. da de ødelagde håbet om at opbygge sikre, modsigelsesfrie systemer inden for matematikken.

Gödel var bange for køleskabe og radiatorer, og af skræk for at blive forgiftet, turde han kun spise mad der var tilberedt af hans kone Adele. I 1977 blev hun imidlertid indlagt på sygehus i seks måneder, og han vovede da ikke at spise og døde følgelig af underernæring.

Kilder

Se også

Eksterne henvisninger

NaturvidenskabSpire
Denne naturvidenskabelige biografi er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.
Biografi

Medier brugt på denne side

Civil ensign of Austria-Hungary (1869-1918).svg
Forfatter/Opretter:
This vector image includes elements that have been taken or adapted from this file:
Flag of Hungary (1915-1918; angels; 3-2 aspect ratio).svg (fra Thommy9)., Licens: CC BY-SA 3.0
Civil Ensign of Austria-Hungary between 1869 and 1918.
Stylised atom with three Bohr model orbits and stylised nucleus.svg
Forfatter/Opretter:

SVG by Indolences.

Recoloring and ironing out some glitches done by Rainer Klute., Licens: CC BY-SA 3.0
Stylised atom. Blue dots are electrons, red dots are protons and black dots are neutrons.
Kurt Gödel signature.svg
Kurt Gödel's signature.
1925 kurt gödel.png
Portrait of Kurt Gödel, one of the most significant logicians of the 20th century, as a student in Vienna.