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

 

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
© 2016, Encyclopædia Universalis France. Tous droits de propriété industrielle et intellectuelle réservés.