Lógico francés
Jean-Yves Girard ( nacido en 1947) es un lógico francés que trabaja en teoría de la demostración . Es director de investigación ( emérito ) en el instituto de matemáticas de la Universidad de Aix-Marsella , en Luminy .
Biografía
Jean-Yves Girard es alumno de la École normale supérieure de Saint-Cloud .
En la década de 1970 se hizo famoso con su prueba de normalización fuerte en un sistema de lógica de segundo orden llamado Sistema F. Este resultado proporcionó una nueva prueba de la conjetura de Takeuti , que había sido demostrada unos años antes por William W. Tait , Motō Takahashi y Dag Prawitz . Para este propósito, 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 , la lúdica y (satíricamente) el reloj mostaza. [1]
Obtuvo la Medalla de Plata del CNRS en 1983 y es miembro de la Academia Francesa de Ciencias .
Bibliografía
- Ernesto Nagel ; James R. Newman ; Kurt Godel ; Jean-Yves Girard (1989). El teorema de Gödel . Ediciones del Seuil.
- Jean-Yves Girard; P. Taylor; Yves Lafont (1989). Pruebas y tipos . Cambridge University Press .
- Jean-Yves Girard (2007). Le Point Aveugle, Cours de Logique . Hermann.
- Jean-Yves Girard (2011). El punto ciego: lecciones de lógica [2]
- Jean-Yves Girard (2016). El fantasma de la transparencia . Ediciones Allia.
Véase también
Referencias
- ^ Ringard, Yann-Joachim (1990). «Relojes de mostaza: un enfoque integrado del tiempo y la comida» . Consultado el 27 de mayo de 2018 .
- ^ Girard, Jean-Yves (2011). El punto ciego: lecciones de lógica. Zúrich, Suiza: European Mathematical Society. ISBN 978-3-03719-088-3.OCLC 757486610 .
Enlaces externos
- Sitio web oficial
- Jean-Yves Girard en el Proyecto de Genealogía Matemática
- Jean-Yves Girard en el servidor de bibliografía DBLP
- Sitio web de la conferencia de 2007 en honor del 60º cumpleaños de Girard
