Name: on formally undecidable propositions of principia mathematica and related systems
Price: 8.99 GBP
Availability: InStock
Author: kurt godel,b. (trn) meltzer
ISBN: 9780486669809

portada on formally undecidable propositions of principia mathematica and related systems

Type

Physical Book

Publisher

dover pubns

Author

kurt godel,b. (trn) meltzer

Year

1992

Language

English

Pages

ISBN

0486669807

ISBN13

9780486669809

Synopsis "on formally undecidable propositions of principia mathematica and related systems"

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.