vendredi 27 mai 2011

Le Grand Oeuvre Formaliste

Nous ne savons pas grand chose du grimoire écrit par Zermelo et Fraenkel en 1911 intitulé "Les Douze Clés de l'Axiome du choix", sous-titré de manière fort intrigante : Le Grand Oeuvre Formaliste. Ce qui est certain par contre, c'est que ce grimoire fut l'objet d'une guerre sans relâche entre les membres de la SAAC et les intuitionnistes, guerre si terrible que le livre fut très bien caché par Gottlob Frege en 1925, quelques jours avant sa mort. Si bien caché que personne ne sait où il se trouve aujourd'hui. La quête de ce graal logiciste s'est poursuivi de nombreuses années mais est un peu abandonnée aujourd'hui.
Il n'est point douteux que celui qui mettra la main sur ce trésor possédera derechef la puissance du continu.

Aucun commentaire:

Enregistrer un commentaire