Académique Documents
Professionnel Documents
Culture Documents
Thèmes récurrents
Les thèmes récurrents comprennent :
Les mathématiques traitent de nombreux objets dont les propriétés diffèrent. Mais ces objets sont des
définitions issues de la réflexion humaine. En ce sens, les mathématiques sont des créations de l'esprit
humain, le résultat d'une « construction neuronale » selon le neurologue Jean-Pierre Changeux.
L'exploration mathématique consisterait à l'énumération de propriétés vérifiées par les objets définis au
préalable. Pourtant, la pratique permet de différencier le vrai du faux, de cerner la justesse des
raisonnements, et même la pertinence des définitions.
Au contraire, de nombreux mathématiciens sont d'avis de placer les raisonnements mathématiques comme
préexistant à l'esprit humain. En ce sens, énoncer un nouveau théorème n'est pas une invention, mais une
découverte. Le mathématicien français Jean-Pierre Serre est de cet avis. Il apparente l'étude des cas
particuliers, des exemples et contre-exemples, à l'expérimentation.
À première vue, les mathématiques sont une discipline de la pensée qui ne se confronte pas avec le réel. À
première vue seulement. Si les mathématiques sont un langage indispensable pour une description de la
physique, les sciences de la nature ont conduit au développement interne des mathématiques. Ainsi :
La mathématique dans une acception très large est un ensemble de concepts numériques et spatiaux
associés à trois formes de raisonnements : la déduction, l'induction complète (récurrence) et le raisonnement
par l'absurde. Les mathématiques commencent donc avec le dénombrement et la mesure. Ce savoir est
antérieur à l'écriture. Des entailles sur des os préfigurent des calendriers lunaires, à l'instar de l'os d'Ishango.
L'utilisation des nombres était effective dès les premières civilisations (Mésopotamie, IVe millénaire).
Toutefois, si on limite les mathématiques à une connaissance scientifique reposant sur des raisonnements
valides, les premières mathématiques sont le fruit de la civilisation grecque.
Une autre école [Laquelle ?] date les débuts des mathématiques avec le renouveau culturel en monde
islamique durant l'âge d'or des sciences islamiques comme Al-Khwârizmî le fondateur de l'algèbre
islamique durant l âge d or des sciences islamiques, comme Al-Khwârizmî, le fondateur de l algèbre.
Une autre encore [Laquelle ?] date les débuts des mathématiques avec le renouveau culturel en Europe à la
Renaissance.
Ces différends sur les origines mathématiques portent davantage sur la définition de cette science que sur
l'authenticité des preuves historiques.
Dominique Lecourt rappelle que pour « Bachelard depuis l'essai sur la connaissance approchée (1928) que
les mathématiques ne sauraient être conçues comme un langage bien fait. [...] L'essence des mathématiques
tient dans leur puissance d'invention ; elles apparaissent comme l'élément moteur du dynamisme de la
pensée scientifique. Les mathématiques ne sauraient être réduites à un simple langage qui exprimerait, à sa
3
manière, des faits d'observation ». (page 100)
Esthétique
Beaucoup de mathématiciens ont été destinés à cette discipline en raison d'un sens de la beauté
mathématique qu'ils perçoivent en elle.
Dans son travail sur le nombre d'or, S.E. Huntley relate le sentiment de la lecture et de compréhension de la
démonstration d'un théorème de mathématiques de quelqu'un d'autre, à celle d'un spectateur devant un
chef-d'œuvre d'art—le lecteur d'une démonstration a un sens similaire de l'euphorie lors de sa
compréhension que l'auteur original celle-ci, autant que selon lui, le spectateur d'un chef-d'œuvre a un
sentiment d'euphorie semblable au peintre ou sculpteur d'origine. En effet, on peut étudier les écrits
mathématiques et scientifiques comme de la littérature.
Philip J. Davis et Reuben Hersh ont fait remarquer que le sens de la beauté mathématique est universelle. À
titre d'exemple, ils fournissent deux preuves de l'irrationalité de √2. La première est la preuve traditionnelle
par la contradiction, attribué à Euclide; le second est une preuve plus directe impliquant le théorème
fondamental de l'arithmétique qui, affirment-ils, est au cœur de la question. Davis et Hersh soutiennent que
les mathématiciens trouvent la seconde preuve plus esthétique car elle se rapproche de la nature du
problème.
Paul Erdős était connu pour sa déclaration selon laquelle un « Livre » contiendrait les démonstrations
mathématiques les plus élégantes, et belles. Il n'y a pas d'accord universel qu'un résultat a une
démonstration « la plus élégante »; Gregory Chaitin a argumenté contre cette idée.
Les philosophes ont parfois critiqué le sens de la beauté ou l'élégance de mathématiciens comme étant, au
mieux, vaguement fixée. De la même façon, cependant, les philosophes des mathématiques ont cherché à
caractériser ce qui fait qu'une démonstration est plus élégante qu'une autre.
Un autre aspect de l'esthétique concernant les mathématiques est la vision des mathématiciens vis-à-vis des
utilisations possibles des mathématiques à des fins jugées contraires à l'éthique ou inappropriée. La
manifestation la plus connue de ce point de vue est exposée dans Le livre de G. H. Hardy, A
Mathematician's Apology, où Hardy soutient que les mathématiques pures possédaient une beauté
supérieure aux mathématiques appliquées précisément parce qu'ils ne peuvent pas être utilisés à des fins
non éthiques.
Quel est le mode d'existence des objets mathématiques ? Sont-ils réels et, le cas échéant,
de quelle réalité s'agit-il ? N'est-ce qu'une production purement raisonnée de la pensée ?
Pourquoi les mathématiques semblent-elles universelles ?
Pourquoi les mathématiques, qui relèvent d'une création de l'esprit, permettent-elles de
comprendre un aspect de l'univers ?
Le platonisme
« Que nul n'entre ici s'il n'est géomètre », était-il gravé sur le portail de l'Académie, école de Platon. Pour ce
philosophe, les mathématiques sont un intermédiaire pour accéder au royaume des Idées.
L'aristotélisme
Concernant les mathématiques, Aristote est encore très empreint de platonisme. L'univers au-delà de la
Lune, les étoiles et les planètes, peut être compris par les mathématiques, car ils sont ordonnés suivant des
lois éternelles et parfaites. En revanche, pour Aristote le monde sublunaire est sujet au changement et au
mouvement, et la physique ne peut en aucun cas prétendre acquérir la rigueur et l'universalité des
mathématiques.
Le logicisme
Le logicisme considère que les mathématiques sont toutes entières incluses dans l'ensemble des connexions
logiques élémentaires, théoriquement explicites, qui composent une démonstration.
"L'ambition de G. Frege ne se bornait pas à rebâtir la logique, elle entendait également fonder les
1
mathématiques sur la logique" . "Frege renonça à son programme logiciste" après avoir échoué à résoudre
le paradoxe de Bertrand Russell (ensemble qui ne se contient pas en tant qu'élément). Bertrand Russell
invente la théorie des types pour le résoudre.
D'après H. Barreau, "la rançon du logicisme est l'impossibilité constatée de rejoindre même les bases les
1
plus sûres de l'arithmétique" .
Le formalisme
Selon Hervé Barreau qui reprend David Hilbert : "le programme formaliste est né de la volonté des
mathématiciens d'accueillir une logique formelle adaptée aux besoins des mathématiciens sans pour autant
adhérer au programme logiciste" et plus loin : "Au lieu de raisonner sur les êtres mathématiques, il faut
1
raisonner sur des signes privés de toute signification .
Ce courant est à l'origine d'une métamathématique et d'autre part des démonstrations d'existence
constructives avec en particulier les conditions de consistance (c'est-à-dire de non contradiction) et les
conditions de complétude (c'est-à-dire la capacité de prouver que toute proposition correctement formée est
vrai ou fausse)". Kurt Gödel, qui n'était pas formaliste, a proposé les deux théorèmes d'incomplétude qui
ont changé la vision des mathématiques.
D'après Hervé Barreau, "la rançon du formalisme, [c'est de] ne satisfaire personne et [de] laisser les
1
mathématiciens courir leur aventure à leurs risques et périls" .
L'intuitionnisme
C'est le courant des mathématiciens qui, selon Hervé Barreau "dénoncent la confusion que commettaient
les formalistes entre mathématiques réelles, qui sont toujours constructives, et les théories formalisées qui ne
1
veulent pas savoir de quoi elles parlent" .
« La possibilité même de la science mathématique semble une contradiction insoluble. Si cette science n'est
déductive qu'en apparence, d'où lui vient cette parfaite rigueur que personne ne songe à mettre en doute ?
Si, au contraire, toutes les propositions qu'elle énonce peuvent se tirer les unes des autres par les règles de la
logique formelle, comment la mathématique ne se réduit-elle pas à une immense tautologie ? Le syllogisme
ne peut rien nous apprendre d'essentiellement nouveau et, si tout devait sortir du principe d'identité, tout
devrait aussi pouvoir s'y ramener. », Henri Poincaré, La Science et l'Hypothèse.
L.E.J. Brouwer suggère : "Le seul fondement possible pour la mathématique doit être cherché dans ce
processus constructif, dirigé par l'obligation de distinguer avec réflexion, raffinement et culture, celle des
1
idées qui sont acceptables à l'intuition, évidentes à l'esprit, et celles qui ne le sont pas" .
D'après Hervé Barreau, « la rançon de [la] rigueur [de l'intuitionnisme], prise de façon exclusive, est une
1
certaine inaptitude à recouvrir le champ des mathématiques classiques » .
Le réalisme platonicien
Il existe une réalité mathématique indépendante « intemporelle »... Kurt Gödel cité par H. Barreau : "Je ne
vois pas de raison d'avoir moins confiance dans ce type de perception, c'est-à-dire dans l'intuition
mathématique, que dans la perception sensorielle... De plus, ils représentent un aspect de la réalité
q , q p p p , p p
1
objective." .
Pour Albert Lautman, le monde des idées mathématiques est le parangon du monde des Idées
platoniciennes. Plus précisément, il considère que les relations entre les objets mathématiques mises en
évidence dans les démonstrations sont des relations plus générales, métamathématiques. Dans ses ouvrages,
Lautman montre que dans le déroulement d'une démonstration d'un théorème, des idées développées par
des philosophes dans un tout autre contexte sont réalisées.
1
Pour Lautman :
Le constructivisme
Les constructivistes n'admettent que les mathématiques construites. Plus techniquement, ils n'acceptent
dans les démonstrations que les inférences finies. Par exemple, le raisonnement par récurrence ainsi que
l'axiome du choix sont prohibés. Les démonstrations par l'absurde sont également interdites, puisqu'elles ne
donnent l'existence de l'être mathématique que par l'impossibilité de son non-être, et non pas par
l'explicitation concrète de son existence.
Le structuralisme
Le structuralisme soutient que les théories mathématiques décrivent des structures, et que les objets
mathématiques sont exhaustivement définies par leur place dans ces structures. Par conséquent, le
structuralisme maintient que les objets mathématiques ne possèdent pas de propriétés intrinsèques, mais sont
définis par leurs relations extérieures dans un système. Par exemple, le structuralisme soutient que le
nombre entier 1 est définie de façon exhaustive par le successeur de 0, dans la structure de la théorie des
nombres naturels. Par généralisation de cet exemple, dans cette structure, tout entier est défini par sa place
respective sur la droite numérique. D'autres exemples d'objets mathématiques peuvent inclure des droites et
des plans en géométrie, ou des éléments et des opérations en algèbre abstraite.
Le structuralisme est une vue épistémologiquement réaliste en ce qu'elle soutient que les énoncés
mathématiques ont une valeur de vérité objective. Cependant, son affirmation principale concerne
seulement quel type d'entité un objet mathématique, ou une structure sont, et non pas leur type
d'existence (en d'autres termes, pas à leur ontologie). Le type d'existence des objets mathématiques dépend
de celle des structures dans lesquelles ils sont incorporés; différentes sous-variétés de structuralisme font
4
différentes revendications ontologiques à cet égard .
Le calculationnisme
Les calculationnistes sont ceux qui comme Stephen Wolfram identifient la nature au calcul. Pour eux, une
pomme qui tombe est une instanciation du calcul de la mécanique.
Notes et références
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais
intitulé « Philosophy of mathematics » (voir la liste des auteurs (https://en wikipedia org/wiki/Philosop
intitulé « Philosophy of mathematics » (voir la liste des auteurs (https://en.wikipedia.org/wiki/Philosop
hy_of_mathematics?action=history)).
1. Barreau Hervé, L'épistémologie, Paris, PUF Que sais-je ? 8e éd, 2013, 127 p.
(ISBN 978-2-13-062607-7)
2. Karl Popper, Les deux problèmes fondamentaux de la théorie de la connaissance, édition
Hermann, Paris, 1999.
3. Lecourt Dominique, La philosophie des sciences, Paris, PUF Que sais-je ? 6e éd., 2015,
127 p. (ISBN 978-2-13-062444-8)
4. (en) James Brown, Philosophy of Mathematics, New York, Routledge, 2008
(ISBN 978-0-415-96047-2)
Bibliographie
Marco Panza et Andrea Sereni, Introduction à la philosophie des mathématiques : Le
problème de Platon, Paris, Flammarion, coll. « Champs — Essais », 2013 (présentation en
ligne (http://www.philosciences.org/notices/document.php?id_document=3001)).
Charles Parsons, Philosophy of Mathematics in the Twentieth Century: Selected Essays,
Cambridge, MA, Harvard University Press, 2014 (ISBN 978-0-674-72806-6)
Voir aussi
Système Logique Analyse non Théorie des
axiomatique Beauté standard ensembles
Théorie des mathématique Philosophie de Vérité
catégories Constructivisme la logique Finitisme
Langage formel (mathématiques) Philosophie du Ultrafinitisme
Système formel Logique langage
Fondations des mathématique Philosophie des
mathématiques Démonstration sciences
Nombre d'or Hypothèse de Interprétations
l'univers de probabilité
Histoire des
mathématiques mathématique Théorie de la
Mathématiques démonstration
Logique
intuitioniste classiques Règle
Métamathématique d'inférence
Théorie des Science studies
modèles Méthode
Théorie naïve des scientifique
ensembles
Sujets historiques
Histoire des mathématiques
Histoire de la philosophie
Liens externes
Bibliographie de philosophie des mathématiques (http://www.ucl.ac.uk/philosop
(en) [PDF]
hy/LPSG/Ch22 pdf) de la London Philosophy Study Guide (http://www ucl ac uk/philosoph
hy/LPSG/Ch22.pdf) de la London Philosophy Study Guide (http://www.ucl.ac.uk/philosoph
y/LPSG/)
Droit d'auteur : les textes sont disponibles sous licence Creative Commons attribution, partage dans les mêmes
conditions ; d’autres conditions peuvent s’appliquer. Voyez les conditions d’utilisation pour plus de détails, ainsi que
les crédits graphiques. En cas de réutilisation des textes de cette page, voyez comment citer les auteurs et
mentionner la licence.
Wikipedia® est une marque déposée de la Wikimedia Foundation, Inc., organisation de bienfaisance régie par le
paragraphe 501(c)(3) du code fiscal des États-Unis.
Politique de confidentialité
À propos de Wikipédia
Avertissements
Contact
Développeurs
Statistiques
Déclaration sur les témoins (cookies)