Jean-Yves Girard - Jean-Yves Girard
Jean-Yves Girard | |
---|---|
Nascermos | 1947 (idade 72-73)
Lyon , França
|
Nacionalidade | francês |
Alma mater |
École normale supérieure de Saint-Cloud Paris Diderot University |
Carreira científica | |
Campos | Lógica |
Instituições | CNRS |
Orientador de doutorado | Jean-Louis Krivine |
Jean-Yves Girard ( francês: [ʒiʁaʁ] ; nascido em 1947) é um lógico francês que trabalha com teoria da prova . Ele é o diretor de pesquisa ( emérito ) do instituto de matemática da Universidade de Aix-Marseille , em Luminy .
Biografia
Jean-Yves Girard é ex-aluno da École normale supérieure de Saint-Cloud .
Ele fez um nome para si mesmo na década de 1970 com sua prova de forte normalização em um sistema de lógica de segunda ordem chamado Sistema F . Este resultado deu uma nova prova da conjectura de Takeuti , que foi provada alguns anos antes por William W. Tait , Motō Takahashi e Dag Prawitz . Para tanto, introduziu a noção de "candidato a redutibilidade" ("candidat de réducibilité"). Ele também é creditado com a descoberta do paradoxo de Girard , a lógica linear , a geometria da interação , o lúdico e o relógio de mostarda.
Ele obteve a medalha de prata do CNRS em 1983 e é membro da Academia Francesa de Ciências .
Bibliografia
- Ernest Nagel ; James R. Newman ; Kurt Gödel ; Jean-Yves Girard (1989). Le théorème de Gödel . Éditions du Seuil.
- Jean-Yves Girard; P. Taylor; Yves Lafont (1989). Provas e tipos . Cambridge University Press .
- Jean-Yves Girard (2007). Le Point Aveugle, Cours de Logique . Hermann.
- Jean-Yves Girard (2016). Le fantôme de la transparence . Éditions Allia.
Referências
links externos
- Website oficial
- Jean-Yves Girard no Projeto Genealogia da Matemática
- Jean-Yves Girard no DBLP Bibliography Server
- Journées Jean-Yves Girard website da conferência de 2007 em homenagem ao 60º aniversário de Girard
Este artigo sobre um matemático francês é um esboço . Você pode ajudar a Wikipedia expandindo-a . |