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.
Read More ↓Edition Statements
- Publication Date:2020
Publication Statements
- Publisher(s):Cambridge University Press
- Place of Publication:Cambridge
- Language:eng
- Publication Date:2020
Notes
Title from publisher's bibliographic system (viewed on 29 Oct 2020).
The Physical Object
- Description:1 online resource (107 pages) : PDF file(s).
Edition Identifiers
- ISBN:9781108674485, 1108674488, 9781108723022, 1108723020
- DOI:10.1017/9781108674485
- oclc:on1226408910
- Dewey Decimal:510.1
Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Rate & Review