Navigation – Plan du site

Brouwer’s Real Thesis on Bars

Wim Veldman
p. 21-42

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.

Haut de page

Pour citer cet article

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 25 juillet 2017. URL : http://philosophiascientiae.revues.org/404 ; DOI : 10.4000/philosophiascientiae.404

Haut de page

Auteur

Wim Veldman

Radboud University Nijmegen

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page