Des mathématiques à la littérature, et vice versa
Des différents temps de la recherche mathématique à l’obsession de la preuve
De l’esthétique de la géométrie
Logique mathématique, informatique théorique, et esthétique des théorèmes
