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.
By:
Carl J. Posy (Hebrew University of Jerusalem) Imprint: Cambridge University Press Country of Publication: United Kingdom Dimensions:
Height: 228mm,
Width: 151mm,
Spine: 7mm
Weight: 190g ISBN:9781108723022 ISBN 10: 1108723020 Series:Elements in the Philosophy of Mathematics Pages: 75 Publication Date:12 November 2020 Audience:
Professional and scholarly
,
Undergraduate
Format:Paperback Publisher's Status: Active
1. Introduction: three faces of intuitionism; 2. The mathematical face of intuitionism; 3. Formalized intuitionism; 4. The intuitionistic standpoint; Afterword; Acknowledgements; Bibliography.