stringtranslate.com

Giuseppe Longo

Giuseppe Longo es un matemático , epistemólogo , biólogo teórico , autor y académico italiano . Es el director de investigación emérito del Centre national de la recherche scientifique del centro interdisciplinario Cavaillès de la École Normale Supérieure (ENS) de París . [1]

Longo ha realizado investigaciones en los campos de las matemáticas (centrándose en las matemáticas de la computación) y sus conexiones con la biología , la informática y la física . Es autor o coautor de cinco libros titulados, Le cauchemar de Prométhée. Les sciences et leurs limites (2023), Matematica e senso. Per non divenir macchine (2022), Perspectives on Organisms: Biological Time, Symmetries and Singularities con M. Montévil (2014), [2] Mathematics and the Natural Sciences. The Physical Singularity of Life con F. Bailly (2011), [3] y Categories, Types and Structures. Category Theory for the working computer scientists con A. Asperti (1991). [4] Ha publicado más de 100 artículos revisados ​​por pares.

Longo es miembro de la Academia Europaea , [5] y fue el fundador y editor en jefe de Estructuras matemáticas en ciencias de la computación de 1990 a 2015, [6] y cofundador de Annals of Mathematics and Philosophy . [7]

Educación

Longo obtuvo su doctorado italiano en matemáticas de la Universidad de Pisa en 1971, con una tesis titulada "Complessità di calcolo delle funzioni ricorsive". Luego obtuvo una beca de doctorado (perfezionamento) de tres años en "Logica e calcolabilità". [1]

Carrera

Tras su formación universitaria en Pisa, Longo comenzó su carrera académica como profesor asistente en 1973 en Matemáticas Aplicadas, luego profesor asociado de Lógica Matemática en 1981 y profesor de Ciencias de la Computación en la Universidad de Pisa en 1987. Ocupó cuatro nombramientos de un año como joven investigador en UC Berkeley en 1980 y MIT en 1981, luego como Profesor Invitado en la Universidad Carnegie Mellon en 1987 y Ecole Normale Supérieure en 1989. De 2013 a 2019, se desempeñó como profesor adjunto en la Facultad de Medicina de la Universidad Tufts en Boston, EE. UU. y como becario, en 2014, en el Institut d'Etudes Avancées, Nantes, Francia. [8]

Longo ocupó el cargo de Director de Investigación en el Centro Nacional de Investigación Científica (CNRS) de 1990 a 2012 y se desempeña como Director de Investigación Emérito desde 2012, siempre afiliado a la ENS, París.

Investigación

Durante el inicio de su carrera investigadora, Longo se centró en analizar las propiedades sintácticas y semánticas de los lenguajes de programación funcional fundamentales, incluidos el cálculo lambda y la lógica combinatoria . Integró los resultados de su investigación en un marco más amplio que exploraba las conexiones entre diversas teorías matemáticas, como la teoría de la recursión , la teoría de tipos , la teoría de categorías y la semántica denotacional , y su implementación práctica en lenguajes funcionales. [9]

Luego adoptó un enfoque interdisciplinario para explorar el papel de la física en la biología para comprender la criticidad extendida, [10] la antientropía, [11] y el tiempo biológico. [12] Más tarde, su investigación se orientó hacia la epistemología de la biología teórica y las interfaces de la física, la biología y la informática. [13]

Matemáticas y computación

Longo utilizó un enfoque de investigación interdisciplinario para explorar la relación entre varias teorías matemáticas y la ciencia de la computación, particularmente investigando la semántica matemática de los lenguajes de programación. [14] Su investigación contribuyó a construir un marco matemático con respecto a la teoría de la programación y generó resultados relacionados con la sintaxis y la semántica. En una investigación relacionada, exploró las propiedades estructurales de los modelos teóricos de conjuntos del cálculo lambda [15] y estableció nuevos vínculos con la recursión en tipos superiores. [16] [17] En colaboración con E. Moggi, caracterizó las operaciones efectivas hereditarias (HEO) y los funcionales contables de Kleene-Kreisel. [18] [19] En 1986, con S. Martini, analizó más a fondo la computabilidad en tipos superiores y demostró un teorema de completitud para la verificación de tipos utilizando un modelo que se creó con base en la idea de la teoría de la recursión. [20]

La investigación de Longo en este campo contribuyó al desarrollo de herramientas técnicas para el polimorfismo [21] y enfatizó las conexiones entre los conceptos utilizados en la ciencia de la computación y las estructuras matemáticas derivadas de la recursión generalizada, la teoría de la demostración y la teoría de categorías. [22] Entre 1991 y 1993, investigó el polimorfismo ad hoc y demostró las características de "parametricidad" de los sistemas de segundo orden [23] [24] , así como la extensión desarrollada de los sistemas funcionales clásicos. [25] [26] Además, propuso un análisis novedoso de los "niveles de invariancia" de las pruebas a través del concepto de Pruebas Prototipo dentro de la Teoría de Tipos [27] que luego se aplicó para investigar el teorema de incompletitud concreta. [28]

Cognición y matemáticas

En 1993, Longo realizó un cambio temático en su investigación y elaboró ​​la relación de los fenómenos cognitivos con los fundamentos del conocimiento matemático. Examinó conceptos como la continuidad matemática, el infinito, las representaciones computacionales [29] [30] y también investigó la importancia de la acción y el movimiento en la conformación de la comprensión del espacio geométrico. [31] Su trabajo proporcionó información sobre el papel del orden y las simetrías en los fundamentos cognitivos de las matemáticas. [32] Además, exploró la relación entre la invención de la perspectiva en la pintura y su conexión con los fundamentos de la geometría y el concepto de infinito en las matemáticas. [33]

La investigación de Longo en este campo sirvió como punto de partida para su proyecto titulado Geometría y Cognición . [34] Ha integrado la organización matemática del espacio con el concepto de causalidad en física y ciencias naturales. [35] [36] Junto con Bailly, desarrolló una teoría matemática que se centró en comprender las nociones de complejidad e información dentro de las estructuras geométricas y evaluó la geometría asociada con diferentes niveles de organización. [37] Además, inició un equipo en LIENS llamado Complejidad e Información Morfológica que ha sido responsable de proyectos como "Singularidades físicas y computabilidad efectiva". [38]

Epistemología y biología teórica

Longo ha investigado la biología teórica en colaboración con biólogos y filósofos de la biología. Su trabajo incluye la exploración del concepto de simplexidad, que se refiere a la iniciación de procesos simples a través de vías complejas [39] y el estudio de la asociación entre la aleatoriedad y el crecimiento de la organización biológica en la ontogénesis y la evolución, que originó la noción de antientropía, a raíz de un artículo de 2009 con Bailly. [40] Además, introdujo los conceptos de causalidad diferencial y habilitación para comprender la causalidad en biología y argumentó que un aspecto significativo de la evolución biológica implica la alteración continua del espacio de fase relevante. [41] Sus investigaciones han llevado a conocimientos sobre el estado predeterminado de las células caracterizado por la proliferación, la variación y la motilidad, así como a la propuesta de un principio de encuadre que implica iteraciones no idénticas de procesos morfogenéticos. [42] En 2017, exploró más a fondo la dependencia de la dinámica presente y futura de la vida con respecto a la historia, en comparación con la dependencia de la trayectoria en física [43] como parte de un marco teórico para organizar los principios del pensamiento y la experimentación biológica. [44] Además, criticó los usos actuales de la noción de información en biología, en el marco de la exploración de la relación entre ciencia y tecnología. [45]

Premios y honores

Bibliografía

Libros

Artículos seleccionados

Referencias

  1. ^ de "Giuseppe LONGO". www.di.ens.fr .
  2. ^ "Perspectivas sobre los organismos: tiempo biológico, simetrías y singularidades | WorldCat.org". www.worldcat.org .
  3. ^ "Matemáticas y ciencias naturales: la singularidad física de la vida".
  4. ^ "Categorías, tipos y estructuras: una introducción a la teoría de categorías para el científico informático en activo".
  5. ^ ab "Academia de Europa: Longo Giuseppe". www.ae-info.org .
  6. ^ "Consejo editorial". Cambridge Core .
  7. ^ "Consejo editorial – Math x Phi". 22 de julio de 2021.
  8. ^ "Giuseppe LONGO – Becario – Fundación Instituto de Estudios Avanzados de Nantes". www.iea-nantes.fr .
  9. ^ Longo, Giuseppe (1988). "El cálculo lambda: conexiones con la teoría de la recursión de tipo superior, la teoría de la demostración y la teoría de categorías" (PDF) . Anales de lógica pura y aplicada .
  10. ^ Longo, Giuseppe; Montévil, Maël (1 de junio de 2012). "El estado inerte frente al estado vivo de la materia: criticidad extendida, geometría del tiempo, antientropía: una descripción general". Frontiers in Physiology . 3 : 39. doi : 10.3389/fphys.2012.00039 . PMC 3286818 . PMID  22375127. 
  11. ^ Bailly, Francis; Longo, Giuseppe (1 de marzo de 2009). «Organización biológica y antientropía». Journal of Biological Systems . 17 (1): 63–96. doi :10.1142/S0218339009002715 – vía worldscientific.com (Atypon).
  12. ^ Longo, Giuseppe; Montévil, Maël (1 de junio de 2014). Longo, Giuseppe; Montévil, Maël (eds.). Perspectivas sobre los organismos: tiempo biológico, simetrías y singularidades. Saltador. págs. 99-119. doi :10.1007/978-3-642-35938-5_4 – a través de Springer Link.
  13. ^ "Modelos vs. Simulaciones: una comparación por sus simetrías teóricas".
  14. ^ "Igualdad de términos lambda en el modelo T omega (1980) | www.narcis.nl".
  15. ^ Hindley, R.; Longo, G. (1980). "Modelos de cálculo lambda y extensionalidad". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik . 26 (19–21): 289–310. doi :10.1002/malq.19800261902. Archivado (PDF) desde el original el 1 de junio de 2023, a través de Academia.edu .
  16. ^ "Operadores y morfismos teóricos de recursión en conjuntos numerados" (PDF) .
  17. ^ Longo, Giuseppe (1984). "Dominios efectivamente dados y modelos de cálculo lambda". Información y control . 62 : 36–63. doi : 10.1016/S0019-9958(84)80009-1 – vía Academia.edu .
  18. ^ "Cuatro cartas de Georg Kreisel" (PDF) .
  19. ^ Longo, G.; Moggi, E. (1 de diciembre de 1984). "Los funcionales efectivos parciales hereditarios y la teoría de la recursión en tipos superiores". The Journal of Symbolic Logic . 49 (4): 1319–1332. doi :10.2307/2274281. JSTOR  2274281. S2CID  18711951 – vía Cambridge University Press.
  20. ^ Longo, G.; Martini, S. (1 de enero de 1986). "Computabilidad en tipos superiores, Pω y completitud de la asignación de tipos". Theoretical Computer Science . 46 : 197–217. doi :10.1016/0304-3975(86)90030-7 – vía ScienceDirect.
  21. ^ "El modelo de proyección finitaria para el cálculo lambda de segundo orden y soluciones a ecuaciones de dominio de orden superior".
  22. ^ Longo, Giuseppe; Moggi, Eugenio (26 de enero de 1990). "Una caracterización teórica de la completitud funcional". Theoretical Computer Science . 70 (2): 193–211. doi :10.1016/0304-3975(90)90122-X – vía ScienceDirect.
  23. ^ "Polimorfismo paramétrico y dependiente del tipo".
  24. ^ Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei (1 de junio de 1993). "El teorema de genericidad y la parametricidad efectiva en el cálculo lambda polimórfico". Ciencias de la computación teórica . 121 (1–2): 323. doi :10.1016/0304-3975(93)90093-9 – vía hal.science.
  25. ^ Castagna, Giuseppe; Ghelli, Giorgio; Longo, Giuseppe (1 de junio de 1993). "Una semántica para λ &-early: un cálculo con sobrecarga y enlace temprano". En Bezem, Marc; Groote, Jan Friso (eds.). Cálculos lambda tipificados y aplicaciones . Apuntes de clase en informática. Vol. 664. Springer. págs. 107–123. doi :10.1007/BFb0037101. ISBN. 978-3-540-56517-8– vía Springer Link.
  26. ^ Castagna, G.; Ghelli, G.; Longo, G. (15 de febrero de 1995). "Un cálculo para funciones sobrecargadas con subtipificación". Información y computación . 117 (1): 115–135. doi : 10.1006/inco.1995.1033 .
  27. ^ Longo, Giuseppe (1 de mayo de 2000). "Pruebas prototipo en teoría de tipos". MLQ . 46 (2): 257–266. doi :10.1002/(SICI)1521-3870(200005)46:2<257::AID-MALQ257>3.0.CO;2-V – vía CrossRef.
  28. ^ Longo, Giuseppe (1 de octubre de 2011). "Reflexiones sobre la incompletitud concreta". Philosophia Mathematica . 19 (3): 255–280. doi :10.1093/philmat/nkr016 – vía IEEE Xplore.
  29. ^ "El continuo matemático: de la intuición a la lógica* Giuseppe Longo CNRS y Ecole Normale Sup Иerieure 45, rue d'Ulm 75005 Par" (PDF) .
  30. ^ Longo, Giuseppe (1 de junio de 1999). "Inteligencia matemática, infinito y máquinas: más allá de la godelitis". Journal of Consciousness Studies . 6 (11–12): 11–12 – vía PhilPapers.
  31. ^ Longo, Giuseppe (1 de junio de 1997). "Géométrie, mouvement, espace: cognición y matemáticas". Intellectica . 25 (2): 195–218. doi :10.3406/intel.1997.1564 – a través de www.persee.fr.
  32. ^ Longo, Giuseppe; Viarouge, Arnaud (1 de abril de 2010). "Intuición matemática y raíces cognitivas de los conceptos matemáticos". Topoi . 29 (1): 15–27. doi :10.1007/s11245-009-9063-6. S2CID  73581533 – vía Springer Link.
  33. ^ "Infinito matemático "en prospettiva" y espacios de posibilidades" (PDF) .
  34. ^ "Escuela Normal Superior". www.di.ens.fr.​
  35. ^ Bailly, Francis; Longo, Giuseppe (25 de febrero de 2004). "9. Espacio, tiempo y cognición: desde el punto de vista de las matemáticas y las ciencias naturales". Mente y causalidad. John Benjamins. pp. 149–197 – vía www.jbe-platform.com.
  36. ^ Longo, Giuseppe (1 de junio de 2009). Epstein, Robert; Roberts, Gary; Beber, Grace (eds.). Análisis del test de Turing: cuestiones filosóficas y metodológicas en la búsqueda de la computadora pensante. Springer Netherlands. págs. 377–411. doi :10.1007/978-1-4020-6710-5_23 – vía Springer Link.
  37. ^ "Complejidad objetiva y epistémica en biología" (PDF) .
  38. ^ Longo, Giuseppe (1 de octubre de 2012). "Incomputabilidad en Física y Biología". Estructuras matemáticas en informática . 22 (5): 880–900. doi :10.1017/S0960129511000569. S2CID  7841889 – vía Cambridge University Press.
  39. ^ Longo, Giuseppe; Montévil, Maël; Pocheville, Arnaud (2014). "L'incompresible complexité du réel et la construcción évolutive du simple". En Berthoz, Alain; Petit, Jean-Luc (eds.). Complejidad-Simplexité . Collège de France - vía hal.science.
  40. ^ Longo, Giuseppe; Montévil, Maël (1 de junio de 2012). Dinneen, Michael J.; Khoussainov, Bakhadyr; Nies, André (eds.). Computación, física y más allá: Taller internacional sobre informática teórica, WTCS 2012, dedicado a Cristian S. Calude con motivo de su 60.º cumpleaños, Auckland, Nueva Zelanda, 21-24 de febrero de 2012, Documentos revisados, seleccionados e invitados. Springer. pp. 289-308. doi :10.1007/978-3-642-27654-5_22. S2CID  16929949 – vía Springer Link.
  41. ^ Longo, Giuseppe; Montévil, Maël (1 de octubre de 2013). "Criticidad extendida, espacios de fases y habilitación en biología". Chaos, Solitons & Fractals . 55 : 64–79. Bibcode :2013CSF....55...64L. doi :10.1016/j.chaos.2013.03.008. S2CID  55589891 – vía ScienceDirect.
  42. ^ Longo, Giuseppe; Montévil, Maël; Sonnenschein, Carlos; Soto, Ana M. (1 de diciembre de 2015). "En busca de principios para una teoría de los organismos". Journal of Biosciences . 40 (5): 955–968. doi :10.1007/s12038-015-9574-9. PMC 5505559 . PMID  26648040 – vía Springer Link. 
  43. ^ Longo, Giuseppe (1 de septiembre de 2018). "Cómo el futuro depende de eventos pasados ​​y raros en los sistemas de vida". Fundamentos de la ciencia . 23 (3): 443–474. doi :10.1007/s10699-017-9535-x. S2CID  254503548 – vía Springer Link.
  44. ^ Longo, Giuseppe (7 de julio de 2018). "Información y causalidad: reflexiones matemáticas sobre la biología del cáncer". Organismos. Revista de Ciencias Biológicas . 2 (1): 83–104. doi :10.13133/2532-5876_3.15 – vía rosa.uniroma1.it.
  45. ^ Longo, Giuseppe (1 de junio de 2020). "Información, ciencia y democracia, para una ética del conocimiento científico" (PDF) . En Fabris, Adriano (ed.). Trust . Estudios en filosofía aplicada, epistemología y ética racional. Vol. 54. Springer International Publishing. págs. 63–79. doi :10.1007/978-3-030-44018-3_5. ISBN . 978-3-030-44017-6. S2CID  216489100 – a través de Springer Link.