mardi 2 août 2011

Le crachat intuitionniste n'atteint pas le blanc formaliste

Refusant l'accélération perpétuelle du monde moderne, trois membres de la SAAC décidèrent de se rendre au colloque "L'intuitionnisme est une belle saloperie" (Vesoul, du 8 mars au 4 septembre 1935) à cheval. Malheureusement, n'ayant jamais pratiqué l'équitation, ils durent se rabattre sur un animal plus bas-de-caisse mais assez docile tant qu'on ne le provoque pas : le lama. Ils arrivèrent à bon port le 17 juillet et durent repartir le 25 du même mois. Cependant, leur intervention "Le rejet de l'axiome du choix ou la marque du diable" marquera un tournant dans la recherche en logique formelle. Le lama peut te cracher à la gueule, certes, mais lui n'est pas un suppôt de Satan.

Aucun commentaire:

Enregistrer un commentaire