Giuseppe Longo Explained

Giuseppe Longo
Birth Date:23 July 1947
Occupation:Mathematician, epistemologist, theoretical biologist, author, and academic
Education:Dr in Mathematics
Alma Mater:University of Pisa
Thesis Title:Complessità di calcolo delle funzioni ricorsive.
Thesis Year:1971

Giuseppe Longo is an Italian mathematician, epistemologist, theoretical biologist, author, and academic. He is the Research Director Emeritus at Centre national de la recherche scientifique at the Cavaillès interdisciplinary center of École Normale Supérieure (ENS) in Paris.[1]

Longo has conducted research in the fields of mathematics (focusing on the mathematics of computing) and its connections with biology, computer science, and physics. He has authored or co-authored five books entitled, 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 with M. Montévil (2014),[2] Mathematics and the Natural Sciences. The Physical Singularity of Life with F. Bailly (2011),[3] and Categories, Types and Structures. Category Theory for the working computer scientist with A. Asperti (1991).[4] He has published more than 100 peer-reviewed articles.

Longo is a Member of Academia Europaea,[5] and was the founder and Editor in Chief of Mathematical Structures in Computer Science from 1990 to 2015,[6] and co-founder of the Annals of Mathematics and Philosophy.[7]

Education

Longo earned his Italian doctorate in mathematics from the University of Pisa in 1971, with a thesis titled, "Complessità di calcolo delle funzioni ricorsive". He then pursued a three-year doctoral scholarship (perfezionamento) in "Logica e calcolabilita".[1]

Career

Following his university education in Pisa, Longo began his academic career as an assistant professor in 1973 in Applied Mathematics, then associate professor of Mathematical Logic in 1981 and a professor of Computer Science at the University of Pisa in 1987. He held four one-year appointments as young researcher at U. C. Berkeley in 1980 and M.I.T. in 1981, then as Invited Professor at Carnegie Mellon University in 1987 and Ecole Normale Supérieure in 1989.. From 2013 to 2019, he served as an adjunct professor in the School of Medicine at Tufts University in Boston, USA and as fellow, in 2014, at Institut d'Etudes Avancées, Nantes, France.[8]

Longo held the position of Research Director at Centre National de la recherche scientifique (CNRS) from 1990 to 2012 and has been serving as a Research Director Emeritus since 2012, always affiliated at ENS, Paris.

Research

During his early research career, Longo focused on analyzing the syntactic and semantic properties of fundamental functional programming languages including Lambda Calculus and Combinatory Logic. He integrated his research findings into a broader framework that explored the connections between diverse mathematical theories like recursion theory, type theory, category theory, and denotational semantics, and their practical implementation in functional languages.[9]

He then took an interdisciplinary approach to explore the role of physics in biology to comprehend extended criticality,[10] anti-entropy,[11] and biological time.[12] Later, his research was directed toward the epistemology of theoretical biology, and Interfaces of Physics, Biology, and Computing.[13]

Mathematics and computing

Longo used an interdisciplinary research approach to explore the relationship between several mathematical theories and computer science, particularly by investigating the mathematical semantics of programming languages.[14] His research contributed to constructing a mathematical framework regarding the theory of programming and generated results related to syntax and semantics. In related research he explored the structural properties of the set-theoretical models of lambda-calculus[15] and established new links to Recursion in Higher Types.[16] [17] Collaborating with E. Moggi he characterized hereditary effective operations (HEO) and Kleene-Kreisel countable functionals.[18] [19] In 1986, with S. Martini, he further analyzed the computability in higher types and proved a completeness theorem for type checking using a model that was created based on the idea of recursion theory.[20]

Longo's research in the field contributed towards the development of technical tools for polymorphism[21] and emphasized the connections between concepts utilized in computer science and mathematical structures derived from generalized recursion, demonstration theory, and category theory.[22] Between 1991 and 1993, he researched ad hoc polymorphism and demonstrated the characteristics of "parametricity" of second order systems[23] [24] as well as developed extension of classical functional systems.[25] [26] In addition, he proposed a novel analysis of the "invariance levels" of proofs through the concept of Prototype Proofs within Type Theory[27] which was later applied to investigate the concrete incompleteness theorem.[28]

Cognition and mathematics

In 1993, Longo made a thematic change in his research and elaborated the relatability of cognitive phenomena to the foundations of mathematical knowledge. He examined concepts such as mathematical continuity, infinity, computational representations[29] [30] and also investigated the significance of action and movement in shaping the understanding of geometric space.[31] His work provided insights into the role of order and symmetries in the cognitive foundations of mathematics.[32] Furthermore, he explored the relationship between the invention of perspective in painting and its connection to the foundations of geometry and the concept of infinity in mathematics.[33]

Longo's research in the field served as the initiating point for his project titled, Geometry and Cognition.[34] He has integrated the mathematical organization of space with the concept of causality in physics and natural science.[35] [36] Together with Bailly, he developed a mathematical theory that focused on understanding the notions of complexity and information within geometric structures and evaluated the geometry associated with different levels of the organization.[37] In addition, he initiated a team at LIENS called Complexity and Morphological Information which has been responsible for projects like "Physical singularities and effective computability".[38]

Epistemology and theoretical biology

Longo has researched theoretical biology in collaboration with biologists and philosophers of biology. His work includes the exploration of the concept of simplexity, which refers to the initiation of simple processes through complex pathways[39] and the study of association between randomness and the growth of biological organization in ontogenesis and evolution, which originated the notion of anti-entropy, following a 2009 paper with Bailly.[40] Additionally, he introduced the concepts of differential causality and enablement to understand causality in biology and argued that a significant aspect of biological evolution involves the continuous alteration of the relevant phase space.[41] His investigations have led to insights on the default state of cells characterized by proliferation, variation, and motility, as well as the proposal of a framing principle involving non-identical iterations of morphogenetic processes.[42] In 2017, he further explored the dependence of present and future dynamics of life on history, in comparison with path dependence in physics[43] as part of a theoretical framework to organize principles for biological thinking and experimenting.[44] Furthermore, he criticized the current uses of the notion of information in biology, within the framework of exploring the relationship between science and technology.[45]

Awards and honors

Bibliography

Books

Selected articles

Notes and References

  1. Web site: Giuseppe LONGO. www.di.ens.fr.
  2. Web site: Perspectives on organisms : biological time, symmetries and singularities WorldCat.org. www.worldcat.org.
  3. Web site: Mathematics and the natural sciences : the physical singularity of life.
  4. Web site: Categories, types, and structures: an introduction to category theory for the working computer scientist.
  5. Web site: Academy of Europe: Longo Giuseppe. www.ae-info.org.
  6. Web site: Editorial board. Cambridge Core.
  7. Web site: Editorial board – Math x Phi. July 22, 2021.
  8. Web site: Giuseppe LONGO – Fellows – Nantes Institute for Advanced Study Foundation. www.iea-nantes.fr.
  9. The Lambda-Calculus: connections to higher type Recursion Theory, Proof-Theory, Category Theory. Giuseppe . Longo. Annals of Pure and Applied Logic. 1988.
  10. The Inert vs. the Living State of Matter: Extended Criticality, Time Geometry, Anti-Entropy – An Overview. Giuseppe. Longo. Maël. Montévil. June 1, 2012. Frontiers in Physiology. 3. 10.3389/fphys.2012.00039 . free . 3286818.
  11. Biological organization and anti-entropy. Francis. Bailly. Giuseppe. Longo. March 1, 2009. Journal of Biological Systems. 17. 1. 63–96. worldscientific.com (Atypon). 10.1142/S0218339009002715.
  12. Book: Perspectives on Organisms: Biological time, Symmetries and Singularities. Giuseppe. Longo. Maël. Montévil. Giuseppe. Longo. Maël. Montévil. June 1, 2014. Springer. 99–119. Springer Link. 10.1007/978-3-642-35938-5_4.
  13. Web site: Models vs. Simulations: a comparison by their Theoretical Symmetries.
  14. Web site: Equality of lambda terms in the model T omega (1980) www.narcis.nl.
  15. Lambda-calculus models and extensionality . R. . Hindley . Longo . G. . Zeitschrift für Mathematische Logik und Grundlagen der Mathematik . 1980 . 26 . 19–21 . 289–310 . 10.1002/malq.19800261902 . Academia.edu . https://web.archive.org/web/20230601132349/https://d1wqtxts1xzle7.cloudfront.net/50736974/malq.1980026190220161205-18300-wks9wn-libre.pdf?1481009984=&response-content-disposition=inline%3B+filename%3DLambda_Calculus_Models_and_Extensionalit.pdf&Expires=1685628822&Signature=eXe2T7iuaGdQmicJteTlxJQ1HVYy3BHMSadchM8Eiif39AUFTg7-WeY1RxwA~kXyBdTgEo7JfquHr2S9TIO6-EjbCeBImoWsC-8jtNBr33iGOKPgqUfxvUC-OzKxF2rIoudxOTgggQDQ5NN5SixVN4R5Qg8yak7oYF-fUIsdxSGRA1CRRTV3w9Dd4fqsYfkpwckFryL0cbjE-Wx47Vlx0ypYEuWJCG1eoWPvMJ6170ue6LnLS0vtAYEiI4D7y~pisPSXsr-SL~XaQI6K3Dmh1lEpo3UVld7itzGIqhWfV-YiUYh2hrG48rx95tymVXtrpPJ~aBPRHuuvKI-sZPPz9w__&Key-Pair-Id=APKAJLOHF5GGSLRBV4ZA . 2023-06-01 . live.
  16. Web site: Recursion theoretic operators and morphims on numbered sets.
  17. Giuseppe . Longo . . 1984 . 62 . 36–63 . . Effectively Given Domains and Lambda-Calculus Models. 10.1016/S0019-9958(84)80009-1 . free .
  18. Web site: Four letters by Georg Kreisel.
  19. The hereditary partial effective functionals and recursion theory in higher types. G.. Longo. E.. Moggi. December 1, 1984. The Journal of Symbolic Logic. 49. 4. 1319–1332. Cambridge University Press. 10.2307/2274281. 2274281 . 18711951 .
  20. Computability in higher types, Pω and the completeness of type assignment. G.. Longo. S.. Martini. January 1, 1986. Theoretical Computer Science. 46. 197–217. ScienceDirect. 10.1016/0304-3975(86)90030-7.
  21. Web site: The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations.
  22. A category-theoretic characterization of functional completeness. Giuseppe. Longo. Eugenio. Moggi. January 26, 1990. Theoretical Computer Science. 70. 2. 193–211. ScienceDirect. 10.1016/0304-3975(90)90122-X.
  23. Web site: Parametric and Type-Dependent Polymorphism.
  24. The Genericity Theorem and effective Parametricity in Polymorphic lambda-calculus. Giuseppe. Longo. Kathleen. Milsted. Sergei. Soloviev. June 1, 1993. Theoretical Computer Science. 121. 1–2. 323. hal.science. 10.1016/0304-3975(93)90093-9.
  25. Book: https://link.springer.com/chapter/10.1007/BFb0037101. A semantics for λ &-early: a calculus with overloading and early binding. Giuseppe. Castagna. Giorgio. Ghelli. Giuseppe. Longo. Typed Lambda Calculi and Applications . Lecture Notes in Computer Science . Marc. Bezem. Jan Friso. Groote. June 1, 1993. 664 . Springer. 107–123. Springer Link. 10.1007/BFb0037101. 978-3-540-56517-8 .
  26. A Calculus for Overloaded Functions with Subtyping. G.. Castagna. G.. Ghelli. G.. Longo. February 15, 1995. Information and Computation. 117. 1. 115–135. ScienceDirect. 10.1006/inco.1995.1033. free.
  27. Prototype Proofs in Type Theory. Giuseppe. Longo. May 1, 2000. MLQ. 46. 2. 257–266. CrossRef. 10.1002/(SICI)1521-3870(200005)46:2<257::AID-MALQ257>3.0.CO;2-V.
  28. Reflections on Concrete Incompleteness. Giuseppe. Longo. October 1, 2011. Philosophia Mathematica. 19. 3. 255–280. IEEE Xplore. 10.1093/philmat/nkr016.
  29. Web site: The Mathematical Continuum: From Intuition to Logic* Giuseppe Longo CNRS and Ecole Normale Sup Иerieure 45, rue d'Ulm 75005 Par.
  30. Mathematical Intelligence, Infinity and Machines: Beyond Godelitis. Giuseppe. Longo. June 1, 1999. Journal of Consciousness Studies. 6. 11–12. 11–12. PhilPapers.
  31. Géométrie, mouvement, espace : cognition et mathématiques. Giuseppe. Longo. June 1, 1997. Intellectica. 25. 2. 195–218. www.persee.fr. 10.3406/intel.1997.1564.
  32. Mathematical Intuition and the Cognitive Roots of Mathematical Concepts. Giuseppe. Longo. Arnaud. Viarouge. April 1, 2010. Topoi. 29. 1. 15–27. Springer Link. 10.1007/s11245-009-9063-6. 73581533 .
  33. Web site: Mathematical Infinity "in prospettiva" and Spaces of Possibilities.
  34. Web site: Ecole Normale Supérieure. www.di.ens.fr.
  35. Book: Mind and Causality. Francis. Bailly. Giuseppe. Longo. February 25, 2004. John Benjamins. 149–197. www.jbe-platform.com.
  36. Book: Longo, Giuseppe. Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer. Robert. Epstein. Gary. Roberts. Grace. Beber. June 1, 2009. Springer Netherlands. 377–411. Springer Link. 10.1007/978-1-4020-6710-5_23.
  37. Web site: Objective and Epistemic Complexity in Biology.
  38. Incomputability in Physics and Biology. Giuseppe. Longo. October 1, 2012. Mathematical Structures in Computer Science. 22. 5. 880–900. Cambridge University Press. 10.1017/S0960129511000569. 7841889 .
  39. Book: https://hal.science/hal-01377260. L'incompressible complexité du réel et la construction évolutive du simple. Giuseppe. Longo. Maël. Montévil. Arnaud. Pocheville. Berthoz. Alain. Petit. Jean-Luc. Complexité-Simplexité. Collège de France. 2014. hal.science.
  40. Book: Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21–24, 2012, Revised Selected and Invited Papers. Giuseppe. Longo. Maël. Montévil. Michael J.. Dinneen. Bakhadyr. Khoussainov. André. Nies. June 1, 2012. Springer. 289–308. Springer Link. 10.1007/978-3-642-27654-5_22. 16929949 .
  41. Extended criticality, phase spaces and enablement in biology. Giuseppe. Longo. Maël. Montévil. October 1, 2013. Chaos, Solitons & Fractals. 55. 64–79. ScienceDirect. 10.1016/j.chaos.2013.03.008. 55589891 .
  42. In search of principles for a Theory of Organisms. Giuseppe. Longo. Maël. Montévil. Carlos. Sonnenschein. Ana M.. Soto. December 1, 2015. Journal of Biosciences. 40. 5. 955–968. Springer Link. 10.1007/s12038-015-9574-9. 26648040. 5505559.
  43. How Future Depends on Past and Rare Events in Systems of Life. Giuseppe. Longo. September 1, 2018. Foundations of Science. 23. 3. 443–474. Springer Link. 10.1007/s10699-017-9535-x. 254503548 .
  44. Information and Causality: Mathematical Reflections on Cancer Biology. Giuseppe. Longo. July 7, 2018. Organisms. Journal of Biological Sciences. 2. 1. 83–104. rosa.uniroma1.it. 10.13133/2532-5876_3.15.
  45. Book: Longo, Giuseppe. https://hal.archives-ouvertes.fr/hal-02904192/file/_2020_Trust-InfoScientism-exInterv.pdf. Information, Science and Democracy, for an Ethics of Scientific Knowledge. Trust . Studies in Applied Philosophy, Epistemology and Rational Ethics . Adriano. Fabris. June 1, 2020. 54 . Springer International Publishing. 63–79. Springer Link. 10.1007/978-3-030-44018-3_5. 978-3-030-44017-6 . 216489100 .

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Giuseppe Longo".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.