Le théorème d'indépendance de Paul Cohen
Le théorème d'indépendance de Paul Cohen s'énonce par si ZFC est consistant alors l'hypothèse du continu est indécidable. Il utilise pour le démontrer ce qu'il appelle le forcing, lequel est aussi utilisé dans le bouquin de Krivine.
Ma question est "dites moi où, dans quel pays est la bibliothèque qui contient la publication de Paul Cohen" ?
Ma question est "dites moi où, dans quel pays est la bibliothèque qui contient la publication de Paul Cohen" ?
Réponses
-
As-tu commencé par regarder la bibliographie du livre de Krivine ?
-
Tu parles de son article fondateur de 1963 sur le forcing ? Il est évidemment dans n'importe quelle bibliothèque mathématique un peu sérieuse, donc dans plein de pays. Il est aussi disponible en ligne gratuitement (et légalement) ici : https://www.pnas.org/doi/abs/10.1073/pnas.50.6.1143
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 63 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 313 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
Qui est en ligne 35
+28 Invités