Paul Cohen n'était pas un spécialiste de la logique mais il croyait au pouvoir de son cerveau ; un jour il se mit à travailler à ce problème et, à la stupéfaction générale, il montra que la réponse n'est ni oui, ni non. Il existe un monde mathématique avec un infini intermédiaire, il existe aussi un monde mathématique sans infini intermédiaire ; l'un ou l'autre sera juste, si on le désire. Quant à savoir lequel de ces deux mondes est le plus naturel, c'est un problème toujours d’actualité sur lequel travaillent encore les spécialistes de la théorie des ensembles.
Auteur:
Info: Théorème vivant, p 144
Commentaires: 0