Jean-Yves Girard

Jean-Yves Girard Função

Diretor de Pesquisa do CNRS

Biografia

Aniversário	1947 Lyon
Nacionalidade	francês
Treinamento	Escola Normal Superior Fontenay-Saint-Cloud
Atividades	Matemático , Filósofo

Outra informação

Trabalhou para	Centro Nacional de Pesquisa Científica
Campo	Teoria da Prova
Membro de	Academia de Ciências Academia Europaea (1995)
Mestre	Jean-Louis Krivine
Supervisor	Jean-Louis Krivine
Local na rede Internet	girard.perso.math.cnrs.fr
Prêmios	Prêmio Poncelet da Medalha de Prata CNRS (1990)

Jean-Yves Girard , nascido em 1947 em Lyon , é um lógico e matemático contemporâneo, diretor de pesquisas do CNRS (emérito) no departamento de lógica de programação do Luminy Institute of Mathematics (hoje Instituto de Matemática de Marseille, desde1 r janeiro 2014)

Foi medalhista de prata do CNRS em 1983, correspondente da Academia de Ciências desde 1994, membro da Academia Europeia desde 1995.

Biografia

Jean-Yves Girard é um ex-aluno da Escola Normal de Professores de Lyon (1962) e da École normale supérieure de Saint-Cloud (ciências) (1966).

Ele ganhou destaque no início dos anos 1970, demonstrando a padronização das provas da lógica de segunda ordem e da teoria dos tipos . Esse resultado reforça a conjectura Takeuti (in) , estabelecida pouco antes, por William W. Tait (in) , Moto-o Takahashi e Dag Prawitz . É no âmbito dessa demonstração que ele introduz os candidatos à redutibilidade ("ideia de Girard") e o sistema F , um sistema de provas em lógica de segunda ordem. Devemos a ele, também, os dilatadores da teoria dos ordinais , o estudo da lógica e , da lógica linear e suas redes de provas , o " lúdico (in) " e a " geometria da interação (in) ". Ele escreveu vários livros e artigos populares, incluindo artigos em Pour la Science et Sciences et Avenir . $\ Pi _ {2} ^ {1}$ $\ Pi _ {n} ^ {1}$

O seu curso de lógica ( Le Point Blind , 2006 e 2007) lança uma nova luz sobre o estado atual da disciplina, bem como mostra os seus últimos avanços, à luz da oposição entre essência e existência . As notas de suas palestras foram traduzidas e editadas anteriormente por Y. Lafont e P. Taylor ( Proofs and Types , 1989).

Bibliografia

J.-Y. Girard, Le Point Blind , Cours de Logique , ed. Hermann, Paris, coleção “Visions des Sciences”:
- Volume 1: Rumo à perfeição , 280 pp.,Maio de 2006. Curso em Teoria da Prova abre com uma reflexão sobre o estado atual da lógica (essencialismo e existencialismo, teorema da incompletude de Gödel , cálculo de sequências ), continua com a correspondência de Curry-Howard (sistema F, interpretação categórica ) e então motiva e descreve a lógica linear (coerente espaços, sistema LL, redes de provas).
- Volume 2: Em direção à imperfeição , 288 pp.,Março de 2007. O curso continua expondo a "hipótese de polarização" (os "projetos", o "lúdico" e os sistemas LC e LLP ), em seguida, descreve os sistemas experimentais LLL e ELL e os "espaços quânticos coerentes" e, finalmente, s 'conclui com a "geometria da interação".

J.-Y. Girard, P. Taylor, Y. Lafont, Proofs and Types , Cambridge University Press, 1989
Ernest Nagel , James R. Newman , Kurt Gödel e Jean-Yves Girard, Le teoreme de Gödel , Éditions du Seuil,1989[ detalhe da edição ]
J.-Y. Girard, O fantasma da transparência , Éditions Allia,Setembro 2016.

Artigos públicos gerais

Teorema de Gödel ou uma noite com M. Homais , Sciences et Avenir,janeiro de 2000
A ideia de incompletude , Science et Avenir 121,janeiro de 2000.
Linear logic , Pour la Science, 150, p. 74-85 ,Abril de 1990.
Uma teoria geométrica de ordinais , For Science,Julho de 1985, retomado em "Mathematics today", Belin, 1986, p. 97-108 .

Jean-Yves Girard

Biografia

Bibliografia

Artigos públicos gerais

Referências

links externos