Jean-Yves Girard - Jean-Yves Girard

Jean-Yves Girard
Nascermos 1947 (idade 72-73)
Lyon , França
Nacionalidade francês
Alma mater École normale supérieure de Saint-Cloud
Paris Diderot University
Carreira científica
Campos Lógica
Instituições CNRS
Orientador de doutorado Jean-Louis Krivine  [ fr ]

Jean-Yves Girard ( francês:  [ʒiʁaʁ] ; nascido em 1947) é um lógico francês que trabalha com 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 é ex-aluno da École normale supérieure de Saint-Cloud .

Ele fez um nome para si mesmo 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 provada alguns anos antes por William W. Tait , Motō Takahashi e Dag Prawitz . Para tanto, introduziu a noção de "candidato a redutibilidade" ("candidat de réducibilité"). Ele também é creditado com a descoberta do paradoxo de Girard , a lógica linear , a geometria da interação , o lúdico e o relógio de mostarda.

Ele obteve a medalha de prata do CNRS em 1983 e é membro da Academia Francesa de Ciências .

Bibliografia

  • Ernest 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 . Cambridge University Press .
  • Jean-Yves Girard (2007). Le Point Aveugle, Cours de Logique . Hermann.
  • Jean-Yves Girard (2016). Le fantôme de la transparence . Éditions Allia.

Referências

links externos