BOUTIQUECONTACTASSISTANCE
Zone de recherche

AltasAuteursRecherche thématiqueDictionnaire

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é.

Gabriel SABBAGH

Pour citer cet article

Gabriel SABBAGH, « BROUWER LUITZEN - (1881-1966)  », Encyclopædia Universalis [en ligne], consulté le  . URL : http://www.universalis.fr/encyclopedie/luitzen-brouwer/

Classification thématique de cet article :

 

Offre essai 7 jours

« BROUWER LUITZEN (1881-1966) » est également traité dans :

HILBERT DAVID (1862-1943)

Écrit par :  Rüdiger INHETVEENJean-Michel KANTORChristian THIEL

Dans le chapitre "Programme de Hilbert et théorie de la démonstration"  : …  é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 « théorie de la démonstration » ou « métamathématique », mais sans… Lire la suite
INTUITIONNISME

Écrit par :  Jacques-Paul DUBUCS

Dans le chapitre "L'intuitionnisme de Brouwer"  : …  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é ». Le rôle du langage est considéré comme mineur : il est restreint à la mémorisation des résultats de l'activité… Lire la suite
LOGIQUE MATHÉMATIQUE

Écrit par :  Daniel ANDLERRoger MARTIN

…  logique des mathématiques sera toujours inadéquate ? L'intuitionnisme issu des travaux de L. E. J. *Brouwer et de son école l'affirme et limite sa confiance à la partie des mathématiques qu'on peut construire par des procédés qu'il s'agit alors de préciser. – En quel sens et dans quelle mesure la logique peut-elle espérer fonder… Lire la suite
MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA

Écrit par :  Jean-Michel SALANSKIS

Dans le chapitre "Courant intuitionniste"  : …  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 de son débat intense et houleux avec David Hilbert (1862-1943), le père de la… Lire la suite
MATHÉMATIQUES FONDEMENTS DES

Écrit par :  Jean Toussaint DESANTI

Dans le chapitre "Les problèmes d'existence : intuitionnisme et formalisme"  : …  de praticien. 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), il en reste l'idée de l'… Lire la suite
OBJET

Écrit par :  Gilles Gaston GRANGER

Dans le chapitre "Logicisme et intuitionnisme"  : …  ne répond pas à ses exigences et introduit des objets qu'il ne saurait recevoir tels quels.* L'exemple classique proposé par Brouwer est le suivant. Appelons p le nombre tel que la p-ième décimale dans le développement de π précède pour la première fois la séquence (0, 1, 2, 3, 4, 5, 6, 7, 8, 9). Formons la suite aLire la suite
VÉRITÉ, mathématique

Écrit par :  Jean-Paul DELAHAYE

Dans le chapitre "Intuitionnisme"  : …  présente dans la mémoire d'un ordinateur ou sur les pages d'un livre, elle est « dans le monde ». *À l'inverse, l'intuitionnisme, né de la pensée de Luitzen Brouwer (1881-1966), conçoit l'activité mathématique comme une activité mentale. Aujourd'hui associé au constructivisme, l'intuitionnisme mathématique est une conception fondée sur le fini des… Lire la suite

Afficher la liste complète (7 références)

 

Voir aussi

 

Accueil - Contact - Mentions légales
Consulter les articles d'Encyclopædia Universalis : 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Consulter le dictionnaire de l'Encyclopædia Universalis
Consulter les articles d'Encyclopædia Britannica.
© 2014, Encyclopædia Universalis France. Tous droits de propriété industrielle et intellectuelle réservés.

chargement du média