Posy Mathematical Intuitionism

Erscheinungsjahr 2020
ISBN: 978-1-108-59325-0
Verlag: Cambridge University Press
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 0 Seiten

Reihe: Elements in the Philosophy of Mathematics

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.

Autoren/Hrsg.

Posy, Carl J.

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Philosophie der Mathematik
• Geisteswissenschaften Philosophie Philosophie der Mathematik, Philosophie der Physik

Inhaltsverzeichnis

1. Introduction: three faces of intuitionism; 2. The mathematical face of intuitionism; 3. Formalized intuitionism; 4. The intuitionistic standpoint; Afterword; Acknowledgements; Bibliography.