Jean-Yves Girard - Jean-Yves Girard

Jean-Yves Girard
Nacido 1947 (72 a 73 años de edad)
Lyon , Francia
Nacionalidad francés
alma mater École normale supérieure de Saint-Cloud
Universidad de París Diderot
Carrera científica
Campos Lógica
Instituciones CNRS
Asesor de doctorado Jean-Louis Krivine  [ fr ]

Jean-Yves Girard ( francés:  [ʒiʁaʁ] ; nacido en 1947) es un lógico francés que trabaja en la teoría de la prueba . Es director de investigación ( emérito ) del instituto de matemáticas de la Universidad de Aix-Marseille , en Luminy .

Biografía

Jean-Yves Girard es alumno de la École normale supérieure de Saint-Cloud .

Se hizo un nombre por sí mismo en la década de 1970 con su prueba de la fuerte normalización en un sistema de lógica de segundo orden denominado Sistema F . Este resultado dio una nueva prueba de la conjetura de Takeuti , que fue probada unos años antes por William W. Tait , Motō Takahashi y Dag Prawitz . Para ello, introdujo la noción de "candidato de reducibilidad" ("candidat de réducibilité"). También se le atribuye el descubrimiento de la paradoja de Girard , la lógica lineal , la geometría de la interacción , lo lúdico y el reloj mostaza.

Obtuvo la medalla de plata del CNRS en 1983 y es miembro de la Academia de Ciencias de Francia .

Bibliografía

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

Referencias

enlaces externos