jeudi 28 juin 2012

Toi aussi

Adhérer à la SAAC, c'est bien-sûr faire allégeance à Zermelo, adorer l'axiome du choix et lutter de toutes ses forces contre l'intuitionnisme.
Mais c'est bien autre chose aussi. C'est un pas formel vers l'autre, une plongée logiciste dans le monde tel qu'il est, l'abandon de toutes nos peurs constructivistes et la découverte, sans cesse renouvelée, des plaisirs infinis d'une axiomatisation du monde.
Cela ne va évidemment pas sans contrepartie, mais c'est un jeu à somme nulle.
Si, toi aussi, tu veux en croquer, envoie un message en MP Inbox avec comme sujet "Toi aussi".
Zermelo est ton ami.

Aucun commentaire:

Enregistrer un commentaire