Khaitin, Gregory

Gregory Khaitin
Fødselsdato 15. november 1947( 1947-11-15 ) (74 år)
Fødselssted
Land
Videnskabelig sfære biologi
Arbejdsplads
Alma Mater

Gregory John Chaitin ( eng.  Gregory John Chaitin ; 25. juni 1947 , Chicago , USA ) er en argentinsk - amerikansk matematiker og datalog , der har bidraget til metamatematikken , sammen med Andrei Kolmogorov regnes for grundlæggeren af ​​algoritmisk informationsteori . Især er han kendt for sin nye ufuldstændighedssætning, der i ånden ligner Gödels ufuldstændighedssætning .

Biografi

Khaitin blev født i Chicago af argentinske immigranter fra Buenos Aires . Khaitinerne flyttede snart til New York . Som barn blev han tiltrukket af en artikel af Ernst Nagel og James Newman , "Gödel's Proof", udgivet i 1956 i Scientific American . To år senere udgav dens forfattere en bog af samme navn, som Khaitin læste på New York Public Library. I 1959, efter anvisninger fra Amateur Scientist -sektionen af ​​Scientific American , byggede han en Van de Graaff-generator .

Khaitin blev uddannet på Bronx High School of Science og City College , hvor han formulerede sit teorem. I 1966 vendte familien tilbage til Buenos Aires, hvor han blev programmør hos IBM Argentina.

I 1974 blev Khaitin inviteret til IBMs forskningscenter opkaldt efter. Thomas Watson, hvor han stadig arbejder. Fra 1976 til 1985 arbejdede han der som software- og hardwareingeniør på IBM RISC -projektet .

I 1995 blev han tildelt graden Doctor of Science in honoris causa fra University of Maine, og i 2002 et æresprofessorat fra University of Buenos Aires . Siden 2000 har han også været gæsteprofessor ved University of Auckland.

Videnskabeligt arbejde

Khaitins videnskabelige interesser ligger inden for informationsteori , beregningsteori og matematikkens grundlag . Khaitins tidlige arbejde med algoritmisk informationsteori er parallelt med Kolmogorovs tidlige arbejde.

Khaitin introducerede Khaitins konstant Ω, et reelt tal, hvis cifre er ligeligt fordelt, og som nogle gange kaldes udtrykket for sandsynligheden for, at et vilkårligt valgt program stopper . Ω har den matematiske egenskab, at den er definerbar, men ikke beregnelig .

Khaitin beskæftiger sig også med spørgsmål om filosofi, især metafysik og matematikkens filosofi, især erkendelsesteoretiske problemer i matematik. Inden for metafysik hævder Khaitin, at algoritmisk informationsteori er nøglen til at løse problemer inden for områder som biologi (at få en formel definition af livet , dets oprindelse og evolution ) og neurovidenskab (problemet med bevidsthed og studiet af tankeprocesser). Faktisk går han i sine seneste skrifter ind for en position kendt som digital filosofi . I matematikkens epistemologi hævder han, at hans opdagelser inden for matematisk logik og algoritmisk informationsteori har vist, at der er matematiske fakta, hvis sandhed ikke kan forklares med nogen teori. Der er kun én måde at "bevise" disse fakta: at anerkende dem som aksiomer uden nogen begrundelse. Khaitin foreslår, at matematikere opgiver ethvert håb om at bevise disse fakta og anvender en kvasi-empirisk metode.

Khaitin er også forfatter til brugen af ​​kromatisk tal ( eng.  graph coloring ) til kompilering af registerallokering , kendt som Khaitins algoritme .

Kritik

Nogle filosoffer og logikere er absolut uenige i de filosofiske konklusioner, som Khaitin trak ud fra sine teoremer [1] . Logikeren Torkel Franzén [2] kritiserer Khaitins fortolkning af Gödels ufuldstændighedsteorem og den tvivlsomme forklaring, som Khaitin har givet den i sine skrifter.

Proceedings

Noter

  1. ↑ Panu Raatikainen "Exploring Randomness and The Unknowable" -meddelelser fra American Mathematical Society Arkiveret 29. august 2017 på Wayback Machine Book Review oktober 2001
  2. ↑ Torkel Franzén Gödels sætning: En ufuldstændig guide til dets brug og misbrug . Wellesley , Massachusetts : A.K. Peters, Ltd. , 2005. x + 172 s. ISBN 1-56881-238-8 .

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier