Khaitin, Gregory

Gregory Khaitin
Födelsedatum 15 november 1947( 1947-11-15 ) (74 år)
Födelseort
Land
Vetenskaplig sfär biologi
Arbetsplats
Alma mater

Gregory John Chaitin ( eng.  Gregory John Chaitin ; 25 juni 1947 , Chicago , USA ) är en argentinsk - amerikansk matematiker och datavetare , bidragit till metamatematiken , tillsammans med Andrei Kolmogorov anses vara grundaren av algoritmisk informationsteori . I synnerhet är han känd för sitt nya ofullständighetsteorem, som till sin anda liknar Gödels ofullständighetsteorem .

Biografi

Khaitin föddes i Chicago av argentinska immigranter från Buenos Aires . Khaitinerna flyttade snart till New York . Som barn drogs han till en artikel av Ernst Nagel och James Newman , "Gödels bevis", publicerad 1956 i Scientific American . Två år senare släppte dess författare en bok med samma namn, som Khaitin läste på New York Public Library. 1959, efter anvisningar från Amateur Scientist- avdelningen av Scientific American , byggde han en Van de Graaff-generator .

Khaitin utbildades vid Bronx High School of Science och City College , där han formulerade sitt teorem. 1966 återvände familjen till Buenos Aires, där han blev programmerare på IBM Argentina.

1974 blev Khaitin inbjuden till IBMs forskningscenter uppkallat efter. Thomas Watson, där han fortfarande arbetar. Från 1976 till 1985 arbetade han där som mjukvaru- och hårdvaruingenjör på IBM RISC- projektet .

1995 tilldelades han doktorsexamen i honoris causa från University of Maine och 2002 en hedersprofessur från University of Buenos Aires . Sedan 2000 har han även varit gästprofessor vid University of Auckland.

Vetenskapligt arbete

Khaitins vetenskapliga intressen ligger inom området informationsteori , beräkningsbarhetsteori , matematikens grunder . Khaitins tidiga arbete med algoritmisk informationsteori liknar Kolmogorovs tidiga arbete.

Khaitin introducerade Khaitins konstant Ω, ett reellt tal vars siffror är jämnt fördelade och som ibland kallas uttrycket för sannolikheten att ett godtyckligt valt program kommer att stoppa . Ω har den matematiska egenskapen att den är definierbar men inte beräkningsbar .

Khaitin behandlar också frågor om filosofi, särskilt metafysik och matematikens filosofi , i synnerhet kunskapsteoretiska problem i matematik. Inom metafysik hävdar Khaitin att algoritmisk informationsteori är nyckeln till att lösa problem inom områden som biologi (att få en formell definition av livet , dess ursprung och evolution ) och neurovetenskap (problemet med medvetande och studiet av tankeprocesser). Faktum är att han i sina senaste skrifter förespråkar en position som kallas digital filosofi . I matematikens epistemologi hävdar han att hans upptäckter inom matematisk logik och algoritmisk informationsteori har visat att det finns matematiska fakta vars sanning inte kan förklaras av någon teori. Det finns bara ett sätt att "bevisa" dessa fakta: att känna igen dem som axiom utan några resonemang. Khaitin föreslår att matematiker ger upp allt hopp om att bevisa dessa fakta och antar en kvasiempirisk metodik.

Khaitin är också författare till användningen av kromatiska tal ( eng.  graph coloring ) för att sammanställa registerallokering , känd som Khaitins algoritm .

Kritik

Vissa filosofer och logiker håller absolut inte med om de filosofiska slutsatserna som Khaitin drog från sina satser [1] . Logikern Torkel Franzén [2] kritiserar Khaitins tolkning av Gödels ofullständighetsteorem och den tvivelaktiga förklaring som Khaitin gett till den i sina skrifter.

Proceedings

Anteckningar

  1. ↑ Panu Raatikainen "Exploring Randomness and The Unknowable" Notices of the American Mathematical Society Arkiverade 29 augusti 2017 på Wayback Machine Book Review oktober 2001
  2. ↑ Torkel Franzén Gödels sats: En ofullständig guide till dess användning och missbruk . Wellesley , Massachusetts : A.K. Peters, Ltd. , 2005. x + 172 sidor. ISBN 1-56881-238-8 .

Länkar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk