Jean-Yves Girard
| Jean-Yves Girard | |
|---|---|
 Jean-Yves Girard en 2000 lors de sa conférence sur les fondements des mathématiques. | |
| Nascimento | 1947 (79 anos) Lyon |
| Nacionalidade |  Francês |
| Cidadania | França |
| Alma mater | École normale supérieure de Saint-Cloud Universidade Paris VII |
| Ocupação | matemático, filósofo, pesquisador |
| Distinções | Prêmio Poncelet (1990) |
| Empregador(a) | Centro Nacional de Pesquisa Científica |
| Orientador(a)(es/s) | Jean-Louis Krivine |
| Instituições | CNRS |
| Página oficial | |
| https://girard.perso.math.cnrs.fr/, http://iml.univ-mrs.fr/~girard | |
Jean-Yves Girard (1947) é um lógico francês que trabalha em teoria da prova. Suas contribuições incluem a prova da normalização forte (do inglês strong normalization) do sistema de lógica de segunda ordem chamado sistema F; a invenção de lógica linear; de geometria da interação; e de ludics. Ele também inventou o relógio de mostarda.[1]
Aluno da École normale supérieure de Fontenay-Saint-Cloud (Escola superior de Saint-Cloud), Girard é um diretor de pesquisa da CNRS em Marseille e um membro correspondente da Academia Francesa de Ciências.
Referências
- ↑ Yann-joachim Ringard. «Mustard watches: an integrated approach to time and food»
Ligações externas
- Girard's home page
- Jean-Yves Girard (em inglês) no Mathematics Genealogy Project
- Girard's bibliography (via DBLP)
- Journées Jean-Yves Girard web site of 2007 conference in honour of Girard's 60th birthday
- Este artigo foi inicialmente traduzido, total ou parcialmente, do artigo da Wikipédia em inglês cujo título é «Jean-Yves Girard», especificamente desta versão.