Du calcul scientifique pour travailler à l’interface de plusieurs disciplines
Des mathématiques à la philosophie, transmettre la culture scientifique
Des différents temps de la recherche mathématique à l’obsession de la preuve
Logique mathématique, informatique théorique, et esthétique des théorèmes
