• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Mathematical Intuitionism

Mathematical Intuitionism

Paperback

Series: Elements in the Philosophy of Mathematics

History & Philosophy of Science

ISBN10: 1108723020
ISBN13: 9781108723022
Publisher: Cambridge University Press
Published: Nov 12 2020
Pages: 116
Weight: 0.36
Height: 0.24 Width: 6.00 Depth: 9.00
Language: English
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.

Also in

History & Philosophy of Science