Khaitin, Gregory
| Gregory Khaitin | |
|---|---|
| Syntymäaika | 15. marraskuuta 1947 (74-vuotias) |
| Syntymäpaikka | |
| Maa | |
| Tieteellinen ala | biologia |
| Työpaikka | |
| Alma mater | |
Gregory John Chaitin ( eng. Gregory John Chaitin ; 25. kesäkuuta 1947 , Chicago , USA ) on argentiinalais - amerikkalainen matemaatikko ja tietojenkäsittelytieteilijä , osallistunut metamatematiikkaan , yhdessä Andrei Kolmogorovin kanssa pidetään algoritmisen informaatioteorian perustajana . Erityisesti hänet tunnetaan uudesta epätäydellisyyslauseestaan, joka on hengeltään samanlainen kuin Gödelin epätäydellisyyslause .
Elämäkerta
Khaitin syntyi Chicagossa argentiinalaisten maahanmuuttajien perheeseen Buenos Airesista . Khaitinit muuttivat pian New Yorkiin . Lapsena hänet kiinnosti Ernst Nagelin ja James Newmanin artikkeli "Gödel's Proof", joka julkaistiin vuonna 1956 Scientific American -lehdessä . Kaksi vuotta myöhemmin sen kirjoittajat julkaisivat samannimisen kirjan, jonka Khaitin luki New Yorkin julkisessa kirjastossa. Vuonna 1959 hän rakensi Scientific Americanin Amateur Scientist -osaston ohjeita noudattaen Van de Graaff -generaattorin .
Khaitin sai koulutuksen Bronx High School of Sciencessa ja City Collegessa , missä hän muotoili lauseensa. Vuonna 1966 perhe palasi Buenos Airesiin, missä hänestä tuli ohjelmoija IBM Argentinassa.
Vuonna 1974 Khaitin kutsuttiin IBM:n mukaan nimettyyn tutkimuskeskukseen. Thomas Watson, jossa hän työskentelee edelleen. Vuodesta 1976 vuoteen 1985 hän työskenteli siellä ohjelmisto - ja laitteistoinsinöörinä IBM RISC - projektissa .
Vuonna 1995 hänelle myönnettiin tieteiden tohtorin tutkinto Mainen yliopistosta ja vuonna 2002 kunniaprofessuuri Buenos Airesin yliopistosta . Vuodesta 2000 hän on myös ollut vierailevana professorina Aucklandin yliopistossa.
Tieteellinen työ
Khaitinin tieteelliset kiinnostuksen kohteet ovat informaatioteorian , laskettavuusteorian ja matematiikan perusteet . Khaitinin varhainen työ algoritmisen informaatioteorian parissa vastaa Kolmogorovin varhaista työtä.
Khaitin esitteli Khaitinin vakion Ω, reaaliluvun, jonka numerot jakautuvat tasaisesti ja jota joskus kutsutaan lausekkeeksi todennäköisyydelle, että mielivaltaisesti valittu ohjelma pysähtyy . Ω:lla on se matemaattinen ominaisuus, että se on määriteltävissä, mutta ei laskettavissa .
Khaitin käsittelee myös filosofian kysymyksiä, erityisesti metafysiikkaa ja matematiikan filosofiaa, erityisesti matematiikan epistemologisia ongelmia. Metafysiikassa Khaitin väittää, että algoritminen informaatioteoria on avain ongelmien ratkaisemiseen sellaisilla aloilla kuin biologia (muodollisen määritelmän saaminen elämälle , sen alkuperä ja evoluutio ) ja neurotiede ( tietoisuuden ongelma ja ajatteluprosessien tutkimus). Itse asiassa viimeisimmissä kirjoituksissaan hän puolustaa asemaa, joka tunnetaan nimellä digitaalinen filosofia . Matematiikan epistemologiassa hän väittää, että hänen löytönsä matemaattisessa logiikassa ja algoritmisessa informaatioteoriassa ovat osoittaneet, että on matemaattisia tosiasioita, joiden totuutta ei voida selittää millään teorialla. On vain yksi tapa "todistaa" nämä tosiasiat: tunnistaa ne aksioomeiksi ilman perusteluja. Khaitin ehdottaa, että matemaatikot luopuvat kaikesta toivosta todistaa nämä tosiasiat ja ottavat käyttöön näennäisen empiirisen metodologian.
Khaitin on myös kirjoittanut kromaattisen numeron ( eng. graph coloring ) käytön rekisteriallokoinnin laatimiseen , joka tunnetaan Khaitinin algoritmina .
Kritiikki
Jotkut filosofit ja loogikot ovat täysin eri mieltä Khaitinin teoreemoistaan tekemien filosofisten johtopäätösten kanssa [1] . Loogikko Torkel Franzén [2] arvostelee Khaitinin tulkintaa Gödelin epätäydellisyyslauseesta ja Khaitinin kirjoituksissaan antamaa kyseenalaista selitystä.
Proceedings
- Algorithmic Information Theory , ( Cambridge University Press , 1987 ),
- Tieto, satunnaisuus ja epätäydellisyys , ( World Scientific , 1987),
- Informaatioteoreettinen epätäydellisyys , ( World Scientific , 1992 ),
- The Limits of Mathematics , ( Springer-Verlag 1998 ),
- Tuntematon , ( Springer-Verlag 1999 ),
- Exploring Randomness ( Springer-Verlag 2001 ),
- Keskusteluja matemaatikon kanssa ( Springer-Verlag 2002 ),
- Filosofiasta ohjelman kokoon , ( Tallinnan kybernetiikkainstituutti 2003 )
- Meta Math!: The Quest for Omega , ( Pantheon 2005 ),
- Thinking about Gödel & Turing , ( World Scientific , 2007 ).
Muistiinpanot
- ↑ Panu Raatikainen "Exploring Randomness and The Unknowable" American Mathematical Societyn ilmoitukset arkistoitu 29. elokuuta 2017 Wayback Machine Book Reviewissa lokakuussa 2001
- ↑ Torkel Franzén Gödelin lause: Epätäydellinen opas sen käyttöön ja väärinkäyttöön . Wellesley , Massachusetts : A.K. Peters, Ltd. , 2005. x + 172 s. ISBN 1-56881-238-8 .
Linkit
- Khaitinin Scientific Americanin artikkelin "Limits of Reason" käännös
- GJ Chaitin kotisivu
- Luettelo GJ Chaitinin julkaisuista
- New Scientist -artikkeli (maaliskuu 2001) Chaitinista, Omegoista ja Super-Omegoista
- Lyhyt versio Chaitinin todistuksesta
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||