Naștere |
23 iulie 1947 Roma |
---|---|
Naţionalitate | Italiană |
Instruire | Universitatea din Pisa |
Activități | Matematician , informatician , cercetător |
Lucrat pentru | Centrul Național de Cercetări Științifice |
---|---|
Camp | Informatică |
Maestru | Antonio Grasselli ( d ) |
Giuseppe Longo (născut la23 iulie 1947în Roma , Italia ) este un matematician , logician și epistemolog italian . Este cercetător la École Normale Supérieure din Paris.
În 1971 , Giuseppe Longo a susținut o teză de matematică la Universitatea din Pisa privind complexitatea calculului funcțiilor recursive .
Din 1971 până în 1990 , a fost profesor-cercetător la această universitate, la diferite niveluri. Apoi a devenit director de cercetare la CNRS , repartizat la laboratorul de informatică al ENS, unde predă la nivel postuniversitar. De asemenea, a lucrat la universitățile din Utrecht , Oxford , Berkeley , Institutul Tehnologic din Massachusetts, Institutul Federal Elvețian de Tehnologie din Zurich și a fost profesor la Universitatea Carnegie-Mellon (1987-1988).
Cercetarea și predarea lui Giuseppe Longo s-au axat pe logica matematică , teoria recursivității , semantica denotațională , calculul lambda , teoria tipurilor , teoria categoriilor și aplicațiile acestora la limbajele funcționale . Prin urmare, îl putem clasifica drept „informatician teoretic”. Este membru al comitetului editorial al mai multor reviste științifice, fondator și director al revistei Mathematical Structures for Computer Science , Cambridge University Press .
Mai recent, cercetările sale s-au concentrat pe știința cognitivă și pe epistemologia matematicii. Un proiect interdisciplinar, Geometry and Cognition (1999-2002), a fost punctul de plecare al unei noi echipe la ENS, „Complexitate și informații morfologice” (CIM), axată pe probleme fundamentale la interfața dintre Matematică., Fizică și Biologie. . A publicat, în domeniul logicii matematice, Categorii, tipuri și structuri (MIT Press, 1991) în colaborare cu logicianul A. Asperti și în cel al epistemologiei științelor naturii Matematică și științe ale naturii; singularitatea fizică a ființelor vii , (Hermann, 2006) în colaborare cu fizicianul Francis Bailly , unde sunt propuse noi principii de inteligibilitate pentru a explica anumite aspecte ale analizei ființelor vii. Este membru al Academiei Europene din 1992.