Théorie des ensembles comme fondement des mathématiques (2) : Théorie avancée, combinatoire et forcing

• Date de parution : 02/01/2025
• Editeur : Calvage Mounet
• EAN : 9782493230270
• Série : (-)
• Support : Papier

• Nombre de pages : (-)
• Collection : ORIZZONTI
• Genre : Sciences appliquées
• Thème : Sciences appliquées Mathématiques
• Prix littéraire(s) : (-)

Ce second volume montre des énoncés indémontrables à partir de ZFC, incluant des hypothèses plus fortes et des énoncés indépendants comme l'hypothèse du continu. Il utilise des outils sémantiques, le théorème de complétude et l'incomplétude de Godel, explore les ensembles constructibles et le... Voir plus

Ce second volume montre des énoncés indémontrables à partir de ZFC, incluant des hypothèses plus fortes et des énoncés indépendants comme l'hypothèse du continu. Il utilise des outils sémantiques, le théorème de complétude et l'incomplétude de Godel, explore les ensembles constructibles et le forcing.



Ce volume se termine par d'autres utilisations du forcing : forcing produit, théorème d'Easton, forcing itéré, consistance de l'axiome de Martin, forcing propre, l'axiome PFA et d'autres axiomes de forcing.