Mathematical Intuitionism
Author(s): Carl J. Posy
Quantity
Pickup available at Cambridge University Press Bookshop
Usually ready in 24 hours
Mathematical Intuitionism
Cambridge University Press Bookshop
1-2 Trinity Street
Cambridge CB2 1SZ
United Kingdom
🚚 Please note we can only ship within the UK.
FREE delivery on books (excluding sale).
Delivery for other items is £1.50 - £4.50, calculated at checkout.
T&Cs apply.
Free click & collect on all orders.
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.
Choose options