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 |
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
- Página web oficial
- Jean-Yves Girard en el Proyecto de genealogía matemática
- Jean-Yves Girard en el servidor de bibliografía DBLP
- Journées Jean-Yves Girard sitio web de la conferencia de 2007 en honor al 60 aniversario de Girard
Este artículo sobre un matemático francés es un esbozo . Puedes ayudar a Wikipedia expandiéndolo . |