Aniversário |
23 de julho de 1947 Roma |
---|---|
Nacionalidade | italiano |
Treinamento | Universidade de Pisa |
Atividades | Matemático , cientista da computação , pesquisador |
Trabalhou para | Centro Nacional de Pesquisa Científica |
---|---|
Campo | Ciência da Computação |
Mestre | Antonio Grasselli ( d ) |
Giuseppe Longo (nascido em23 de julho de 1947em Roma , Itália ) é um matemático , lógico e epistemólogo italiano . Ele é pesquisador da École Normale Supérieure de Paris.
Em 1971 , Giuseppe Longo defendeu uma tese em matemática na Universidade de Pisa sobre a complexidade do cálculo de funções recursivas .
De 1971 a 1990 , foi professor-pesquisador desta universidade, em diversos níveis. Em seguida, tornou-se diretor de pesquisas do CNRS , lotado no laboratório de informática da ENS, onde leciona em nível de pós-graduação. Ele também trabalhou nas universidades de Utrecht , Oxford , Berkeley , no Massachusetts Institute of Technology , no Swiss Federal Institute of Technology em Zurique e foi professor na Carnegie-Mellon University (1987-1988).
A pesquisa e o ensino de Giuseppe Longo enfocaram a lógica matemática , a teoria da recursão , a semântica denotacional , o cálculo lambda , a teoria dos tipos , a teoria das categorias e suas aplicações às linguagens funcionais . Podemos, portanto, classificá-lo como um “cientista da computação teórico”. Ele é membro do conselho editorial de várias revistas científicas, fundador e diretor da revista Mathematical Structures for Computer Science , Cambridge University Press .
Mais recentemente, sua pesquisa se concentrou nas ciências cognitivas e na epistemologia da matemática. Um projecto interdisciplinar, Geometria e Cognição (1999-2002), foi o ponto de partida de uma nova equipa na ENS, “Complexidade e Informação Morfológica” (CIM), focada em problemas fundacionais na interface entre Matemática, Física e Biologia. . Publicou, no campo da lógica matemática, Categories, Types and Structures (MIT Press, 1991) em colaboração com o lógico A. Asperti e no da epistemologia das ciências naturais Matemática e ciências naturais ; a singularidade física das coisas vivas , (Hermann, 2006) em colaboração com o físico Francis Bailly , onde novos princípios de inteligibilidade são propostos para dar conta de certos aspectos da análise das coisas vivas. É membro da Academia Europeia desde 1992.