INTUITIONNISME

Dans l'acception technique et contemporaine du mot, c'est-à-dire quand le terme ne se contente pas de caractériser une philosophie faisant à l'intuition une large part, l'intuitionnisme est à la fois une doctrine relative aux mathématiques, à la vérité et au langage, et une logique « non classique » qui trouve son fondement dans cette doctrine.

La conception intuitionniste des mathématiques en fait une science qui décrit nos constructions mentales. Les objets mathématiques, loin d'être des réalités « platoniciennes » objectives, autonomes et éternelles, sont des produits de l'esprit humain, accessibles par réflexion et par introspection. Chaque assertion mathématique peut être exprimée sous la forme : « J'ai effectué la construction A dans mon esprit » (A. Heyting, 1971).

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 n [...]

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