Traitement en cours...
Fermer la notification

SIDE vous souhaite une année 2026 réussie. Nous ferons tous nos efforts pour y contribuer.

Afficher la notification

Théorie des ensembles comme fondement des mathématiques (2)

Leroy Martial
Date de parution 04/09/2025
EAN: 9782493230270
Disponibilité Disponible chez l'éditeur
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 Gödel,... Voir la description complète
Nom d'attributValeur d'attribut
Common books attribute
ÉditeurCALVAGE MOUNET
Nombre de pages582
Langue du livreFrançais
AuteurLeroy Martial
FormatPaperback / softback
Type de produitLivre
Date de parution04/09/2025
Poids929 g
Dimensions (épaisseur x largeur x hauteur)3,30 x 15,60 x 23,40 cm
Théorie avancée, combinatoire et forcing
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 Gödel, 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.