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
PDF
Filesize
4 MB (4168847 bytes)
Pages
79\79
Topic
Mathematics Logic
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2010-02-18 13:16:04

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