Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Gödel's Theorem and Information

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html

Author:Gregory J. Chaitin
Description: Gödel's theorem may be demonstrated using arguments having an information-theoretic flavor arguing that if a theorem contains more information than a given set of axioms, then it is impossible for the theorem to be derived from the axioms. In contrast with the traditional proof based on the paradox of the liar, this new viewpoint suggests that the incompleteness phenomenon discovered by Gödel is natural and widespread rather than pathological and unusual. Published in the International Journal of Theoretical Physics 22 (1982), pp. 941-954.

Levels: College
Languages: English
Resource Types: Articles
Math Topics: Logic/Foundations, Philosophy

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.