Errett Bishop

En 1967, le mathématicien américain Errett Bishop publie Foundations of Constructive Analysis. Son idée directrice est de ne pas se contenter d'affirmer qu'un objet mathématique existe : la démonstration doit l'établir de manière constructive.

Bishop montre ainsi que des résultats fondamentaux de l'analyse classique peuvent être repris sans recourir à l'axiome du choix ni à des raisonnements d'existence non constructifs. Cette démarche nourrit une vive polémique, mais remet aussi au premier plan les liens entre fondements mathématiques et procédés algorithmiques.

Errett Bishop (1928-1983) est un mathématicien américain associé au renouveau des mathématiques constructives. Dans Foundations of Constructive Analysis, publié en 1967, il défend et illustre une reconstruction constructive de résultats fondamentaux de l'analyse classique. Dans le cadre décrit par la source, cela signifie éviter le recours à l'axiome du choix et aux raisonnements qui affirment une existence sans construction.

L'enjeu n'est donc pas de changer les objets de l'analyse, mais les moyens admis pour établir les résultats. L'approche de Bishop s'oppose sur ce point à la pratique classique fondée sur la logique classique et sur des principes non effectifs. Elle met en avant une lecture constructive et algorithmique des fondements mathématiques.

Des adversaires ont parfois qualifié cette démarche d'intuitionisme. La source précise toutefois que les mathématiques constructives de Bishop s'en distinguent sur plusieurs points, sans détailler ici ces différences : les deux étiquettes ne sont donc pas interchangeables. La polémique suscitée par son programme n'a pas empêché celui-ci de renouveler l'intérêt pour les fondements constructifs et algorithmiques.

Voici un mini-cas pédagogique, distinct d'un résultat attribué à l'ouvrage. Proposition : il existe un entier pair strictement supérieur à 10. Construction proposée : prendre 12 ; la vérification est immédiate, car 12 = 2 × 6 et 12 > 10. L'entrée est donc une affirmation accompagnée d'un objet effectivement fourni ; la sortie attendue est le constat que la construction 12 satisfait bien la propriété.

1. La proposition à établir est : « il existe un entier pair strictement supérieur à 10 ».
2. L'objet recherché est fourni explicitement : c'est 12.
3. La construction est vérifiable : 12 = 2 × 6 montre que 12 est pair, et 12 > 10 montre qu'il dépasse 10.
4. La sortie du contrôle est donc positive : l'objet et le procédé de vérification sont présents, au lieu d'une simple affirmation d'existence.
5. Ce contrôle illustre une grille de lecture constructive, sans attribuer ce cas pédagogique ni ce raisonnement à l'ouvrage de Bishop.

Le contrôle consiste à ne pas conclure que Bishop rejette les résultats fondamentaux de l'analyse. La source affirme au contraire qu'il cherche à les établir autrement. Le schéma de synthèse rend visible cette différence entre résultats visés et moyens de preuve.

Devant une preuve d'existence, la question constructive porte sur ce que l'argument fournit effectivement. Si le raisonnement affirme seulement qu'un objet doit exister, l'alternative est de chercher une construction qui permette de l'établir sans principe non effectif.

Pour lire l'histoire de l'analyse, le critère utile est le type de fondements revendiqué. Une présentation fondée sur la logique classique relève de l'approche classique ; le programme de Bishop cherche, lui, une formulation constructive des résultats fondamentaux.

Dans une recherche documentaire, le titre Foundations of Constructive Analysis sert de repère précis : il associe Bishop, l'année 1967 et l'analyse constructive. Si la recherche porte plutôt sur la notion voisine qui lui a été opposée, l'entrée consacrée à l'intuitionnisme fournit le bon prolongement.

Mathématiques constructives de Bishop et intuitionisme. Des adversaires ont employé le mot « intuitionisme » pour qualifier la démarche de Bishop, mais la source indique qu'elle s'en distingue sur plusieurs points. Lorsque l'étiquette est utilisée comme un synonyme parfait, il faut rétablir cette différence plutôt que fusionner les deux approches.

Mathématiques classiques et mathématiques constructives. La différence rapportée porte sur les principes de preuve admis, non sur l'existence de deux domaines sans rapport. Le cas qui tranche est l'ouvrage de 1967 : Bishop cherche à établir constructivement des résultats fondamentaux de l'analyse classique.

Une étiquette polémique n'est pas une définition. Le symptôme du piège est l'emploi d'« intuitionisme » sans réserve pour résumer Bishop. Il faut conserver la formulation historique de la source : l'étiquette vient de ses adversaires et masque plusieurs différences.

« Constructif » ne signifie pas « élémentaire ». La source parle de résultats fondamentaux de l'analyse, et non d'une réduction à des exemples simples. Il faut examiner les principes de preuve employés au lieu de juger le niveau de difficulté du résultat.

1967 date l'ouvrage, pas toute la démarche. La date est associée précisément à la publication de Foundations of Constructive Analysis. Il faut éviter de lui rattacher sans source chaque épisode de la polémique ou chaque développement ultérieur des fondements constructifs.

Le renouvellement d'un intérêt n'est pas une victoire unanime. La source associe la démarche à une vive polémique tout en soulignant son influence sur les fondements constructifs et algorithmiques. Il faut garder ensemble ces deux effets au lieu d'effacer l'un au profit de l'autre.

axiome du choix — Identifier le principe que le programme constructif décrit dans la source cherche à éviter.

Intuitionnisme — Examiner l'approche voisine dont les adversaires de Bishop ont rapproché ses mathématiques constructives.

algorithmique — Prolonger le lien entre construction effective et intérêt renouvelé pour les fondements algorithmiques.