
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