Navigation – Plan du site

AccueilCahiers spéciauxCS 6Brouwer’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.

Haut de page

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 page

Auteur

Wim Veldman

Radboud University Nijmegen

Haut de page

Droits 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
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search