Gregory Chaitin
From Free net encyclopedia
Gregory J. Chaitin (born 1947) is an Argentine-American mathematician and computer scientist.
Beginning in the late 1960s, Chaitin made important contributions to algorithmic information theory and metamathematics, 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, and on the international committee of the Valparaíso Complex Systems Institute.
Chaitin has defined Chaitin's constant <math>\ \Omega</math>, a real number whose digits are equidistributed and which expresses the probability that a random program will halt. <math>\ \Omega</math> 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.
Chaitin also writes about philosophy, especially metaphysics and philosophy of mathematics (particularly about epistemological matters in mathematics). In metaphysics, Chaitin claims that algorithmic information theory is the key to solving problems in the field of biology (obtaining a formal definition of ‘life’, its origin and evolution) and neuroscience (the problem of consciousness and the study of the mind). Indeed, in recent writings, he defends a position known as digital philosophy. In the epistemology of mathematics, he claims that his findings in mathematical logic and algorithmic information theory shows there are “mathematical facts that are true for no reason, they're true by accident. They are random mathematical facts”. Chaitin proposes that mathematicians must abandon any hope to prove those mathematical facts and adopt a quasi-empirical methodology.
Although Chaitin's mathematical work is generally agreed to be correct, many mathematicians disagree strongly with his philosophical interpretation of it. The philosopher Panu Raatikainen argues that Chaitin misinterprets the implications of his own work and his conclusions about philosophical matters are not solid. The philosopher Torkel Franzén criticizes Chaitin’s interpretation of Gödel's Incompleteness Theorem and the alleged explanation for it that Chaitin’s work represent.
Bibliography
- Algorithmic Information Theory, (Cambridge University Press, 1987),
- Information, Randomness & Incompleteness, (World Scientific, 1987),
- Information-Theoretic Incompleteness, (World Scientific, 1992),
- 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 2003),
- Meta Math!, (Pantheon 2005).
External links
- G J Chaitin Home Page
- List of publications of G J Chaitin
- New Scientist article (March, 2001) on Chaitin, Omegas and Super-Omegas
- A short version of Chaitin's proof
- Two papers (1, 2) criticizing Chaitin's interpretation of his results
{{Persondata |NAME=Chaitin, Gergory |ALTERNATIVE NAMES= |SHORT DESCRIPTION=Argentinian mathematician and computer scientist |DATE OF BIRTH=1947 |PLACE OF BIRTH=Argentina |DATE OF DEATH= |PLACE OF DEATH= }}de:Gregory Chaitin fr:Gregory Chaitin ja:グレゴリー・チェイティン