Gregory Chaitin - Gregory Chaitin - Wikipedia

Gregory Chaitin
narozený (1947-06-25) 25. června 1947 (věk 73)
Chicago[1]
Národnostargentinský -americký
Známý jakoSložitost Chaitin – Kolmogorov
Chaitinova konstanta
Chaitinův algoritmus
Vědecká kariéra
PoleBiologie
Matematika
Počítačová věda
InstituceFederální univerzita v Rio de Janeiru
IBM Výzkumné centrum Thomase J. Watsona
VlivyGottfried Wilhelm Leibniz

Gregory John Chaitin (/ˈtʃaɪtɪn/ CHY-cín; narozený 25 června 1947) je argentinský -americký matematik a počítačový vědec. Počínaje koncem šedesátých let Chaitin přispíval do teorie algoritmických informací a metamatematika, zejména počítačově teoretický výsledek ekvivalentní k Gödelova věta o neúplnosti.[2] Je považován za jednoho ze zakladatelů toho, co je dnes známé jako složitost algoritmu (Solomonoff-Kolmogorov-Chaitin, Kolmogorov nebo velikost programu) společně s Andrej Kolmogorov a Ray Solomonoff. Spolu s pracemi např. Solomonoff, Kolmogorov, Martin-Löf, a Leonid Levin, teorie algoritmických informací se stala základní součástí teoretické informatiky, teorie informací a matematické logiky.[3][4] Je to běžný předmět v několika učebních osnovách informatiky. Kromě počítačových vědců Chaitinova práce upozorňuje mnoho filozofů a matematiků na základní problémy v matematické kreativitě a digitální filozofii.

Matematika a informatika

Navštěvoval Bronx High School of Science a City College of New York kde vyvinul teorii, která vedla k jeho nezávislému objevu algoritmická složitost.[5][6]

Chaitin definoval Chaitinova konstanta Ω, a reálné číslo jehož číslice jsou ekvidistribuováno a který je někdy neformálně popisován jako vyjádření pravděpodobnosti, že se náhodný program zastaví. Ω má matematickou vlastnost, kterou je definovatelný, s asymptotickými aproximacemi zdola (ale ne shora), ale ne vypočitatelný.

Chaitin je také původcem používání zbarvení grafu dělat přidělení registru při kompilaci, proces známý jako Chaitinův algoritmus.[7]

Dříve působil jako výzkumný pracovník ve výzkumném středisku Thomas J. Watson ve společnosti IBM v New Yorku a zůstává emeritním výzkumným pracovníkem. Napsal více než 10 knih, které byly přeloženy do přibližně 15 jazyků. Dnes se zajímá o otázky metabiologie a informační teoretik formalizace teorie vývoj.

Další odborné příspěvky

Chaitin také píše o filozofie, zvláště metafyzika a filozofie matematiky (zejména o epistemologických záležitostech v matematice). V metafyzice to tvrdí Chaitin teorie algoritmických informací je klíčem k řešení problémů v oblasti biologie (získání formální definice "života", jeho původu a vývoj ) a neurovědy (problém vědomí a studium mysli).

V nedávných spisech hájí pozici známou jako digitální filozofie. V epistemologie matematiky tvrdí, že jeho nálezy v matematická logika a algoritmická teorie informací ukazují, že existují „matematické skutečnosti, které jsou pravdivé bezdůvodně, které jsou pravdivé náhodou“.[8] Chaitin navrhuje, aby matematici opustili jakoukoli naději na prokázání těchto matematických faktů a přijali a kvazi-empirický metodologie.

Vyznamenání

V roce 1995 získal titul doktora věd honoris causa podle University of Maine. V roce 2002 mu byl udělen titul čestného profesora University of Buenos Aires v Argentině, kde se narodili jeho rodiče a kde Chaitin strávil část svého mládí. V roce 2007 mu bylo uděleno Leibnizova medaile[9] podle Wolfram Research. V roce 2009 získal titul doktora filozofie honoris causa podle Národní univerzita v Córdobě. Dříve pracoval jako výzkumný pracovník IBM je Výzkumné centrum Thomase J. Watsona a nyní je profesorem na Federální univerzita v Rio de Janeiru.

Kritika

Někteří filozofové a logici nesouhlasí s filozofickými závěry, které Chaitin vyvodil ze svých vět o tom, co si Chaitin myslí, že je jakousi základní aritmetickou náhodností.[10]Logik Torkel Franzén kritizoval Chaitinovu interpretaci Gödelova věta o neúplnosti a údajné vysvětlení, které představuje Chaitinova práce.[11]

Bibliografie

Reference

  1. ^ Gregory Chaitin (2007), Algorithmic theory theory: „Chaitin Research Timeline“ Archivováno 23. března 2012 v Wayback Machine
  2. ^ Recenze Meta Math !: The Quest for Omega, Gregory Chaitin SIAM News, svazek 39, číslo 1, leden / únor 2006
  3. ^ Calude, C.S. (2002). Informace a náhodnost: Algoritmická perspektiva. Texty v teoretické informatice. Řada EATCS. Springer-Verlag.
  4. ^ R. Downey a D. Hirschfeldt (2010), Algoritmická náhodnost a složitost, Springer-Verlag.
  5. ^ Li; Vitanyi (1997), Úvod do Kolmogorovovy složitosti a jejích aplikací, Springer, str. 92, ISBN  9780387948683, GJChaitin dokončil Bronx High School of Science a byl osmnáctiletým vysokoškolským studentem na City College of City University v New Yorku, když předložil dva příspěvky .... Chaitin ve svém [druhém] příspěvku uvádí předat představu Kolmogorovovy složitosti ....
  6. ^ Chaitin, G. J. (říjen 1966), „O délce programů pro výpočet konečných binárních sekvencí“, Deník ACM, 13 (4): 547–569, doi:10.1145/321356.321363, S2CID  207698337
  7. ^ G.J. Chaitin, Zaregistrujte přidělení a rozlití pomocí zbarvení grafu, US patent 4 571 678 (1986) [citováno z Zaregistrujte přidělení na architektuře Intel® Itanium®, str.155]
  8. ^ Chaitin, G. J. (2003). "Od filozofie k velikosti programu". arXiv:matematika / 0303352.
  9. ^ Zenil, Hector "Leibnizův medailon ožívá po 300 letech"Anima Ex Machina, Blog Hectora Zenila, 3. listopadu 2007.
  10. ^ Panu Raatikainen, „Zkoumání náhodnosti a nepoznání“Oznámení Americké matematické společnosti Recenze knihy Říjen 2001.
  11. ^ Franzén, Torkel (2005), Gödelova věta: Neúplný průvodce jeho používáním a zneužíváním, Wellesley, Massachusetts: A K Peters, Ltd., ISBN  978-1-56881-238-0

Další čtení

externí odkazy