Kurt Gödel
Wikipedia
Kurt Gödel, född 28 april 1906 i Brünn (Brno), Mähren, Österrike-Ungern (Tjeckien), död 14 januari 1978 i Princeton, New Jersey, USA, österrikisk logiker och matematiker.
Han är känd för sitt ofullständighetsteorem, som publicerades 1931. Teoremet är av fundamental betydelse för matematikens grundvalar. En redogörelse för Gödels bevis finns i Sigma (Stockholm 1960, 5:e bandet) på sidorna 1762 till 1788 och är skriven av Ernst Nagel och James R. Newman.
Andra betydande insatser av Gödel är hans bevis från 1930 av att 1:a ordningens predikatlogik är fullständig (fullständighetsteoremet), alla sanna satser inom denna logik kan bevisas inom systemet. Han har också genom introduktionen av konstruktibla mängder bevisat att urvalsaxiomet och kontinuumhypotesen är relativt konsistenta med mängdteorins axiom, d.v.s båda dessa axiom är förenliga med mängdteorins övriga axiom, givet att dessa är konsistenta. Sedermera visade Paul Cohen att även negationen av urvalsaxiomet samt kontiuumhypotesen är relativt konsistenta, vilket medför att de är oberoende av mängdlärans övriga axiom.
Gödel dog enligt läkare av undernäring, eftersom hans paranoida vanföreställningar ledde till att han endast åt den mat som hans hustru Adele Gödel tillagat, allt annat trodde han var förgiftat. Hans fru Adele överlevde sin man med tre år och dog 4 januari 1981. Det dröjde dock många år innan matematiker och logiker världen över förstod vad han egentligen hade åstadkommit. Det sägs till och med att John von Neumann, vilken var en av de skarpaste personerna på den tiden, ska ha uttalat sig om komplexiteten hos Gödels bevis, vilket säger en del om Gödel indirekt.
När nazismen växte sig allt starkare i Österrike i slutet av 1930-talet emigrerade han från Wien och flyttade till USA där han knöts till Institute for Advanced Study i Princeton.
