Mathematical Intuitionism Paperback / softback
by Carl J. (Hebrew University of Jerusalem) Posy
Part of the Elements in the Philosophy of Mathematics series
Paperback / softback
- Information
Description
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.
Information
-
Out of StockMore expected soonContact us for further information
- Format:Paperback / softback
- Pages:75 pages, Worked examples or Exercises
- Publisher:Cambridge University Press
- Publication Date:12/11/2020
- Category:
- ISBN:9781108723022
Information
-
Out of StockMore expected soonContact us for further information
- Format:Paperback / softback
- Pages:75 pages, Worked examples or Exercises
- Publisher:Cambridge University Press
- Publication Date:12/11/2020
- Category:
- ISBN:9781108723022
