La SAAC, comme nombre d'entre vous sans doute, s'est longtemps posée la question du lien entre l'hypothèse du continu généralisée et l'axiome du choix au sein de la théorie ZF (Zermelo-Fraenkel, bien-sûr). Car oui, rien n'est moins simple, rien dévident là-dedans. C'est bien joli d'avoir ces deux outils si magnifiquement ourlés si on ne sait pas quel est le rapport entre les deux ! Un sacré casse-tête, qui en rendit fou plus d'un !C'est en 1947 que Waclaw Sierpinski démontre que l'axiome du choix est en fait une conséquence de l'hypothèse du continu généralisée dans la théorie ZF. Putain, juste une conséquence ! Dingo ! Il présenta immédiatement sa preuve à l'Académie des Sciences, qui se fouta un peu de sa gueule. Il se résolut donc à l'amener à la secrétaire de la SAAC qui, elle, lui fit l'accueil qu'il méritait. La SAAC est juste et gracieuse.
Aucun commentaire:
Enregistrer un commentaire