Returning to Lautman

I mentioned in an earlier post that Albert Lautman had a considerable influence on my decision to turn to philosophy. I recently found out that his writings have been gathered together and republished as Les mathématiques, les idées et le réel physique, Vrin, 2006, a copy of which arrived through the post the other day. It’s remarkable how much contemporary mathematics Lautman covers – class field theory, algebraic topology, analytic number theory, etc.

At the same time as I was reading Lautman I became excited by category theory, via Colin McLarty’s Uses and Abuses of the History of Topos Theory, British Journal for the Philosophy of Science 1990 41(3):351-375, and Saunders Mac Lane’s Mathematics: Function and Form, and noticed an affinity with Lautman’s thinking, supported by a remark made by Jean Dieudonné in his 1977 Preface:

La “montée vers l’absolu” qu’il y discerne, et où il voit une tendance générale, a pris en effet, grâce au langage des catégories, une forme applicable à toutes les parties des mathématiques: c’est la notion de ‘foncteur représentable’ qui joue aujourd’hui un rôle considérable, tant dans la découverte que dans la structuration d’une théorie. (p. 36)

That Lautman worked with Claude Chevalley and Charles Ehresmann may not be unconnected.

The 2006 edition includes an interesting introduction – Lautman et la dialectique créatrice des mathématiques – by Fernando Zalamea, who devotes a section to interpreting Lautman through category theoretic spectacles. In successive posts I’ll take a look at how amenable are his mathematical examples to this treatment.

I’ll end now with a quotation Zalamea has selected from Lautman, which nicely expresses what might be done instead of Anglophone philosophy of mathematics:

La philosophie mathématique, telle que nous la concevons, ne consiste donc pas tant à retrouver un problème logigue de la métaphysique classique au sein d’une théorie mathématique, qu’à appréhender globalement la structure de cette théorie pour dégager le problème logique qui se trouve à la fois défini et résolu par l’existence même de cette théorie.

Yes, to what problems or questions is mathematics a response?