lógico francés
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 matemático 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 en la década de 1970 con su prueba de una fuerte normalización en un sistema de lógica de segundo orden llamado Sistema F. Este resultado proporcionó 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 el concepto 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 de Ciencias de Francia .
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 . Prensa de la Universidad de Cambridge .
- Jean-Yves Girard (2007). Le Point Aveugle, Cours de Logique . Hermann.
- Jean-Yves Girard (2011). El punto ciego: conferencias sobre lógica [2]
- Jean-Yves Girard (2016). El fantasma de la transparencia . Ediciones Allia.
Ver también
Referencias
- ^ Ringard, Yann-Joachim (1990). "Relojes mostaza: un enfoque integrado del tiempo y la comida" . Consultado el 27 de mayo de 2018 .
- ^ Girard, Jean-Yves (2011). El punto ciego: conferencias sobre lógica. Zúrich, Suiza: Sociedad Matemática Europea. ISBN 978-3-03719-088-3. OCLC 757486610.
enlaces externos
- Página web oficial
- Jean-Yves Girard en el Proyecto Genealogía de Matemáticas
- Jean-Yves Girard en el servidor de bibliografía DBLP
- Sitio web de Journées Jean-Yves Girard de la conferencia de 2007 en honor al 60 cumpleaños de Girard