On Formally Undecidable Propositions of Principia...

Main
Mathematics - Logic
On Formally Undecidable Propositions of...

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Name: On Formally Undecidable Propositions of Principia Mathematica and Related Systems
ISBN: 9780486669809

Kurt Gödel

3.0 / 0

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

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.

კატეგორია:

Mathematics - Logic

წელი:

1992

გამომცემლობა:

Dover Publications

ენა:

english

გვერდები:

ISBN 10:

0486669807

ISBN 13: