Saltar para o conteúdo

Jean-Yves Girard

Origem: Wikipédia, a enciclopédia livre.
Jean-Yves Girard
Jean-Yves Girard
Jean-Yves Girard en 2000 lors de sa conférence sur les fondements des mathématiques.
Nascimento 1947 (77 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
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

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]