Αρχική / Θετικές Επιστήμες / Φιλοσοφία των Επιστημών / Mathematical Intuitionism

Mathematical Intuitionism

ΣΥΓΓΡΑΦΕΑΣ
Τιμή
18,30 €
20,40 € -10%
Διαθέσιμο κατόπιν παραγγελίας
Αποστέλλεται σε 15 - 25 ημέρες.

Προσθήκη στα αγαπημένα

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.

Συγγραφέας: Posy Carl
Εκδότης: CAMBRIDGE UNIVERSITY PRESS
Σελίδες: 116
ISBN: 9781108723022
Εξώφυλλο: Μαλακό Εξώφυλλο
Αριθμός Έκδοσης: 1
Έτος έκδοσης: 2020

1. Introduction: three faces of intuitionism
2. The mathematical face of intuitionism
3. Formalized intuitionism
4. The intuitionistic standpoint
Afterword
Acknowledgements
Bibliography.

Carl J. PosyHebrew University of Jerusalem

Σας προτείνουμε

Newsletter

Εγγραφείτε στο newsletter για να λαμβάνετε πρώτοι τις νέες κυκλοφορίες και τις προσφορές μας
Ο λογαριασμός σας Τα αγαπημένας σας

Αυτός ο ιστότοπος χρησιμοποιεί cookies

Χρησιμοποιούμε cookies για να έχετε μια προσωποποιημένη εμπειρία, την εξατομίκευση περιεχομένου και διαφημίσεων, την παροχή λειτουργιών social media και την ανάλυση της επισκεψιμότητάς μας. Επιπλέον, μοιραζόμαστε πληροφορίες για τον τρόπο που χρησιμοποιείτε τον ιστότοπό μας με συνεργάτες social media, διαφήμισης και αναλύσεων.