Gödel: Kurt Gödel liv och ofullständighetsteoremer

Kurt Gödel bevisade matematikens gränser vid 25 års ålder — och dog 44 år senare av svält i Princeton, driven av paranoia. Hans ofullständighetsteoremer skakade den filosofiska världen, men hans eget sinne kunde han inte rädda.

Född: 1906 · Dog: 1978 · Känd för: Ofullständighetsteoremer · Vardagspartner: Albert Einstein · Dödsorsak: Svält

Tabellen nedan sammanfattar de viktigaste personliga och professionella fakta om Kurt Gödel.

Vad är Kurt Gödel berömd för?

Kurt Gödel räknas som en av historiens viktigaste logiker. Hans inflytande på matematik och filosofi är svåröverskattat — John von Neumann kallade hans arbete för ”ett landmärke synligt långt i rum och tid” (American Scientist). Men det som verkligen gjorde honom odödlig var något han publicerade som 25-åring.

Ofullständighetsteoremerna

År 1931 presenterade Gödel sin revolutionära upptäckt i artikeln ”Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme” (Schneppat). Det första ofullständighetsteoremet säger att i varje konsistent formellt system som kan beskriva aritmetik finns det sanna satser som helt enkelt inte går att bevisa. Det andra teoremet — kanske ännu mer förvirrande — visar att ett sådant system aldrig kan bevisa sin egen konsistens.

Teoremen motbevisade i praktiken Hilberts program, som sökte en fullständig formalisering av matematiken (Schneppat). Detta var inte bara en teknisk detalj — det var ett fundamentalt hinder för den logiska grundvalen för allt vi vet om siffror och former.

Bidrag till logik

Innan ofullständighetsteoremerna hade Gödel redan levererat sin fullständighetssats 1929, som visade att predikatlogiken var fullständig på sitt eget plan (Brald). Han presenterade denna sats den 6 september 1929 i Königsberg vid ett banbrytande matematikermöte (Uni Münster).

Senare, 1938, konstruerade Gödel en modell som visade att ZFC — den vanliga mängdteorin — kunde samexistera med kontinuumhypotesen (Wikipedia). Paul Cohen kompletterade detta arbete 1963 genom att visa att hypotesen faktiskt var oberoende av ZFC — varken bevisbar eller motbevisbar inom systemet.

Vad betyder Gödel?

Ordet ”Gödel” är i första hand ett efternamn — det tillhör matematikern Kurt Gödel. Men i akademiska kretsar har det blivit en synonym för en hel kategori av koncept inom logik och datavetenskap.

Etymologi

Gödel är ett tyskt efternamn, vanligt i södra Tyskland och Österrike. Kurt Gödel föddes i Brno (då Brün, en del av Österrike-Ungern), och hans familj var av österrikisk härkomst (Britannica).

Matematiska termer

I vetenskapliga sammanhang refererar ”Gödel” till flera begrepp: Gödels ofullständighetsteoremer, Gödelmetriken inom allmän relativitetsteori, och det ontologiska gudsbeviset som han formulerade med matematiska termer. Hans inflytande sträcker sig långt bortom hans egna publikationer.

I populärkulturen är Douglas Hofstadters bok ”Gödel, Escher, Bach” från 1979 ett monument över Gödels geni, där den österrikiske logikerns teorem kopplas samman med konst och musik.

Vem var matematikern som dog av svält?

Kurt Gödel dog den 14 januari 1978 i Princeton, New Jersey. Hans kroppsvikt var vid tillfället endast 30 kg (YouTube). Dödsorsaken registrerades som inanition — svält — av Princeton health examiner (Discovery Institute).

Kurt Gödels död

Gödel hade under senare år av sitt liv lidit av djup paranoia. Han var övertygad om att någon försökte förgifta honom (Discovery Institute). Av rädsla för att äta mat han inte själv hade berett, vägrade han all extern mathantering och svälte sig så småningom till döds.

Han dog av inanition. — Princeton health examiner (Discovery Institute)

Bakgrund till svälten

Gödel var redan som barn hypokondriker och ledde av reumatism som gav honom ofta hälsoproblem (YouTube). Hans personlighet präglades av en djup undanflykt från kritik och kontroverser — han arbetade i ett mörkt rum på Institute for Advanced Study och var extremt tillbakadragen (Discovery Institute).

Det som gör Gödels död särskilt ironisk är att han under sitt medborgarskapsförhör 1948 hade varnats av Einstein att inte nämna sina upptäckter om luckor i US-konstitutionen (YouTube). Einstein förstod att Gödels logik kunde leda till oroväckande slutsatser — men ingen kunde förutse att logikern själv skulle drunkna i sin egen rädsla.

Vad trodde Kurt Gödel om Gud?

Gödel var inte bara logiker — han var också filosof med starka teistiska övertygelser. Han skrev ett ontologiskt bevis för Guds existens, ungefär som Anselm av Canterbury gjorde på 1100-talet, men med strikt matematisk formalism.

Ontologiska beviset

Gödels ontologiska bevis var ett försök att bevisa Guds existens genom logik. Han började arbeta på det redan 1940 och fortsatte förfina det fram till sin död. Beviset använder definitioner som ” positiv egenskap” och ”Gudomlig natur” i ett axiomatiskt system (YouTube).

Det intressanta är att Gödel aldrig publicerade beviset själv — han ville inte framstå som alltför spekulativ. Det var först efter hans död som det hittades bland hans efterlämnade papper.

Religiösa övertygelser

Trots sin stränga rationalitet var Gödel övertygad om att det finns en högre makt. Hans Gudstro var inte naiv — den var genomtänkt och filosofiskt grundad. Han trodde att universum var rationellt ordnat och att logik och tro kunde samexistera.

Hur kände Einstein och Gödel varandra?

Gödel träffade Einstein för första gången 1941 vid Institute for Advanced Study i Princeton (Discovery Institute). De blev snabbt nära vänner — något som förvånade många, eftersom deras personligheter var så olika.

Dagliga promenader

Einstein och Gödel började gå regelbundna promenader tillsammans (YouTube). Dessa promenader blev legendariska bland institute-anställda. Einstein var självsäker och robust, medan Gödel var delikat och nervös — en kontrast som ändå fungerade.

De fotograferades tillsammans i Princeton i augusti 1950 (Discovery Institute). Einstein kallade Gödel ”den största logikern sedan Aristoteles” (YouTube).

Intellektuell vänskap

Vänskapen handlade inte bara om promenader — de två hade djupa intellektuella diskussioner. Einstein var fascinerad av Gödels logiska skärpa, och Gödel uppskattade Einsteins sällskap och visdom. Det var en vänskap mellan två genier som förstod varandras storhet.

Den största logikern sedan Aristoteles. — Albert Einstein (YouTube)

Einstein var inte bara Gödels vän — han var också vittne vid Gödels amerikanska medborgarskapsceremoni 1948 (YouTube). Einstein varnade Gödel att inte ta upp sina funna luckor i konstitutionen vid förhöret — ett råd som Gödel faktiskt följde.

Relaterad läsning: ofullständighetsteoremer · Kurt Gödel

Vanliga frågor