ENGLISH

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

By Kurt Gödel

Book information

Publisher
Dover Publications
Year
1992
ISBN
0486669807, 9780486669809
LCC
QA248 .G573 1992
Language
english
Format
DJVU
Filesize
657 kB (673024 bytes)
Pages
79\79
Library
kolxoz
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2009-07-20 03:45:11
Философские дисциплины;Логика

Description

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.

Similar books