fondements des mathématiques Flashcards
(14 cards)
1- Énoncer les éléments problématiques menant à la crise des fondements des mathématiques
Nombres irrationnels
Nombres imaginaires
Axiomes
Infini
Théories des ensembles et ses paradoxes
nombres irrationnels
- montre commesurabilité est fausse
nombres imaginaires
- étudier nouvel ensemble de nombres
- manque de compréhension = pas vouloir l’étudier
axiomes
- incertains et incomplets
infini
- contredit euclide
- pas claire
- montrer dans les paradoxes de Zénon
- Aristote supporte infini potentiel
Cohèrence
système est cohérent = aucune contradiction ne peut être démontrée à partir de ses axiomes.
Complètude
Un système est complet si toute proposition vraie dans ce système peut être démontrée à partir de ses axiomes
Géo euclidienne
longtemps considéré comme cohérente et complète, jusqu’à découverte de modifier 5e axiome.
Géo non-euclidienne
géo alternatives cohérentes (ex : hyperbolique et elliptique) existe si modifier 5e axiome
-Arithmétique
puissant pour exprimer des calculs complexes, mais c’est justement là que les limites mises en lumière par Gödel s’appliquent
Complétude de Godel
énoncé est vrai = existe démonstration formelle de l’énoncé avec axiomes du système
Incomplétude de Godel
Un tel système ne peut pas démontrer sa propre cohérence à partir de ses propres axiomes
Décrire la sortie de crise
- Axiomatisation → nouvelle théorie des ensembles + définitions infinies + formalisation des quantités infiniment petite
- Gödel pose des limites
Théories des ensembles et ses paradoxes
- ∅ solution parfaites (contient paradoxes)
- Ex: paradoxes et théories de Russel et Cantor