La théorie des ensembles ZF ou ZFC a-t-elle servit à quelque chose et c'est quoi cette chose ?
7 février 2021
·
1 min. de lecture
Réponse publiée sur Quora
Oui, elles ont servi à éviter les paradoxes de la logique découverts au début du 20ème siècle, et à reformaliser les mathématiques sur des bases plus solides.
La
https://fr.wikipedia.org/wiki/Th…
définit les axiomes de la théorie des ensembles sur laquelle sont construites les mathématiques usuelles, notamment en introduisant l'
https://fr.wikipedia.org/wiki/Ax…
(qui donne la théorie ZFC).
Cette revolution des bases des maths a ouvert la voie à des résultats fondamentaux comme les
https://fr.wikipedia.org/wiki/Th…
Si ce sujet vous intéresse, je vous recommande
Mathematiques
Theorie-Des-Ensembles
Logique-Mathematiques
Philosophie-Des-Mathematiques
Ensembles-Mathematiques
Mathematique-Et-Philosophie
Post

Auteurs
Dr. Goulu
(il/lui)
Ingénieur à la retraite, toujours curieux et voyageur
EPFL MS Informatique 1988, PhD automatique 1994, eMBA Management of Technology
Sur le même sujet
- Est-ce que l'infinité est égale à elle-même ?
- La théorie des infinis de Cantor est-elle prise au sérieux par les philosophes et mathématiciens modernes ?
- La densité des propositions indécidables au sens de Gödel est-elle comparable à la densité des nombres transcendants ?
- Où est la logique d'organisation des nombres premiers ?
- Le fait qu'un nombre soit acratopège n'est-il pas une propriété en soi ?
