Traitement en cours...
Fermer la notification

Le saviez-vous ?

SIDE a travaillé avec ses fournisseurs pour rendre ses colis respectueux de l'environnement.
Fini le plastique !
Le ruban adhésif qui sécurise la fermeture de nos colis et les chips de calage qui immobilisent les livres dans les cartons sont en matériaux recyclables et biodégradables.

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.