Author: llaxton

Des différents temps de la recherche mathématique à l’obsession de la preuve...

Des mathématiques à la littérature, et vice versa...

Logique mathématique, informatique théorique, et esthétique des théorèmes...