Khaitin, Gregory
| Gregory Khaitin | |
|---|---|
| Data nașterii | 15 noiembrie 1947 (74 de ani) |
| Locul nașterii | |
| Țară | |
| Sfera științifică | biologie |
| Loc de munca | |
| Alma Mater | |
Gregory John Chaitin ( ing. Gregory John Chaitin ; 25 iunie 1947 , Chicago , SUA ) este un matematician și informatician argentino - american , care a contribuit la metamatematică , împreună cu Andrei Kolmogorov este considerat fondatorul teoriei algoritmice a informației . În special, el este cunoscut pentru noua sa teoremă de incompletitudine, similară în spirit cu teorema de incompletitudine a lui Gödel .
Biografie
Khaitin sa născut la Chicago din imigranți argentinieni din Buenos Aires . Khaitinii s-au mutat curând la New York . În copilărie, a fost atras de un articol de Ernst Nagel și James Newman , „Gödel's Proof”, publicat în 1956 în Scientific American . Doi ani mai târziu, autorii săi au lansat o carte cu același nume, pe care Khaitin a citit-o la Biblioteca Publică din New York. În 1959, urmând instrucțiunile de la secția Amateur Scientist a Scientific American , a construit un generator Van de Graaff .
Khaitin a fost educat la Bronx High School of Science și City College , unde și-a formulat teorema. În 1966, familia sa întors la Buenos Aires, unde a devenit programator la IBM Argentina.
În 1974, Khaitin a fost invitat la centrul de cercetare IBM care poartă numele. Thomas Watson, unde lucrează încă. Din 1976 până în 1985 a lucrat acolo ca inginer software și hardware la proiectul IBM RISC .
În 1995 i s-a acordat titlul de doctor în științe in honoris causa de la Universitatea din Maine, iar în 2002 o profesie de onoare la Universitatea din Buenos Aires . Din 2000 este și profesor invitat la Universitatea din Auckland.
Lucrări științifice
Interesele științifice ale lui Khaitin se află în domeniul teoriei informațiilor , al teoriei computabilității , al fundamentelor matematicii . Lucrările timpurii ale lui Khaitin privind teoria informației algoritmice sunt paralele cu lucrările timpurii ale lui Kolmogorov.
Khaitin a introdus constanta lui Khaitin Ω, un număr real ale cărui cifre sunt distribuite egal și care se numește uneori expresia pentru probabilitatea ca un program ales arbitrar să se oprească . Ω are acea proprietate matematică că este definibil, dar nu poate fi calculat .
Khaitin se ocupă, de asemenea, de probleme de filozofie, în special de metafizică și de filosofia matematicii , în special de problemele epistemologice ale matematicii. În metafizică, Khaitin susține că teoria informației algoritmice este cheia rezolvării problemelor în domenii precum biologie (obținerea unei definiții oficiale a vieții , originea și evoluția ei ) și neuroștiința (problema conștiinței și studiul proceselor de gândire). De fapt, în ultimele sale scrieri, el susține o poziție cunoscută sub numele de filozofie digitală . În epistemologia matematicii, el susține că descoperirile sale în logica matematică și teoria informației algoritmice au arătat că există fapte matematice al căror adevăr nu poate fi explicat prin nicio teorie. Există o singură modalitate de a „demonstra” aceste fapte: să le recunoaștem ca axiome fără niciun raționament. Khaitin sugerează că matematicienii renunță la orice speranță de a dovedi aceste fapte și adoptă o metodologie cvasiempiră.
Khaitin este, de asemenea, autorul utilizării numărului cromatic ( ing. colorarea graficelor ) pentru compilarea alocării registrului , cunoscut sub numele de algoritmul lui Khaitin .
Critica
Unii filozofi și logicieni nu sunt absolut de acord cu concluziile filozofice pe care Khaitin le-a tras din teoremele sale [1] . Logicianul Torkel Franzén [2] critică interpretarea lui Khaitin a teoremei de incompletitudine a lui Gödel și explicația îndoielnică dată acesteia de Khaitin în scrierile sale.
Proceedings
- Teoria algoritmică a informației , ( Cambridge University Press , 1987 ),
- Informație, aleatoriu și incomplet , ( World Scientific , 1987),
- Incompletitudine teoretică informațională , ( World Scientific , 1992 ),
- Limitele matematicii , ( Springer-Verlag 1998 ),
- The Unknownable , ( Springer-Verlag 1999 ),
- Exploring Randomness , ( Springer-Verlag 2001 ),
- Conversații cu un matematician , ( Springer-Verlag 2002 ),
- De la filozofie la dimensiunea programului , ( Tallinn Cybernetics Institute 2003 ),
- Meta Math!: The Quest for Omega , ( Pantheon 2005 ),
- Thinking about Gödel & Turing , ( World Scientific , 2007 ).
Note
- ↑ Panu Raatikainen „Exploring Randomness and The Unknowable” Notices of the American Mathematical Society Arhivat 29 august 2017 la Wayback Machine Book Review octombrie 2001
- ↑ Teorema lui Torkel Franzén Gödel: Un ghid incomplet de utilizare și abuz . Wellesley , Massachusetts : A.K. Peters, Ltd. , 2005. x + 172 pp. ISBN 1-56881-238-8 .
Link -uri
- Traducerea articolului „Limits of Reason” de Khaitin în Scientific American
- Pagina principală a GJ Chaitin
- Lista publicațiilor lui GJ Chaitin
- Nou articol de știință (martie 2001) despre Chaitin, Omegas și Super-Omegas
- O versiune scurtă a dovezii lui Chaitin
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| ||||