VÉRITÉ, mathématique

Carte mentale

Élargissez votre recherche dans Universalis

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 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 entiers dont l'énumération, en devenir, n'est jamais opérée totalement. Il n'y a pas d'infini actuel pour un intuitionniste, et la suite des décimales du nombre π, par exemple, ne doit pas être considérée comme présente : c'est une potentialité. De cette posture méfiante vis-à-vis de l'infini, l'intuitionnisme déduit que les modes de raisonnement qu'on applique aux objets finis ne peuvent être adoptés sans risque lorsque l'on doit traiter des objets infinis. Le principe du tiers exclu en logique classique affirme que pour tout énoncé A : (A) est vrai ou (non A) est vrai. Il ne peut être accepté par un intuitionniste. En particulier, celui-ci ne peut dire : dans la suite des décimales du nombre π, ou bien (A) : il existe une séquence de cent « 7 » consécutifs ; ou bien (non A) : il n'en existe pas. L'intuitionniste doit se satisfaire de dire : aujourd'hui nous ne connaissons pas de suites de cent « 7 » consécutifs dans π, mais la suite des décimales de π n'étant déployée que partiellement, nul n'est autorisé à affirmer que (A) ou (non A). La vérité mathématique chez les intuitionnistes est pointilleuse et réduite, d'où d'ailleurs son faible succès aujourd'hui.

Le débat philosophique entre réalistes, formalistes et intuitionnistes ne semble pas clos et ne le sera sans doute jamais (c'est la thèse soutenue en 1997 par Mark Balaguer dans Platonism and anti-platonism in mathematics). En revanche, depuis l'élabo [...]


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


Écrit par :

Classification


Autres références

«  VÉRITÉ, mathématique  » est également traité dans :

DÉMONSTRATION THÉORIE DE LA

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

Dans le chapitre « Système LK »  : […] Dans ce qui suit, L est un langage du premier ordre arbitraire. Un séquent est une expression formelle Γ ⊢Δ, où Γ et Δ sont des suites finies d'énoncés de L . L'interprétation intuitive de A 1 , ..., A n  ⊢ B 1 , ..., B m , c'est que la conjonction des A i implique la disjonction des B j . En particulier, ⊢ A veut dire A, et A ⊢ veut dire ¬ A ; quant au séquent vide ⊢, il signifie l'absurdité. […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/#i_41533

HILBERT DAVID (1862-1943)

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

Dans le chapitre « Philosophie des mathématiques »  : […] Chez Hilbert, la pensée axiomatique n'est pas seulement liée à une philosophie des mathématiques, mais à une philosophie de la science dans son ensemble. Pour lui, penser axiomatiquement est synonyme de « ne pas penser autrement qu'avec conscience » ; en formulant des axiomes de plus en plus profonds, nous obtenons des vues de plus en plus pénétrantes sur l'essence de la pensée scientifique elle-m […] Lire la suite☛ http://www.universalis.fr/encyclopedie/david-hilbert/#i_41533

INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 1 990 mots
  •  • 1 média

« Tel nombre est premier », « tels graphes sont isomorphes », « telle classification est complète », etc. Traditionnellement, en mathématiques, la certitude concernant de telles affirmations formelles ne peut résulter que d'une démonstration. La pratique, cependant, semble remettre en question certaines des idées communément admises en la matière. L'informatique n'introduit-elle pas une nouvelle […] Lire la suite☛ http://www.universalis.fr/encyclopedie/informatique-et-verite-mathematique/#i_41533

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é ». 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 d […] Lire la suite☛ http://www.universalis.fr/encyclopedie/intuitionnisme/#i_41533

MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA

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

Dans le chapitre « Logique et ontologie »  : […] Pour toute une école qui prend son inspiration dans l'invention de la logique contemporaine par Gottlob Frege (1848-1925) et Bertrand Russell (1872-1970), et l'entreprise qui fut la leur d'une nouvelle philosophie exacte suivant les rails de cette logique, le problème de l'épistémologie de la mathématique est jusqu'à nouvel ordre circonscrit par le célèbre dilemme de Benacerraf . Celui-ci se form […] Lire la suite☛ http://www.universalis.fr/encyclopedie/epistemologie-de-la-mathematique/#i_41533

RÉALISME, mathématique

  • Écrit par 
  • Hourya BENIS-SINACEUR
  •  • 2 164 mots

Le réalisme affirme l'existence, indépendante et préalable à la connaissance que nous en avons, des entités mathématiques : nombres, figures, ensembles, fonctions, variétés, etc. Pour le réaliste, le mathématicien manipule des objets bien déterminés qui défient son intelligence. Connaître n'est pas inventer , mais découvrir des éléments, des opérations, des fonctions, des méthodes de démonstratio […] Lire la suite☛ http://www.universalis.fr/encyclopedie/realisme-mathematique/#i_41533

Voir aussi

Pour citer l’article

Jean-Paul DELAHAYE, « VÉRITÉ, mathématique », Encyclopædia Universalis [en ligne], consulté le 04 décembre 2019. URL : http://www.universalis.fr/encyclopedie/verite-mathematique/