Jean-Yves Girard

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Jean-Yves Girard
Nascimento 1947 (70 anos)
Lyon
Nacionalidade  Francês
Alma mater École normale supérieure de Saint-Cloud
Paris Diderot University
Prêmios Prêmio Poncelet (1990)
Orientador(es) Jean-Louis Krivine
Orientado(s) George Koletsos
Yves Lafont
Laurent Regnier
Instituições CNRS
Campo(s) Matemática, Lógica, Teoria da Prova

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

Ligações externas[editar | editar código-fonte]