Brouwer’s Real Thesis on Bars
Résumé
L.E.J. Brouwer made a mistake in the formulation of his famous bar theorem, as was pointed out by S.C. Kleene. By repeating this mistake several times, Brouwer has caused confusion. We consider the assumption underlying his bar theorem, calling it Brouwer’s Thesis. This assumption is not refuted by Kleene’s example and we use it to obtain a conclusion different from Brouwer’s. Thus we come to support a view first expressed and defended by E. Martino and P. Giaretta in [Martino 1981]. We also indicate that Brouwer’s Thesis has many more applications than Brouwer dreamt of.
Pour citer cet article
Référence papier
Wim Veldman, « Brouwer’s Real Thesis on Bars », Philosophia Scientiæ, CS 6 | 2006, 21-42.
Référence électronique
Wim Veldman, « Brouwer’s Real Thesis on Bars », Philosophia Scientiæ [En ligne], CS 6 | 2006, mis en ligne le 01 septembre 2009, consulté le 28 mars 2024. URL : http://journals.openedition.org/philosophiascientiae/404 ; DOI : https://doi.org/10.4000/philosophiascientiae.404
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