Principles of Mathematical Logic
Seiten
1999
American Mathematical Society (Verlag)
978-0-8218-2024-7 (ISBN)
American Mathematical Society (Verlag)
978-0-8218-2024-7 (ISBN)
David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This text presents his treatment of symbolic logic. It lays the groundwork for his later work with Bernays.
David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This now classic text is his treatment of symbolic logic. It lays the groundwork for his later work with Bernays. This translation is based on the second German edition, and has been modified according to the criticisms of Church and Quine. In particular, the authors' original formulation of Godel's completeness proof for the predicate calculus has been updated. In the first half of the twentieth century, an important debate on the foundations of mathematics took place. ""Principles of Mathematical Logic"" represents one of Hilbert's important contributions to that debate. Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This now classic text is his treatment of symbolic logic. It lays the groundwork for his later work with Bernays. This translation is based on the second German edition, and has been modified according to the criticisms of Church and Quine. In particular, the authors' original formulation of Godel's completeness proof for the predicate calculus has been updated. In the first half of the twentieth century, an important debate on the foundations of mathematics took place. ""Principles of Mathematical Logic"" represents one of Hilbert's important contributions to that debate. Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
The sentential calculus The calculus of classes (monadic predicate calculus) The restricted predicate calculus The extended predicate calculus Editor's notes Bibliography Index.
| Erscheint lt. Verlag | 1.1.2000 |
|---|---|
| Reihe/Serie | AMS Chelsea Publishing |
| Verlagsort | Providence |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-8218-2024-9 / 0821820249 |
| ISBN-13 | 978-0-8218-2024-7 / 9780821820247 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
