Mathematical Intuitionism
Seiten
2020
Cambridge University Press (Verlag)
978-1-108-72302-2 (ISBN)
Cambridge University Press (Verlag)
978-1-108-72302-2 (ISBN)
This book introduces the reader to the mathematical core of intuitionism and to the two central topics of 'formalized intuitionism'. It proposes a systematic philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.
L. E. J. Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable. He initiated a program rebuilding modern mathematics according to that principle. This book introduces the reader to the mathematical core of intuitionism – from elementary number theory through to Brouwer's uniform continuity theorem – and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis. Building on that, the book proposes a systematic, philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.
L. E. J. Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable. He initiated a program rebuilding modern mathematics according to that principle. This book introduces the reader to the mathematical core of intuitionism – from elementary number theory through to Brouwer's uniform continuity theorem – and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis. Building on that, the book proposes a systematic, philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.
1. Introduction: three faces of intuitionism; 2. The mathematical face of intuitionism; 3. Formalized intuitionism; 4. The intuitionistic standpoint; Afterword; Acknowledgements; Bibliography.
| Erscheinungsdatum | 13.11.2020 |
|---|---|
| Reihe/Serie | Elements in the Philosophy of Mathematics |
| Zusatzinfo | Worked examples or Exercises |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 151 x 228 mm |
| Gewicht | 190 g |
| Themenwelt | Mathematik / Informatik ► Mathematik |
| Naturwissenschaften | |
| ISBN-10 | 1-108-72302-0 / 1108723020 |
| ISBN-13 | 978-1-108-72302-2 / 9781108723022 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Von Logik und Mengenlehre bis Zahlen, Algebra, Graphen und …
Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
CHF 104,90
Grundlagen für das Bachelor-Studium
Buch | Hardcover (2023)
Hanser (Verlag)
CHF 55,95
