Mathematical Intuitionism Elements in the Philosophy of Mathematics Series
Langue : Anglais
Auteur : Posy Carl J.
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.
1. Introduction: three faces of intuitionism; 2. The mathematical face of intuitionism; 3. Formalized intuitionism; 4. The intuitionistic standpoint; Afterword; Acknowledgements; Bibliography.
Date de parution : 11-2020
Ouvrage de 75 p.
15.1x22.8 cm
Disponible chez l'éditeur (délai d'approvisionnement : 14 jours).
Prix indicatif 22,46 €
Ajouter au panierThème de Mathematical Intuitionism :
© 2024 LAVOISIER S.A.S.