Gregory Chaitin
|
|
Gregory J. Chaitin (born 1947) is an American contemporary mathematician and computer scientist.
Chaitin, beginning in the late 1960s, made important contributions to algorithmic information theory, in particular a new incompleteness theorem similar in spirit to Gödel's incompleteness theorem. In 1995 he was given the degree of doctor of science honoris causa by the University of Maine. In 2002 he was given the title of honorary professor by the University of Buenos Aires in Argentina, where his parents were born and where Chaitin spent part of his youth. He is a research staff member at IBM's Thomas J. Watson Research Center and also a visiting professor at the Computer Science Department of the University of Auckland.
Chaitin has defined Chaitin's constant Ω, a real number whose digits are equidistributed and which expresses the probability that a random program will halt. Ω has numerous remarkable mathematical properties, including the fact that it is definable but not computable.
Chaitin's work on algorithmic information theory paralleled the earlier work of Kolmogorov in many respects.
Books
- Algorithmic Information Theory, (Cambridge University Press (http://www.cup.org), 1987),
- Information, Randomness & Incompleteness, (World Scientific (http://www.worldscientific.com), 1987),
- Information-Theoretic Incompleteness, (World Scientific (http://www.worldscientific.com), 1992),
- The Limits of Mathematics, (Springer-Verlag (http://www.springeronline.com) 1998),
- The Unknowable, (Springer-Verlag (http://www.springeronline.com) 1999),
- Exploring Randomness, (Springer-Verlag (http://www.springeronline.com) 2001),
- Conversations with a Mathematician, (Springer-Verlag (http://www.springeronline.com) 2002),
- From Philosophy to Program Size, (Tallinn Cybernetics Institute (http://ioc.ee) 2003),
- Meta Math!, (Pantheon (http://www.randomhouse.com/pantheon) 2005).
External links
- G J Chaitin Home Page (http://cs.umaine.edu/~chaitin/)
- List of publications of G J Chaitin (http://cs.umaine.edu/~chaitin/complete.html)de:Gregory Chaitin