Mathematical Intuitionism (Paperback) (ISBN-13: 9781108723022)

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.

Author: Carl J. Posy
ISBN-10: 1108723020
ISBN-13: 9781108723022
Publisher: Cambridge University Press
Language: English
Published: 11/12/2020
Pages: 75
Format: Paperback
Weight: 0.36lbs
Size: 9.00h x 6.00w x 0.24d