Accueil - Boutique - Contact - Assistance

VÉRITÉ, mathématique

Page précédente Page suivante

3. 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-platoni […]

… pour nos abonnés, l'article se prolonge sur 2 pages… Offre essai 7 jours

Thématique

Classification thématique de cet article :

Retour en haut

Autres références

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

DÉMONSTRATION THÉORIE DE LA: Écrit par : Jean-Yves GIRARD
… enfin ThmT (⌈A⌉) l'énoncé de AP qui exprime que A est démontrable dans T. On a :* Pour la démonstration, on se ramène au cas où T est le calcul des prédicats ; il s'agit de montrer, par induction sur une démonstration, que tout énoncé démontrable est vrai ; or, c'est un résultat bien connu de Tarski, il n'y a pas de prédicat de… Lire la suite
HILBERT DAVID (1862-1943): Écrit par : Rüdiger INHETVEEN, Jean-Michel KANTOR, Christian THIEL
Dans le chapitre "Philosophie des mathématiques" : … et Hilbert, montre qu'ici s'opposent diamétralement deux positions scientifiques fondamentales. *Tandis que Frege fonde une théorie sur ses objets et ne voit dans les axiomes que des théorèmes distingués (dont la vérité dépend avant tout de la référence aux objets), Hilbert fait sien le concept de vérité de H. Poincaré en identifiant la vérité à… Lire la suite
INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE: Écrit par : Jean-Paul DELAHAYE
… 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'… Lire la suite
INTUITIONNISME: Écrit par : Jacques-Paul DUBUCS
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… Lire la suite
LOGIQUE MATHÉMATIQUE: Écrit par : Daniel ANDLER, Roger MARTIN
Dans le chapitre "Adolescence : 1908-1931" : … son essor. D'autre part, Gödel posait la première pierre de la théorie des fonctions récursives. *À la même époque, Tarski créait la « sémantique scientifique ». (Son article célèbre, « Le Concept de vérité dans les langages formalisés », quoique publié seulement en 1933, et traduit en allemand en 1935, est écrit dès 1931). Ce qu'il apportait à… Lire la suite
MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA: Écrit par : Jean-Michel SALANSKIS
Dans le chapitre "Logique et ontologie" : … par le célèbre dilemme de Benacerraf. Celui-ci se formule à peu près comme suit. *Nous ne pouvons que vouloir que les affirmations de la mathématique soient vraies, et qui plus est vraies d'une vérité homologue à celle du sens commun, c'est-à-dire qu'elles attribuent à des objets réellement existants, extérieurs à son discours,… Lire la suite
RÉALISME, mathématique: Écrit par : Hourya BENIS-SINACEUR
… en fonction des contraintes d'objets et d'opérations qui imposent leurs modalités propres. *Les propositions mathématiques vraies expriment des propriétés essentielles de ces opérations et objets. La doctrine de la vérité impliquée est celle de l'adéquation ou correspondance entre ce qui est et ce qu'on en dit. La pensée est pensée de l'… Lire la suite

Afficher la liste complète (7 références)

Retour en haut

Accueil - Contact - À propos
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 les articles d'Encyclopædia Britannica.
© 2012, Encyclopædia Universalis France S.A. Tous droits de propriété industrielle et intellectuelle réservés.