ProofWiki:Mathematicians/Gregory John Chaitin

Argentinian-American mathematician active mainly in computability theory and metamathematics.

Nationality

Argentinian-American

History

• Born: 1947

Theorems and Definitions

• Chaitin's Constant

• Chaitin-Kolmogorov Randomness (with Andrey Kolmogorov)

Books and Papers

• 1987: Algorithmic Information Theory
• 1987: Information, Randomness & Incompleteness
• 1992: Information-Theoretic Incompleteness
• 1998: The Limits of Mathematics
• 1999: The Unknowable
• 2001: Exploring Randomness
• 2002: Conversations with a Mathematician
• 2003: From Philosophy to Program Size
• 2005: Meta Math!: The Quest for Omega (2006: reprinted in UK as Metamaths: The Quest for Omega)
• 2007: Thinking about Gödel & Turing