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. Les mer
285,-
Paperback
Sendes innen 21 dager
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.
Detaljer
- Forlag
- Cambridge University Press
- Innbinding
- Paperback
- Språk
- Engelsk
- ISBN
- 9781108723022
- Utgivelsesår
- 2020
- Format
- 23 x 15 cm