Elements of Intuitionism
Seiten
2000
|
2nd Revised edition
Oxford University Press (Verlag)
978-0-19-850524-2 (ISBN)
Oxford University Press (Verlag)
978-0-19-850524-2 (ISBN)
This is a new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader through the basic mathematical and philosophical concepts. Topics like the Bar Theorem, valuation systems and first-order logic have been revised.
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism. From reviews of the first edition: This excellent book can be recommended to the student of mathematics or philosophy wishing to get a comprehensive and reliable introduction to modern intuitionism. Zentralblatt für Mathematik The relevance of this book extends well beyond the confines of the philosophy of mathematics, right to the centre of debates in the philosophy of language. Philosophical Books . . . a valuable and original contribution to the philosophy of mathematics. Journal of Symbolic Logic
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism. From reviews of the first edition: This excellent book can be recommended to the student of mathematics or philosophy wishing to get a comprehensive and reliable introduction to modern intuitionism. Zentralblatt für Mathematik The relevance of this book extends well beyond the confines of the philosophy of mathematics, right to the centre of debates in the philosophy of language. Philosophical Books . . . a valuable and original contribution to the philosophy of mathematics. Journal of Symbolic Logic
Introductory remarks ; 1. Preliminaries ; 2. Elementary intuitionistic mathematics ; 3. Choice sequences and spreads ; 4. The formalization of intuitionistic logic ; 5. The semantics of intuitionistic logic ; 6. Some further topics ; 7 Concluding philosophical remarks ; Bibliography ; Index
| Erscheint lt. Verlag | 15.6.2000 |
|---|---|
| Reihe/Serie | Oxford Logic Guides ; 39 |
| Zusatzinfo | line figures |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 162 x 241 mm |
| Gewicht | 674 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-19-850524-8 / 0198505248 |
| ISBN-13 | 978-0-19-850524-2 / 9780198505242 |
| 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
