Jean-Yves Girard
Jean-Yves Girard | |
---|---|
![]() | |
Nascimento | 1947 (77 anos) Lyon |
Nacionalidade | ![]() |
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 | |
[edite no Wikidata] |
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.
Portal da França
Portal da matemática