Mathematical Intuitionism (Elements in the Philosophy of Mathematics)
Carl J. Posy
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.
Kategorien:
Jahr:
2020
Verlag:
Cambridge University Press
Sprache:
english
Seiten:
116
ISBN 10:
1108723020
ISBN 13:
9781108723022
Datei:
PDF, 2.88 MB
IPFS:
,
english, 2020
Amazon 
Barnes & Noble 
Bookshop.org
Möchten Sie Ihren Buchladen hinzufügen? Kontaktieren Sie uns unter support@z-lib.fm
Konvertieren Sie Dateien
Mehr Suchergebnisse
Andere Vorteile 
Am meisten angefragte Begriffe
Verbundene Bücherlisten
