BROUWER LUITZEN (1881-1966)
Logicien et mathématicien hollandais, né à Amsterdam, Brouwer est l'un des fondateurs de la topologie algébrique. Il en a démontré l'un des plus beaux théorèmes, le théorème du point fixe, dont les applications et généralisations, de la théorie des jeux aux équations différentielles, se sont révélées fondamentales. Après 1907, à partir d'une philosophie originale du raisonnement mathématique, il développe l'intuitionnisme, devenu aujourd'hui, sans doute contre sa volonté, une des grandes branches formalisées de la logique ; mais Brouwer ne réussit pas à imposer les mathématiques intuitionnistes, qui demeurent un objet de curiosité.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Gabriel SABBAGH : docteur ès sciences, professeur de mathématiques à l'université de Paris-VII
Classification
Autres références
-
HILBERT DAVID (1862-1943)
- Écrit par Rüdiger INHETVEEN , Jean-Michel KANTOR et Christian THIEL
- 14 726 mots
- 2 médias
Ainsi, dans toute étude concrète d'un système d'axiomes, il faut distinguer un langage objet et un métalangage ; L. Brouwer contesta à Hilbert la priorité de cette idée, sans se douter que G. Frege, entre 1893 et 1903, avait déjà développé de façon très claire les idées fondamentales d'une telle... -
INTUITIONNISME
- Écrit par Jacques-Paul DUBUCS
- 1 647 mots
Compte tenu de cette accessibilité, l'idée d'une vérité mathématique inconnue est absurde : comme l'écrit en 1948 le Néerlandais Luitzen Egbertus Brouwer (1881-1966), créateur et promoteur de la doctrine, « il n'y a pas de vérité sans expérience de la vérité ». -
MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA
- Écrit par Jean-Michel SALANSKIS
- 2 878 mots
...s'il a donné lieu, lui aussi, à des formulations d'espèce logico-analytique, lui donnant droit de cité au sein de l'ensemble que nous venons d'évoquer : c'est le courant intuitionniste, issu de la réflexion rebelle du mathématicien Luitzen E. J. Brouwer (1881-1966) au début du xxe siècle, et... -
MATHÉMATIQUES FONDEMENTS DES
- Écrit par Jean Toussaint DESANTI
- 10 434 mots
- 1 média
D'autres vont plus loin encore sur le chemin des restrictions. Ainsi Luitzen J. Brouwer, le fondateur de l'« intuitionnisme », et, partiellement, Hermann Weyl. Si l'on débarrasse l'« intuitionnisme » de ses présupposés philosophiques (d'origine kantienne, semble-t-il, mais avec un aspect psychologiste),...