« Fondements des mathématiques/Que sont les mathématiques ? » : différence entre les versions
Contenu supprimé Contenu ajouté
m Autoformatage, retrait de la clé de tri |
m clean up, remplacement: sommaire → Sommaire (2) avec AWB |
||
Ligne 3 :
| idfaculté = mathématiques
| numéro = 1
| précédent = [[../|
| suivant = [[../La logique/]]
}}
Ligne 16 :
Une déduction consiste à partir de prémisses pour arriver à une conclusion en procédant par des étapes logiques. On peut dire que toutes les sciences sont mathématiques, même l’histoire, au sens où elles font toutes des déductions, et parce qu’une déduction a toujours quelque chose de mathématique, pourvu qu’elle soit juste.
Cependant, en mathématiques, l’étude de la forme du raisonnement, indépendamment de ses objets, a une importance cruciale. Montrons-le sur un exemple.
Les mêmes axiomes, ceux des espaces vectoriels, peuvent être utilisés à la fois pour étudier des espaces géométriques, l’espace euclidien par exemple, et pour étudier l’ensemble des solutions d’une équation différentielle linéaire. Les théorèmes sur les espaces vectoriels sont donc valables pour de nombreux objets différents. On peut considérer que la théorie abstraite des espaces vectoriels consiste à étudier toutes les déductions qui partent des mêmes axiomes, indépendamment des objets auxquels ils sont appliqués. On étudie alors les formes de déduction et non les objets auxquels ces formes sont appliquées.
Ligne 25 :
Pour un mathématicien rien n’est impossible sauf ce qui est contradictoire. Par là on veut dire qu’un discours non-contradictoire est à propos d’un monde concevable, imaginable, idéal.
De ce point de vue, la mathématique est la théorie de tout ce qu’on peut imaginer.
On croit souvent à tort que la connaissance de tous les possibles est une ambition démesurée et irréalisable mais elle ne l’est pas. Elle est à notre portée. Il est même très facile de connaître des vérités universelles, valables pour tous les possibles, le principe du tiers-exclu par exemple. Tout énoncé sur un monde possible y est ou bien vrai, ou bien faux. Ce n’est pas forcément très intéressant mais c’est un début.
Le travail des mathématiques pures consiste à augmenter notre capacité à connaître tous les possibles. Il se trouve qu’il y a des théories particulières (les nombres, les groupes…) qui jouent un rôle privilégié dans cette connaissance, et qu’elles sont souvent, mais pas toujours, les mêmes que celles qui intéressent les mathématiques appliquées.
Ligne 33 :
{{Bas de page
| idfaculté = mathématiques
| précédent = [[../|
| suivant = [[../La logique/]]
}}
| |||