Mathematics and Computer Science
Beginning in 2009 Chaitin has worked on metabiology, a field parallel to biology dealing with the evolution of artificial software (computer programs) instead of natural software (DNA).
Beginning in the late 1960s, Chaitin made contributions to algorithmic information theory and metamathematics, in particular a new incompleteness theorem in reaction 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 is definable but not computable.
Chaitin's early work on algorithmic information theory paralleled the earlier work of Kolmogorov.
Chaitin is also the originator of using graph coloring to do register allocation in compiling, a process known as Chaitin's algorithm.
Read more about this topic: Gregory Chaitin
Famous quotes containing the words mathematics, computer and/or science:
“The three main medieval points of view regarding universals are designated by historians as realism, conceptualism, and nominalism. Essentially these same three doctrines reappear in twentieth-century surveys of the philosophy of mathematics under the new names logicism, intuitionism, and formalism.”
—Willard Van Orman Quine (b. 1908)
“What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
—Rudolf Arnheim (b. 1904)
“He has been described as “an innkeeper who hated his guests, a philosopher, and poet who left no written record of his thought, a despiser of women who gave all he had to one, an aristocrat, a proletarian, a pagan, an arcadian, an atheist, a lover of beauty, and, inadvertently, the stepfather of domestic science in America.””
—Administration in the State of Colo, U.S. public relief program (1935-1943)