Rayon Fondements des mathématiques (logique)
Fiche technique
Format : Broché
Poids : 400 g
ISBN : 978-2-493230-27-0
EAN : 9782493230270
Théorie avancée, combinatoire et forcing
Chez
Calvage et Mounet
Collection(s) |
Orizzonti
A paraître le 02/01/2025
Broché
Quatrième de couverture
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.
