Jean-Yves Girard

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

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]