Gregory Chaitin Totally Explained

Everything about Chaitin totally explained

Gregory John Chaitin (born 1947) is an Argentine-American mathematician and computer scientist. Beginning in the late 1960s, Chaitin made contributions to algorithmic information theory and metamathematics, in particular a new incompleteness theorem similar in spirit to Gödel's incompleteness theorem. He attended the Bronx High School of Science and City College of New York, where he (still in his teens) developed the theories that led to his independent discovery of Kolmogorov complexity.
   Chaitin has defined Chaitin's constant Ω, a real number whose digits are equidistributed and which is sometimes informally described as an expression of the probability that a random program will halt. Ω has the mathematical property that it's definable but not computable.
   Chaitin's early work on algorithmic information theory paralleled the earlier work of Kolmogorov.
   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 show 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 of proving those mathematical facts and adopt a quasi-empirical methodology.
   Chaitin is also the originator of using graph coloring to do register allocation in compiling, a process known as Chaitin's algorithm.
   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.

Criticism

Some philosophers and logicians strongly disagree with the philosophical conclusions that Chaitin has drawn from his theorems. The logician Torkel Franzén criticizes Chaitin’s interpretation of Gödel's Incompleteness Theorem and the alleged explanation for it that Chaitin’s work represents.

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!: The Quest for Omega, (Pantheon 2005),
Thinking about Gödel & Turing, (World Scientific, 2007).

Further Information

Get more info on 'Chaitin'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://gregory_chaitin.totallyexplained.com">Gregory Chaitin Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.