Mathematical Intuitionism by Carl Posy
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.| SKU | Unavailable |
| ISBN 13 | 9781108723022 |
| ISBN 10 | 1108723020 |
| Title | Mathematical Intuitionism |
| Author | Carl Posy |
| Series | Elements In The Philosophy Of Mathematics |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 2020-11-12 |
| Number of pages | 75 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |