Electronic Resource
Springer
International journal of theoretical physics
21 (1982), S. 941-954
ISSN:
1572-9575
Source:
Springer Online Journal Archives 1860-2000
Topics:
Physics
Notes:
Abstract Gödel's theorem may be demonstrated using arguments having an informationtheoretic flavor. In such an approach it is possible to argue 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF02084159
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |