Jean-Yves 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]
| Jean-Yves Girard | |
|---|---|
 Jean-Yves Girard | |
| Nascimento | 1947 (77 anos) Lyon |
| Nacionalidade | .svg.png.webp){kind=small} Francês |
| Cidadania | França |
| Alma mater | École normale supérieure de Saint-Cloud Universidade Paris VII |
| Ocupação | matemático, filósofo, pesquisador |
| Prêmios | Prêmio Poncelet (1990) |
| Empregador(a) | Centre National de la Recherche Scientifique |
| Orientador(a)(es/s) | Jean-Louis Krivine |
| Orientado(a)(s) | George Koletsos Yves Lafont Laurent Regnier |
| Instituições | CNRS |
| Campo(s) | Matemática, Lógica, Teoria da Prova |
| Página oficial | |
| https://girard.perso.math.cnrs.fr/, http://iml.univ-mrs.fr/~girard | |
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.
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.