At the Heart of Analysis: Intuitionism and Philosophy
Résumé
One’s first impression is that Brouwer’s Continuity Theorem of intuitionistic analysis, that every total, real-valued function of a real variable is continuous, stands in straightforward contradiction to a simple theorem of conventional real analysis, that there are discontinuous, real-valued functions. Here we argue that, despite philosophical views to the contrary, first impressions are not misleading; the Brouwer Theorem, together with its proof, presents mathematicians and philosophers of mathematics with an antimony, one that can only be resolved by a close, foundational study of the structure of the intuitive continuum.
Notes de l’auteur
For Dirk van Dalen
Victrix causa deis placuit sed vieta Catoni
Pour citer cet article
Référence papier
Charles McCarty, « At the Heart of Analysis: Intuitionism and Philosophy », Philosophia Scientiæ, CS 6 | 2006, 81-94.
Référence électronique
Charles McCarty, « At the Heart of Analysis: Intuitionism and Philosophy », Philosophia Scientiæ [En ligne], CS 6 | 2006, mis en ligne le 01 septembre 2009, consulté le 19 mars 2024. URL : http://journals.openedition.org/philosophiascientiae/411 ; DOI : https://doi.org/10.4000/philosophiascientiae.411
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page