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

Carte mentale

Élargissez votre recherche dans Universalis

Écrit par :

  • : docteur ès sciences, professeur de mathématiques à l'université de Paris-VII

Classification


Autres références

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

HILBERT DAVID (1862-1943)

  • Écrit par 
  • Rüdiger INHETVEEN, 
  • Jean-Michel KANTOR, 
  • Christian THIEL
  •  • 14 855 mots
  •  • 1 média

Dans le chapitre « Programme de Hilbert et théorie de la démonstration »  : […] 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 exprimer encore la […] Lire la suite☛ http://www.universalis.fr/encyclopedie/david-hilbert/#i_35317

INTUITIONNISME

  • Écrit par 
  • Jacques-Paul DUBUCS
  •  • 1 654 mots

Dans le chapitre « L'intuitionnisme de Brouwer »  : […] 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é […] Lire la suite☛ http://www.universalis.fr/encyclopedie/intuitionnisme/#i_35317

MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA

  • Écrit par 
  • Jean-Michel SALANSKIS
  •  • 2 877 mots

Dans le chapitre « Courant intuitionniste »  : […] 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 de son débat intense et houleux avec David Hilbert […] Lire la suite☛ http://www.universalis.fr/encyclopedie/epistemologie-de-la-mathematique/#i_35317

MATHÉMATIQUES FONDEMENTS DES

  • Écrit par 
  • Jean Toussaint DESANTI
  •  • 10 438 mots
  •  • 1 média

Dans le chapitre « Les problèmes d'existence : intuitionnisme et formalisme »  : […] 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 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/fondements-des-mathematiques/#i_35317

OBJET

  • Écrit par 
  • Gilles Gaston GRANGER
  •  • 8 222 mots

Dans le chapitre « Logicisme et intuitionnisme »  : […] sens qui peuvent varier selon les doctrines, l'objet et la propriété sont effectivement présentés à la pensée et construits. L'intuitionnisme établit ainsi qu'une partie importante de l'analyse classique 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 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/objet/#i_35317

VÉRITÉ, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 1 301 mots

Dans le chapitre « Intuitionnisme »  : […] qu'elle soit 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 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/verite-mathematique/#i_35317

Pour citer l’article

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