INTUITIONNISME

Carte mentale

Élargissez votre recherche dans Universalis

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

Le rôle du langage est considéré comme mineur : il est restreint à la mémorisation des résultats de l'activité mathématique individuelle de construction et à sa communication à autrui. D'une part, un mathématicien qui serait doué d'une mémoire parfaite pourrait parfaitement opérer sans langage, d'autre part, la connaissance des transcriptions linguistiques des constructions d'autrui ne saurait tenir lieu de connaissance mathématique : la vérité communiquée demande à être rééprouvée pour soi-même, et les constructions à être refaites pour son propre compte.

C'est dire que l'intuitionnisme est une doctrine massivement hétérodoxe, qui contredit l'opinion reçue selon laquelle les mathématiques sont une science objective, dont les propositions sont vraies ou fausses selon qu'elles sont conformes ou non à certains états de choses mathématiques sui generis, et dont les preuves peuvent être communiquées intégralement et sans résidu par le biais de leur écriture dans des systèmes formels de type approprié. Nulle surprise, dans ces conditions, si la logique répondant aux principes intuitionnistes est en large désaccord avec la logique « classique », pour laquelle une proposition est vraie ou fausse de manière absolue et déterminée, indépendamment de nos moyens de reconnaître quel est effectivement le cas.

La différence la plus notoire tient au principe du tiers exclu, A ∨ ¬A (« A ou non A »), qui est classiquement correct, mais que l'intuitionnisme rejette. Si toutes les vérités doivent être connues ou éprouvées, il n'y a aucune raison d'admettre qu'un énoncé est vrai ou faux, lorsqu'il porte sur un domaine dans lequel n'existe aucune procédure de « décision » p [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 3 pages




Écrit par :

Classification


Autres références

«  INTUITIONNISME  » est également traité dans :

BOREL ÉMILE (1871-1956)

  • Écrit par 
  • Maurice FRÉCHET
  •  • 2 309 mots

Dans le chapitre « Le philosophe »  : […] Borel a consacré une cinquantaine d'articles à la philosophie et à l'histoire des sciences, à la psychologie, à la pédagogie et à l'économie politique. Fervent défenseur de la conception intuitionniste des mathématiques, il a toujours insisté sur la nécessité de ne jamais perdre de vue le « réel » : pour lui, « les mathématiques ne sont pas un jeu purement abstrait de l'esprit, mais sont, au cont […] Lire la suite☛ http://www.universalis.fr/encyclopedie/emile-borel/#i_25874

BROUWER LUITZEN (1881-1966)

  • Écrit par 
  • Gabriel SABBAGH
  •  • 117 mots

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 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/luitzen-brouwer/#i_25874

CONCEPTUALISME, philosophie

  • Écrit par 
  • Joseph VIDAL-ROSSET
  •  • 1 327 mots

Dans le chapitre « Le prédicativisme, expression logique du conceptualisme ontologique »  : […] Pour éviter toute confusion entre ces deux usages, il serait évidemment préférable de convenir de l'utiliser pour faire référence à l'une ou bien à l'autre position. Dans Nécessité ou Contingence (1984), Jules Vuillemin réserve le terme de conceptualisme à ce que l'on a appelé le conceptualisme ontologique, et utilise le terme d'intuitionnisme pour faire référence à une position philosophique qu […] Lire la suite☛ http://www.universalis.fr/encyclopedie/conceptualisme-philosophie/#i_25874

CONSTRUCTIVISME, mathématique

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

Dans le chapitre « Différentes variétés de constructivisme »  : […] De nombreuses variétés de ce constructivisme ont vu le jour depuis la fin du xix e  siècle. Parmi les plus importantes, on peut citer, par ordre approximativement chronologique : – la doctrine des « semi-intuitionnistes » français [René-Louis Baire (1874-1932), Émile Borel (1871-1956), Henri Lebesgue (1875-1941)], qui n'accorde d'existence qu'aux objets mathématiques explicitement définis ; –  le […] Lire la suite☛ http://www.universalis.fr/encyclopedie/constructivisme-mathematique/#i_25874

CONTINU & DISCRET

  • Écrit par 
  • Jean-Michel SALANSKIS
  •  • 7 679 mots

Dans le chapitre « Continu et théorie des fondements »  : […] Du double aspect du mystère du continu et du discret, la logique et la théorie des ensembles, en première approche, ne retiennent que celui qui est lié au problème de l'infini en général : le problème du continu y est envisagé comme problème du « nombre transfini » associé à l'objet de l'analyse réelle. On se contentera ici de mentionner le théorème de Lowenheim-Skolem et le résultat de Cohen au s […] Lire la suite☛ http://www.universalis.fr/encyclopedie/continu-et-discret/#i_25874

DÉMONSTRATION THÉORIE DE LA

  • Écrit par 
  • Jean-Yves GIRARD
  •  • 6 260 mots
  •  • 1 média

Dans le chapitre « L'ordinal ε0 et la ω-logique »  : […] À plusieurs reprises dans les années trente, Gentzen allait donner des démonstrations de cohérence pour l' arithmétique de Peano AP . Pour obtenir de tels résultats, il était nécessaire, par le second théorème d'incomplétude, de se servir de méthodes extérieures à l'arithmétique. Gentzen utilisa comme méthode l' induction transfinie jusqu'à ε 0 , où ε 0 est défini comme le suprémum des ordinaux ω […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/#i_25874

ÉPISTÉMOLOGIE

  • Écrit par 
  • Gilles Gaston GRANGER
  •  • 13 082 mots
  •  • 4 médias

Dans le chapitre « Sciences formelles, sciences empiriques »  : […] Le développement simultané, et parfois conjoint, d'une mathématique et d'une physique semble poser plus que jamais la question de leurs statuts respectifs et de leurs rapports instrumentaux. Les néo-positivistes du Cercle de Vienne, qui se sont explicitement posé le problème dans les années trente, l'ont généralement résolu d'une façon radicale en ramenant les sciences formelles aux règles – larg […] Lire la suite☛ http://www.universalis.fr/encyclopedie/epistemologie/#i_25874

GENTZEN GERHARD (1909-1945)

  • Écrit par 
  • Gabriel SABBAGH
  •  • 133 mots

Logicien allemand, né à Greifswald et mort à Prague lors de son emprisonnement par les Soviétiques. Gentzen a développé l'étude des systèmes de déduction naturelle et établi un théorème d'élimination des coupures. Gerhard Gentzen a également donné une démonstration de consistance de l'arithmétique du premier ordre fondée sur l'induction transfinie jusqu'au premier nombre ordinal inaccessible pour […] Lire la suite☛ http://www.universalis.fr/encyclopedie/gerhard-gentzen/#i_25874

IDÉALISME

  • Écrit par 
  • Jean LARGEAULT
  •  • 9 495 mots

Dans le chapitre « Les mathématiques et l'idéalisme »  : […] La réalité mathématique se présente sous trois aspects : entités, conceptions abstraites, symboles. Privilégier l'un de ces aspects à l'exclusion des autres donne à chaque fois une philosophie des mathématiques : platonisme ou réalisme, constructivisme, formalisme. L'attitude constructiviste, représentée par les intuitionnistes qui se rangent du côté de Luitzen Egbertus Jan Brouwer, correspond à l […] Lire la suite☛ http://www.universalis.fr/encyclopedie/idealisme/#i_25874

INTUITION

  • Écrit par 
  • Noël MOULOUD
  •  • 6 568 mots

Dans le chapitre « Bases intuitives et conditions formelles des mathématiques »  : […] Ce sont les mathématiques qui ont donné lieu à certaines thèses « intuitionnistes », comme il est naturel pour une science qui développe les liaisons d'êtres idéaux soustraits à l'empirie. Les mathématiques cantoriennes se réclament d'une évidence rationnelle pour poser leurs principes fondamentaux. Surtout, les points de vue kantiens concernant l'intuition constructive ont été admis par des mat […] Lire la suite☛ http://www.universalis.fr/encyclopedie/intuition/#i_25874

MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA

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

Dans le chapitre « Courant intuitionniste »  : […] Un courant original de l'épistémologie fondationnelle de la mathématique doit être cité à part, même 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 xx e  siècle, et de […] Lire la suite☛ http://www.universalis.fr/encyclopedie/epistemologie-de-la-mathematique/#i_25874

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 »  : […] En 1908 cependant, de tels résultats ne pouvaient être atteints. En partie par suite de l'absence de moyens « métamathématiques » propres à préciser le concept d'« existence » mathématique, ou celui, plus général encore, de « propriété bien définie » (en cela l' Aussonderungsaxiom fait difficulté chez Zermelo). Mais, plus généralement encore, parce que l'axiomatique de Zermelo ne devint pas imméd […] Lire la suite☛ http://www.universalis.fr/encyclopedie/fondements-des-mathematiques/#i_25874

OBJET

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

Dans le chapitre « Logicisme et intuitionnisme »  : […] Du point de vue de leurs fondements originaires , on distinguera l'orientation logiciste et l'orientation intuitionniste , qui peuvent l'une et l'autre s'associer avec plus ou moins de cohérence à chacune des deux tendances précédentes. Le logicisme sous sa forme radicale consiste en un effort pour réduire l'objet mathématique à une pure construction logique, entendant par logique ici le calcul […] Lire la suite☛ http://www.universalis.fr/encyclopedie/objet/#i_25874

VÉRITÉ, mathématique

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

Dans le chapitre « Intuitionnisme »  : […] Le formaliste ramène l'activité du mathématicien à une activité combinatoire, celle de trouver des assemblages de symboles, activité qui possède sa traduction directe dans le monde des objets physiques : une preuve est une inscription physique, et 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 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/verite-mathematique/#i_25874

WEYL HERMANN (1885-1955)

  • Écrit par 
  • Jean-Luc VERLEY
  •  • 1 977 mots

Dans le chapitre « Philosophie des sciences »  : […] Weyl s'est occupé toute sa vie de philosophie scientifique et de logique et a exposé ses conceptions dans de nombreux articles. On retiendra ici seulement sa prise de position aux côtés de L. Brouwer en faveur de l' intuitionnisme. En effet, Weyl, bien que formé à l'école de Hilbert dont il adopte la méthode axiomatique (comme on l'a vu à propos de son livre sur les surfaces de Riemann), s'est vio […] Lire la suite☛ http://www.universalis.fr/encyclopedie/hermann-weyl/#i_25874

Voir aussi

Pour citer l’article

Jacques-Paul DUBUCS, « INTUITIONNISME », Encyclopædia Universalis [en ligne], consulté le 12 décembre 2019. URL : http://www.universalis.fr/encyclopedie/intuitionnisme/