Jean-Yves Girard

Jean-Yves Girard
Nascer1947 (75-76 anos)
Lyon , França
NacionalidadeFrancês
alma materÉcole normale supérieure de Saint-Cloud
Paris Diderot University
Conhecido porParadoxo de Girard
Espaço coerente
Geometria da interação
Lógica linear
Lúdica
Rede de provas
Sistema F
PrêmiosPrêmio Poncelet (1990)
Medalha de Prata do CNRS (1983)
carreira científica
CamposLógica
InstituiçõesCNRS
Orientador de doutoradoJean-Louis Krivine  [fr]

Jean-Yves Girard ( em francês:  [ʒiʁaʁ] ; nascido em 1947) é um lógico francês que trabalha na teoria da prova . Ele é o diretor de pesquisa ( emérito ) do instituto de matemática da Universidade de Aix-Marseille , em Luminy .

Biografia

Jean-Yves Girard é aluno da École normale supérieure de Saint-Cloud .

Ele fez seu nome na década de 1970 com sua prova de forte normalização em um sistema de lógica de segunda ordem chamado Sistema F. Este resultado deu uma nova prova da conjectura de Takeuti , que foi comprovada alguns anos antes por William W. Tait , Motō Takahashi e Dag Prawitz . Para tanto, ele introduziu a noção de "candidato à redutibilidade" ("candidat de réducibilité"). Ele também é creditado com a descoberta do paradoxo de Girard , da lógica linear , da geometria da interação , do lúdico e (satiricamente) do relógio de mostarda. [1]

Obteve a Medalha de Prata do CNRS em 1983 e é membro da Academia Francesa de Ciências .

Bibliografia

  • Ernesto Nagel ; James R. Newman ; Kurt Gödel ; Jean-Yves Girard (1989). Le théorème de Gödel . Éditions du Seuil.
  • Jean-Yves Girard; P.Taylor; Yves Lafont (1989). Provas e Tipos . Imprensa da Universidade de Cambridge .
  • Jean-Yves Girard (2007). Le Point Aveugle, Cours de Logique . Herman.
  • Jean-Yves Girard (2011). O Ponto Cego: Palestras sobre Lógica [2]
  • Jean-Yves Girard (2016). Le fantôme de la transparence . Éditions Allia.

Veja também

Referências

  1. ^ Ringard, Yann-Joachim (1990). "Relógios mostarda: uma abordagem integrada de tempo e comida" . Acesso em 27 de maio de 2018 .{{cite web}}: CS1 maint: url-status ( link )
  2. ^ Girard, Jean-Yves (2011). O ponto cego: palestras sobre lógica. Zurique, Suíça: European Mathematical Society. ISBN 978-3-03719-088-3. OCLC  757486610.

links externos

  • Website oficial
  • Jean-Yves Girard no Mathematics Genealogy Project
  • Jean-Yves Girard no DBLP Bibliography Server
  • Site Journées Jean-Yves Girard da conferência de 2007 em homenagem ao 60º aniversário de Girard