Mathematical intuitionism
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 analys…
Read More ↓Title Statements
- Full title :Mathematical intuitionism / Carl J. Posy.
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.--Provided by publisher.
Read More ↓Edition Statements
- Publication Date:2020.
Publication Statements
- Publisher(s):Cambridge University Press
- Place of Publication:Cambridge
- Language:eng
- Publication Date:2020.
The Physical Object
- Description:107 pages ; : 22 cm.
Edition Identifiers
- ISBN:1108723020, 9781108723022
- oclc:on1199056157
- LC Classification:QA8.4
- Dewey Decimal:511.36
Table of Contents
1. Introduction : three faces of intuitionism -- 2. The mathematical face of intuitionism -- 3. Formalized intuitionism -- 4. The intuitionistic standpoint -- Afterword.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
The selected correspondence of L.E.J. Brouwer
Brouwer, L. E. J., (Luitzen Egbertus Jan)
Choice sequences: a chapter of intuitionistic mathematics
Troelstra, A. S., (Anne Sjerp)
Choice sequences: a chapter of intuitionistic mathematics
Troelstra, A.S., (Anne Sjerp)
The selected correspondence of L.E.J. Brouwer
Brouwer, L. E. J., (Luitzen Egbertus Jan)
Rate & Review