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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!