Gregory Chaitin
| Gregory Chaitin | ||
|---|---|---|
| ||
| Persona informo | ||
| Naskiĝo | 15-an de novembro 1947 (76-jaraĝa) en Ĉikago | |
| Lingvoj | angla vd | |
| Loĝloko | Brazilo vd | |
| Ŝtataneco | Usono vd | |
| Alma mater | Urba Kolegio de Nov-Jorko • The Bronx High School of Science vd | |
| Profesio | ||
| Okupo | matematikisto • komputosciencisto • filozofo • universitata instruisto vd | |
| Laborkampo | biologio vd | |
| vd | Fonto: Vikidatumoj | |
Gregory John CHAITIN ([ˈ|tʃ|aɪ|t|ɪ|n] [ĈAJ|tin]; 25a de Junio 1947) estas argentin-usona matematikisto kaj komputosciencisto. Dekomence fine de la 1960-aj jaroj, Chaitin faris kontribuojn al la teorio de la algoritma informado kaj al la metamatematiko, partikulara komput-teoria rezulto egalvalora al la teoremo de nekompleteco de Gödel.[1] Li estas konsiderata unu el la fondintoj de tio kio estas nuntempe konata kiel algoritma komplekseco (Solomonoff-Kolmogorov-Chaitin, Kolmogorov aŭ program-grando) kune kun Andrei Kolmogorov kaj Ray Solomonoff. Kun la verkoj de ekz. Solomonoff, Kolmogorov, Martin-Löf, kaj Leonid Levin, la teorio de la algoritma informado iĝis fundamenta parto de la teoria komputilscienco, informadteorio, kaj matematika logiko.[2][3] Ĝi estas komuna fako en kelkaj komputilsciencaj studobjektaroj. Krom komputilsciencistoj, la verkaro de Chaitin altiris la atenton de multaj filozofoj kaj matematikistoj al fundamentaj problemoj en matematika kreivo kaj cifereca filozofio.
Verkoj[redakti | redakti fonton]
- Information, Randomness & Incompleteness (World Scientific 1987) (rete)
- Algorithmic Information Theory (Cambridge University Press 1987) rete
- Information-theoretic Incompleteness (World Scientific1992) (rete)
- The Limits of Mathematics (Springer-Verlag 1998)
- The Unknowable (Springer-Verlag 1999)
- Exploring Randomness (Springer-Verlag 2001)
- Conversations with a Mathematician (Springer-Verlag 2002)
- From Philosophy to Program Size (Tallinn Cybernetics Institute Arkivigite je 2010-05-28 per la retarkivo Wayback Machine 2003)
- Meta Math!: The Quest for Omega (Pantheon Books 2005) (represita en UR kiel Meta Maths: The Quest for Omega, Atlantic Books 2006) (arXiv:math/0404335)
- Teoria algoritmica della complessità (G. Giappichelli Editore 2006)
- Thinking about Gödel & Turing (World Scientific 2007)
- Mathematics, Complexity and Philosophy (Editorial Midas 2011)
- Gödel's Way (CRC Press 2012)
- Proving Darwin: Making Biology Mathematical (Pantheon Books 2012)
Notoj[redakti | redakti fonton]
- ↑ Review of Meta Math!: The Quest for Omega, de Gregory Chaitin SIAM News, Volume 39, Numero 1, Januaro/Februaro 2006
- ↑ Calude, C.S.. (2002) Information and Randomness: An Algorithmic Perspective, Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag.
- ↑ R. Downey, kaj D. Hirschfeldt (2010), Algorithmic Randomness and Complexity, Springer-Verlag.