On formally undecidable propositions of Principia mathematica and related systems
Kurt Gödel
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.
Kategorije:
Godina:
1992
Izdavač:
Dover Publications
Jezik:
english
Strane:
79
ISBN 10:
0486669807
ISBN 13:
9780486669809
Fajl:
DJVU, 579 KB
IPFS:
,
english, 1992
Amazon 
Barnes & Noble 
Bookshop.org 
File converter
Više rezultata pretrage
More benefits 
![Gödel's Theorem [An Incomplete Guide To Its Use And Abuse] — Gödel's Theorem [An Incomplete Guide To Its Use And Abuse]](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/30f93cd5ba80d51c73279e770601461f14e2c4629b8d13fccdd751a317522edf.jpg)
