
Mathematical Intuitionism
Carl J. Posy(Author)
Cambridge University Press
Published on 12. November 2020
Book
Paperback/Softback
116 pages
978-1-108-72302-2 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Product notice
Paperback (trade)
Illustrations
Worked examples or Exercises
Dimensions
Height: 233 mm
Width: 152 mm
Thickness: 33 mm
Weight
172 gr
ISBN-13
978-1-108-72302-2 (9781108723022)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Carl J. Posy
Mathematical Intuitionism
E-Book
11/2020
Cambridge University Press
€15.49
Available for download
Person
Content
1. Introduction: three faces of intuitionism; 2. The mathematical face of intuitionism; 3. Formalized intuitionism; 4. The intuitionistic standpoint; Afterword; Acknowledgements; Bibliography.