World Library  
Flag as Inappropriate
Email this Article
 

Gregory Chaitin

Gregory Chaitin
Born 1947 (1947)
Chicago[1]
Residence United States
Nationality American
Fields Biology
Mathematics
Computer science
Institutions Federal University of Rio de Janeiro
IBM Thomas J. Watson Research Center
Known for Chaitin-Kolmogorov complexity
Chaitin's constant
Chaitin's algorithm
Influences Gottfried Wilhelm Leibniz

Gregory John Chaitin ( ; born 15th. November, 1947 in Argentina) is an Argentine-American mathematician and computer scientist. Beginning in the late 1960s, Chaitin made contributions to algorithmic information theory and metamathematics, in particular a computer-theoretic result equivalent to Gödel's incompleteness theorem. He is considered to be one of the founders of what is today known as Kolmogorov (or Kolmogorov-Chaitin) complexity together with Andrei Kolmogorov and Ray Solomonoff. Today, algorithmic information theory is a common subject in any computer science curricula.

Contents

  • Mathematics and computer science 1
  • Other scholarly contributions 2
  • Honors 3
  • Criticism 4
  • See also 5
  • Bibliography 6
  • Notes 7
  • References 8
  • External links 9

Mathematics and computer science

He attended the Bronx High School of Science and City College of New York, where he (still in his teens) developed the theory that led to his independent discovery of Kolmogorov complexity.[2][3]

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.

He was formerly a researcher at IBM's Thomas J. Watson Research Center in New York and remains an emeritus researcher. He has written more than 10 book titles that have been translated to about 15 languages. He is today interested in questions of metabiology and information-theoretic formalizations of the theory of evolution.

Other scholarly contributions

Chaitin also writes about philosophy, especially metaphysics and philosophy of mathematics (particularly about epistemological matters in mathematics). In metaphysics, Chaitin claims that algorithmic information theory is the key to solving problems in the field of biology (obtaining a formal definition of 'life', its origin and evolution) and neuroscience (the problem of consciousness and the study of the mind).

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, they're true by accident. They are random mathematical facts". Chaitin proposes that mathematicians must abandon any hope of proving those mathematical facts and adopt a quasi-empirical methodology.

Honors

In 1995 he was given the degree of doctor of science honoris causa by the University of Maine. In 2002 he was given the title of honorary professor by the University of Buenos Aires in Argentina, where his parents were born and where Chaitin spent part of his youth. In 2007 he was given a Leibniz Medal by Wolfram Research. In 2009 he was given the degree of doctor of philosophy honoris causa by the National University of Córdoba. He was formerly a researcher at IBM's Thomas J. Watson Research Center and is now a professor at the Federal University of Rio de Janeiro.

Criticism

Some philosophers and logicians strongly disagree with the philosophical conclusions that Chaitin has drawn from his theorems.[4] The logician Torkel Franzén[5] criticized Chaitin’s interpretation of Gödel's incompleteness theorem and the alleged explanation for it that Chaitin’s work represents.

See also

Bibliography

Notes

  1. ^ Gregory Chaitin (2007), Algorithmic information theory: "Chaitin Research Timeline"
  2. ^ Li; Vitanyi (1997), An Introduction to Kolmogorov Complexity and Its Applications, Springer, p. 92, G.J.Chaitin had finished the Bronx High School of Science, and was an 18-year-old undergraduate student at City College of the City University of New York, when he submitted two papers.... In his [second] paper, Chaitin puts forward the notion of Kolmogorov complexity.... 
  3. ^ Chaitin, G. J. (October 1966), "On the Length of Programs for Computing Finite Binary Sequences", Journal of the ACM 13 (4): 547–569,  
  4. ^ Panu Raatikainen, "Exploring Randomness and The Unknowable" of the American Mathematical SocietyNotices Book Review October 2001.
  5. ^  

References

  • Pagallo, Ugo (2005), ]Introduction to Digital Philosophy: From Leibniz to Chaitin [Introduzione alla filosofia digitale. Da Leibniz a Chaitin (in Italian), G. Giappichelli Editore,  
  • Calude, Cristian S., ed. (2007), Randomness and Complexity. From Leibniz to Chaitin, World Scientific,  

External links

  • G J Chaitin Home Page
  • List of publications of G J Chaitin
  • Video of lecture on metabiology: "Life as evolving software" on YouTube
  • Video of lecture on "Leibniz, complexity and incompleteness"
  • Works by or about Gregory Chaitin in libraries (WorldCat catalog)
  • New Scientist article (March, 2001) on Chaitin, Omegas and Super-Omegas
  • A short version of Chaitin's proof
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.