Giuseppe Longo
mathématicien italien
From Wikipedia, the free encyclopedia
Giuseppe Longo (né le à Rome, Italie) est un mathématicien, un logicien et épistémologue italien. Il est chercheur à l'École Normale Supérieure à Paris. Il contribue aussi au domaine de la biologie théorique.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Maître |
Antonio Grasselli (d) |
Biographie
En 1971, Giuseppe Longo a soutenu une thèse de mathématiques à l'université de Pise portant sur la complexité du calcul des fonctions récursives.
De 1971 à 1990, il a été enseignant-chercheur dans cette université, à différents échelons. Il est ensuite devenu directeur de recherche au CNRS, affecté au laboratoire d'informatique de l'ENS, où il enseigne en troisième cycle universitaire. Il a également travaillé aux universités d'Utrecht, d'Oxford, de Berkeley, au Massachusetts Institute of Technology, à l'École Polytechnique fédérale de Zürich, et a été professeur à l'Université Carnegie-Mellon (1987-1988).
Les recherches et l'enseignement de Giuseppe Longo ont porté sur la logique mathématique, la théorie de la récursion, la sémantique dénotationnelle, le lambda-calcul, la théorie des types, la théorie des catégories et leurs applications aux langages fonctionnels. On peut donc le classer comme « informaticien théoricien ». Il est membre du comité éditorial de plusieurs revues scientifiques, fondateur et directeur de la revue Mathematical Structures for Computer Science, Cambridge University Press[1].
Plus récemment, ses recherches ont porté sur les sciences cognitives et l'épistémologie des mathématiques. Un projet interdisciplinaire, Géométrie et Cognition (1999-2002), a été le point de départ d’une nouvelle équipe à l’ENS, « Complexité et information morphologiques » (CIM), centrée sur les problèmes fondationnels à l’interface entre Mathématiques, Physique et Biologie[2]. Il a publié, dans le domaine de la logique mathématique, Categories, Types and Structures (M.I.T Press, 1991)[3] en collaboration avec le logicien A. Asperti et dans celui de l’épistémologie des sciences de la nature Mathématiques et sciences de la nature ; la singularité physique du vivant, (Hermann, 2006)[4] en collaboration avec le physicien Francis Bailly, où de nouveaux principes d’intelligibilité sont proposés pour rendre compte de certains aspects de l’analyse du vivant. Il est membre de l’Académie Européenne depuis 1992[5].
Collaboration avec Bernard Stiegler
Giuseppe Longo collabore avec le philosophe Bernard Stiegler, notamment au travers du Collectif Internation[6] et de l'association Épokhè, dont il assure la présidence après le décès de Stiegler[7].
Ensemble, ils travaillent à exporter des concepts de la thermodynamique, tels que l'entropie, aux champs de l'économie et de la biologie[8]. Cela débouche notamment sur le concept d'anti-entropie[9].
Bibliographie
- Andrea Asperti et G. Longo, Categories, types, and structures: an introduction to category theory for the working computer scientist, MIT Press, coll. « Foundations of computing », (ISBN 978-0-262-01125-9)
- Francis Bailly et Giuseppe Longo, Mathematics and the natural sciences: the physical singularity of life, Imperial College Press ; Distributed by World Scientific Pub, coll. « Advances in computer science and engineering: Texts », (ISBN 978-1-84816-693-6)
- Maël Montévil et Giuseppe Longo, Perspectives on Organisms: Biological Time, Symmetries and Singularities, Springer Berlin / Heidelberg, coll. « Lecture Notes in Morphogenesis Ser », (ISBN 978-3-642-35937-8 et 978-3-642-35938-5)
- (it) Giuseppe Longo, Matematica e senso. Per non divenir macchine, Mimesis, (lire en ligne)
- Giuseppe Longo (préf. Jean Lassègue, postface Alain Supiot), Le cauchemar de Prométhée: les sciences et leurs limites, PUF, (ISBN 978-2-13-084308-5)
