Gregory Chaitin
Gregory John Chaitin is an Argentine-American mathematician and computer scientist. His work was foundational to the development of algorithmic information theory, and has been influential on metamathematics. He independently discovered what is today known as algorithmic complexity simultaneously with Andrei Kolmogorov and Ray Solomonoff.
Mathematics and computer science
Gregory Chaitin is Jewish. He attended the Bronx High School of Science and the City College of New York, where he developed the theory that led to his independent discovery of algorithmic complexity.In 1975, Chaitin 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 is definable, with asymptotic approximations from below, but not computable.
Chaitin is also the originator of using graph coloring to do register allocation in compiling, a process known as Chaitin's algorithm.
He was formerly a researcher at IBM's Thomas J. Watson Research Center in New York, where he wrote more than 10 books that have been translated into about 15 languages.
Afterwards Chaitin became interested in questions of metabiology and information-theoretic formalizations of the theory of evolution, and he was one of the founding members of the Institute for Advanced Studies at Mohammed VI Polytechnic University in Morocco.
Other scholarly contributions
Chaitin also writes about philosophy, especially metaphysics and philosophy of mathematics. In metaphysics, Chaitin claims that algorithmic information theory is the key to solving problems in the field of biology and neuroscience.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, that are true by accident". Chaitin proposes that mathematicians must abandon any hope of proving those mathematical facts and adopt a quasi-empirical methodology.