Khaitin, Gregory

Gregory Khaitin
Datum narození 15. listopadu 1947( 1947-11-15 ) (74 let)
Místo narození
Země
Vědecká sféra biologie
Místo výkonu práce
Alma mater

Gregory John Chaitin ( Ing.  Gregory John Chaitin ; 25. června 1947 , Chicago , USA ) je argentinsko - americký matematik a počítačový vědec , který přispěl k metamatematice , spolu s Andrejem Kolmogorovem je považován za zakladatele teorie algoritmické informace . Zvláště, on je známý pro jeho novou neúplnost teorém, podobný v duchu k Gödel je incompleteness teorém .

Životopis

Khaitin se narodil v Chicagu argentinským přistěhovalcům z Buenos Aires . Khaitins se brzy přestěhoval do New Yorku . Jako dítě ho upoutal článek Ernsta Nagela a Jamese Newmana „Gödel's Proof“, publikovaný v roce 1956 v Scientific American . O dva roky později její autoři vydali stejnojmennou knihu, kterou Khaitin četl v New York Public Library. V roce 1959, podle pokynů od sekce amatérských vědců Scientific American , postavil Van de Graaffův generátor .

Khaitin byl vzděláván na Bronx High School of Science a City College , kde formuloval svůj teorém. V roce 1966 se rodina vrátila do Buenos Aires, kde se stal programátorem v IBM Argentina.

V roce 1974 byl Khaitin pozván do výzkumného centra IBM pojmenovaného po. Thomas Watson, kde stále působí. V letech 1976 až 1985 zde pracoval jako softwarový a hardwarový inženýr na projektu IBM RISC .

V roce 1995 mu byl udělen titul doktora věd in honoris causa na University of Maine a v roce 2002 čestná profesura na University of Buenos Aires . Od roku 2000 je také hostujícím profesorem na University of Auckland.

Vědecká práce

Khaitinovy ​​vědecké zájmy leží v oblasti teorie informace , teorie vyčíslitelnosti , základů matematiky . Khaitinova raná práce o algoritmické teorii informace je paralelou s Kolmogorovovou ranou prací.

Khaitin zavedl Khaitinovu konstantu Ω, reálné číslo, jehož číslice jsou rovnoměrně rozloženy a které se někdy nazývá výraz pro pravděpodobnost, že se libovolně zvolený program zastaví . Ω má tu matematickou vlastnost, že je definovatelné, ale ne vyčíslitelné .

Khaitin se také zabývá otázkami filozofie, zejména metafyziky a filozofie matematiky , zejména epistemologickými problémy matematiky. V metafyzice Khaitin tvrdí, že algoritmická teorie informace je klíčem k řešení problémů v oblastech, jako je biologie (získání formální definice života , jeho původu a evoluce ) a neurověda (problém vědomí a studium myšlenkových procesů). Ve svých posledních spisech ve skutečnosti obhajuje pozici známou jako digitální filozofie . V epistemologii matematiky tvrdí, že jeho objevy v matematické logice a algoritmické teorii informace ukázaly, že existují matematická fakta, jejichž pravdivost nelze vysvětlit žádnou teorií. Existuje jen jeden způsob, jak „dokázat“ tato fakta: uznat je jako axiomy bez jakéhokoli uvažování. Khaitin navrhuje, aby se matematici vzdali jakékoli naděje na prokázání těchto faktů a přijali kvaziempirickou metodologii.

Khaitin je také autorem použití chromatického čísla ( angl.  graph coloring ) pro kompilaci alokace registrů , známého jako Khaitinův algoritmus .

Kritika

Někteří filozofové a logici absolutně nesouhlasí s filozofickými závěry, které Khaitin vyvodil ze svých teorémů [1] . Logik Torkel Franzén [2] kritizuje Khaitinův výklad Gödelova teorému o neúplnosti a sporné vysvětlení, které mu Khaitin ve svých spisech poskytl.

Sborník

Poznámky

  1. ↑ Panu Raatikainen „Exploring Randomness and the Unknowable“ Notices of the American Mathematical Society Archived 29. srpna 2017 na Wayback Machine Book Review října 2001
  2. ↑ Torkel Franzén Gödelův teorém: Neúplný průvodce jeho používáním a zneužíváním . Wellesley , Massachusetts : A.K. Peters, Ltd. , 2005. x + 172 stran. ISBN 1-56881-238-8 .

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie