Kurt Gödel
Kurt Gödel (28. april 1906–14. januar 1978) var ein logikar, matematikar og filosof.
Kurt Gödel | |||
| |||
Fødd | Kurt Friedrich Gödel 28. april 1906 Brno | ||
---|---|---|---|
Død | 14. januar 1978 Princeton | ||
Nasjonalitet | USA, Austerrike, Cisleithania, Tsjekkoslovakia | ||
Område | mengdelære, matematisk logikk, analytisk filosofi, matematikk, fysikk, relativitetsteorien, logikk, predikatlogikk, filosofi, matematisk filosofi | ||
Yrke | matematikar, filosof, universitetslærar, informatikar, fysikar | ||
Institusjonar | Princeton University Universitetet i Wien University of Notre Dame Institute for Advanced Study | ||
Alma mater | Universitetet i Wien | ||
Doktorgradsrettleiar | Hans Hahn | ||
Ektefelle | Adele Gödel | ||
Medlem | Royal Society American Academy of Arts and Sciences Det franske vitskapsakademiet National Academy of Sciences |
Han vert rekna som ein av dei mest påverknadsrike logikarane gjennom tidene. Mest kjend er han for Gödels ufullstendighetsteorem, som grovt og enkelt sagt seier at eit lukka system ikkje kan bevisast ut frå seg sjølv.
Nasjonaliteten til Gödel er ein komplisert affære. Han vart fødd i Brünn i Mähren i Austerrike-Ungarn (no Brno i Tsjekkia) Han vart automatisk tsjekkoslovakisk statsborgar som 12-åring då Austerrike-Ungarn fall frå kvarandre. Ni år seinare bytte han til austerriksk statsborgarskap. Då Hitler annekterte Austerrike, vart han brått tysk. Og etter andre verdskrig, som 42-åring, vart han amerikansk statsborgar.
Han var dosent i Wien frå 1933 til 1938, og frå 1938 knytt til Institute for Advanced Study i Princeton i USA. Frå 1953 var han professor der.
Verket hans Über formal unentscheidbare Sätze der «Principia Mathematica» und verwandter Systeme (1931) opna for nye perspektiv i samband med logisk tenking, sidan han påviste at den deduktive metoden har visse absolutte avgrensingar som ein ikkje kan kome utanom. Gödel viste at det finst satsar som ikkje kan avgjerast innanfor kvart tilstrekkeleg rikt logisk system. Det vil seie at kvart slikt system vil inneheld utsegner som ikkje kan bevisast, sjølv om dei er sanne. Spesielt er det fundamentale spørsmålet om matematikken er fri for motseiingar prinsipielt umogeleg å avgjere med matematiske metodar. Gödel oppnådde desse resultata - kjende som Gödels ufullstendigheitsteorem – ved å nytte ein ytst subtil matematisk metodikk. Resultatet hans er av generell erkjenningsteoretisk interesse og kan såleis reknast som ein av dei store milepålane i filosofihistoria. Det representerer der eit av dei få presise og vidtrekkande resultata ein i det heile har om den menneskelege tenkinga og avgrensingane til denne.
Gödel gav andre banebrytande bidrag til matematisk logikk, særskild innanfor mengdelære, i samband med den såkalla kontinuumshypotesen. Resultata hans på dette området er gjevne ut i eit anna kjent verk, The Consistency of the Continuum Hypothesis (1940).
Gödel døydde av underernæring i 1978 etter kona hans Adele hadde vore innlagd på sjukehus i seks månader: maten hennar var han einaste han åt i frykt for å bli forgifta av andre. Han unngjekk til og med mat han hadde laga sjølv, og engsta seg for kjøleskap og radiatorar. Det er av allmenn oppfatning at han hadde visse paranoide trekk.
Kjelder
endre- Delar av denne artikkelen bygger på «Kurt Gödel» frå Wikipedia på bokmål, den 9. januar 2012.
- Kurt Gödel. (2012-01-09) I Store norske leksikon. Henta frå http://snl.no/Kurt_Gödel