Mathematical Intuitionism

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.

List of contents

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

Summary

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.

Product details

• Authors: Carl J Posy, Carl J. Posy, Carl J. (Hebrew University of Jerusalem) Posy, Posy Carl J.
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 30.11.2020
• EAN: 9781108723022
• ISBN: 978-1-108-72302-2
• No. of pages: 75
• Series: Elements in the Philosophy of; Elements in the Philosophy of Mathematics
• Subjects: Natural sciences, medicine, IT, technology > Natural sciences (general); MATHEMATICS / History & Philosophy, Mathematics, Philosophy of Mathematics