On Formally Undecidable Propositions of Principia Mathematica and Related Systems
豆瓣
ISBN: 9780486669809
作者:
Kurt Gödel
出版社:
Dover Publications
發行時間: 1992
-4
價格: USD 6.95
頁數: 80
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.