Gregory Chaitin, American contemporary mathematician and computer scientist who, beginning in the late 1960s, has made important contributions to algorithmic information theory, in particular a new incompleteness theorem similar in spirit to Gödel's incompleteness theorem.
Chaitin's work has profound consequences for our ideas of randomness.
Chaitin has defined Chaitin's constant Ω, a real number whose digits are randomly distributed 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 work of Kolmogorov in many respects.
wikipedia.org dumped 2003-03-17 with terodump