Chaitin's constant
Constante de Chaitin
- Date
- 1975 · confidence medium
- Place
- Yorktown Heights, New York, United States
- Credited to
- Gregory Chaitin
- Field
- Knowledge & symbols
What was discovered
Real number representing the probability that a randomly constructed program will halt, built by Gregory Chaitin as an example of a non-computable, algorithmically random number.
What it led to
- Formalization of algorithmic information theory
- Concrete examples of undecidability and incompleteness in mathematics
- Connection between the halting problem and algorithmic randomness
- Development of Kolmogorov-Chaitin complexity