Arnaud Valence
Logique, langage, sciences, philosophie
De Hilbert à Girard, en passant par Gelfand et Grothendieck, nombre de grands mathématiciens ont, en l'espace d'un siècle, obtenu des résultats aussi spectaculaires que profonds. Ce que peu d'historiens ou philosophes des mathématiques ont perçu, c'est que ces résultats sont les sommets escarpés d'un puissant massif qui ne dit pas son nom.