Favorite mathematicians

  • Saunders Mac Lane as Philosopher of Mathematics
  • Jean-Yves Beziau : La théorie des ensembles et la théorie des catégories
  • Max Tegmark : L’essence du monde est mathématique
  • Rémi Peyre : Le lemme de Zorn
  • La structure d’une chose n’est nullement une chose que nous puissions “inventer”. Nous pouvons seulement la mettre à jour patiemment, humblement en faire connaissance, la “découvrir”. S’il y a inventivité dans ce travail, et s’il nous arrive de faire oeuvre de forgeron ou d’infatigable bâtisseur, ce n’est nullement pour “façonner”, ou pour “bâtir”, des “structures”. Celles-ci ne nous ont nullement attendues pour être, et pour être exactement ce qu’elles sont ! Mais c’est pour exprimer, le plus fidèlement que nous le pouvons, ces choses que nous sommes en train de découvrir et de sonder, et cette structure réticente à se livrer, que nous essayons à tâtons, et par un langage encore balbutiant peut-être, à cerner. Ainsi sommes-nous amenés à constamment “inventer” le langage apte à exprimer de plus en plus finement la structure intime de la chose mathématique, et à “construire” à l’aide de ce langage, au fur et à mesure et de toutes pièces, les “théories” qui sont censées rendre compte de ce qui a été appréhendé et vu. Il y a là un mouvement de va-et-vient continuel, ininterrompu, entre l’appréhension des choses, et l’expression de ce qui est appréhendé, par un langage qui s’affine et se re-crée au fil du travail, sous la constante pression du besoin immédiat.
    — Alexandre Grothendieck