Mathematical intuitionism

Author(s)

• Posy, Carl J.

Bibliographic Information

Mathematical intuitionism

Carl J. Posy

（Cambridge elements, . Elements in philosophy of mathematics）

Cambridge University Press, 2020

• : pbk

Note

Includes bibliographical references (p. [100]-107)

Description and Table of Contents

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.

Table of Contents

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

by "Nielsen BookData"

• NCID: BC03191898
• ISBN:
  • 9781108723022
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: 107 p.
• Size: 23 cm
• Classification:
  • DC23 : 511.36
• Subject Headings:
  • LCSH : Intuitionistic mathematics
• Parent Bibliography ID:
  • BB27097387