« Fondements des mathématiques/Que sont les mathématiques ? » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-... +…) |
m Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…); changement de type cosmétique |
||
Ligne 15 :
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.
Cette définition convient bien aux mathématiques appliquées, parce qu'il s'agit de théories abstraites (les nombres entiers et réels, les fonctions réelles de variable(s) réelle(s) et les équations différentielles, les espaces vectoriels, les groupes, la théorie des
== La science de tous les mondes possibles ==
Ligne 24 :
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
{{Bas de page|idfaculté=mathématiques|leçon=[[Fondements des mathématiques]]|précédent=[[Fondements des mathématiques|Sommaire]]
|suivant=[[Fondements des mathématiques/La logique|La logique]]}}
[[Catégorie:Fondements des mathématiques]]
|