From exact sciences to life phenomena: Following Schrödinger and Turing on Programs, Life and Causality

Information and Computation

Volumn 207, Issue 5, 2009, Pages 545-558

  Longo, Giuseppe ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR SYSTEMS; NONLINEAR SYSTEMS; RESONANCE; STABILITY;

ALGORITHMIC RANDOMNESS; BIOLOGICAL RHYTHMS; CONCEPTUAL ANALYSIS; CONTINUOUS DYNAMICS; POINCARE; STRONG FORMS; STRUCTURAL STABILITIES; SYSTEM BIOLOGIES; THREE BODIES; UNDECIDABILITY;

BIOLOGY;

EID: 63449140292     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2008.11.002     Document Type: Article

References (57)

1. L. Aceto, G. Longo, B. Victor, The difference between Sequential and Concurrent Computations, Special Issue, Mathematical Structures in Computer Science, nos. 4-5, Cambridge University Press, 2003.
2. In: Amsterdamski G., et al. (Ed). La querelle du déterminisme (1990), Gallimard, Paris
3. Aspect A., Grangier P., and Roger G. Experimental realization of the Einstein-Podolsky-Rosen-Bohm Gedanken experiment: a new violation of Bell's inequalities. Phys. Rev. Let. 49 (1982) 91
4. Asperti A., and Longo G. Categories, Types and Structures (1991), M.I.T. Press
5. Bailly F., and Longo G. Mathématiques et sciences de la nature. La singularité physique du vivant (2006), Hermann, Paris (English introduction, downloadable; ongoing translation)
6. Bailly F., and Longo G. Randomness and determination in the interplay between the continuum and the discrete. Mathematical Structures in Computer Science 17 2 (2007)
7. F. Bailly, G. Longo, Geometric, schemes for biological time, Invited Lecture, Conference on Episodic Memory and Time in Neurophysiology, Strasbourg, October, 2007 (French version: J. Boniface, P.A. Miquel (Eds.) Logique du vivant, no. 13, Noesis-Vrin à paraître, 2008).
8. Bailly F., and Longo G. Extended critical situation. Journal of Biological Systems (JBS) 16 2 (2008) 309-336
9. F. Bailly, G. Longo, Biological organization and anti-entropy, Journal of Biological Systems 17 (1) (2009), in press.
10. Bak P., Tang C.C., and Wiesenfeld K. Self-organized criticality. Physical Review A 38 (1988) 364-374
11. Barendregt H. The Lambda-Calculus: Its Syntax, Its Semantics (1984), North-Holland (rev. edit)
12. Bartel D. MicroRNAs: genomics, biogenesis, mechanism and function. Cell (Tome) 116 (2004) 281-297
13. Brett D., Pospisil H., Valcárcel J., Reich L., and Bork P. Alternative splicing and genome complexity. Nature Genetics 30 (2001)
14. Bohr N. Light and life. Nature 131 (1933)
15. J.P. Briot, Agents and concurrent objects, in: IEEE Concurrency: Parallel, Distributed and Mobile Computing, vol. 06, no. 4, 1998, pp. 74-77, 81.
16. L. Cardelli, Abstract machines of systems biology, in: Transactions on Computational Systems Biology, vol. III, LNBI 3737, Springer, 2005, pp. 145-168.
17. Connes A. Non-commutative Geometry (1994), Academic Press
18. Delmedico D.A., Chabert J.-L., and Chemla K. Chaos et déterminisme (1992), Seuil
19. Debru C. L'esprit des protéines (1983), Hermann, Paris
20. Delamotte B. A hint of renormalization. American Journal of Physics 72 (2004) 170-184
21. Devaney R.L. An introduction to Chaotic Dynamical Systems (1989), Addison-Wesley
22. Fox Keller E. The Century of the Gene (2000), Gallimard
23. S. Galatolo, M. Hoyrup, C. Rojas, Effective symbolic dynamics, random points, statistical behavior, complexity and entropy, submitted for publication.
24. S. Galatolo, M. Hoyrup, C. Rojas, A Constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties, submitted for publication.
25. Girard J.Y., Lafont Y., and Taylor P. Proofs and Types (1990), Cambridge University Press
26. Goldenfeld G. Lectures on phase transitions and the renormalization group. Frontiers in Physics (1992)
27. Gould S.J. La,vie est belle (1991), Seuil
28. Herrenschmidt C. Les trois écritures (2007), Gallimard
29. M. Hyland, A. Pitts, The Theory of Constructions: categorical semantics and topos theoretic models, in: Categories in C.S. and Logic, Boulder (AMS notes), 1987.
30. Kauffman S.A. The Origins of Order (1993), Oxford University Press
31. Kupiec J.-J., and Sonigo P. Ni Dieu, ni géne (2000), Seuil
32. Jean R.V. Phyllotaxis: A Systemic Study in Plant Morphogenesis (1994), Cambridge University Press
33. Laguës M., and Lesne A. Invariance d'échelle (2003), Belin, Paris
34. Lassègue J. Turing (1998), Les Belles Lettres, Paris
35. Laskar J. Large scale chaos in the Solar System. Astron. Astrophysics 287 (1994) L9 L12
36. G. Longo, Reflections on Incompleteness (or On the proofs of some formally unprovable propositions and Prototype Proofs in Type Theory), Invited Lecture, Types for Proofs and Programs, Durham, (GB), in: Callaghan et al. (Eds.), Lecture Notes in Computer Science, vol. 2277, 2002, Springer, pp. 160-180.
37. Longo G. Laplace, Turing and the "imitation game" impossible geometry: randomness, determinism and programs in Turing's test. In: Epstein R., Roberts G., and Beber G. (Eds). The Turing Test Sourcebook (2007), Kluwer, Dordrecht, The Netherlands
38. Longo G. Critique of computational reason in the natural sciences. In: Gelenbe E., and Kahane J.-P. (Eds). Fundamental Concepts in Computer Science (2008), Imperial College Press/World Scientific
39. Longo G., and Moggi E. Constructive natural deduction and its omega-set interpretation. Mathematical Structures in Computer Science 1 2 (1991)
40. Longo G., and Paul T. The mathematics of computing between logic and physics. In: Cooper, and Sorbi (Eds). Invited paper, Computability in Context: Computation and Logic in the Real World (2008), Imperial College Press/World Scientific
41. G. Longo, P.E. Tendero, The differential method and the causal incompleteness of Programming Theory in Molecular Biology, in: Foundations of Science, no. 12, pp. 337-366, 2007 (preliminary version in French in Evolution des concepts fondateurs de la biologie du XXIe siècle, DeBoeck, Paris, 2007).
42. Longy F. Mathématiques et intuitions: Zermelo et Poincaré face à la théorie axiomatique des ensembles et l'axiome du choix. Philosophia Scientiae 5 2 (2001) 51-87
43. Martin-Löf P. The definition of random sequences. Information and Control 9 (1966) 602-619
44. Monod J. Le Hasard et la Nécessité (1973), PUF
45. M. Mossio, G. Longo, J. Stewart, Computability of closure to efficient causation, in preparation.
46. Nicolis G., and Prigogine I. Self-organization in Non-equilibrium Systems (1977), Wiley, New York
47. Pauling L. Schrödinger contribution to chemistry and biology. In: Kilmister (Ed). Schrödinger (1987), Cambridge University Press
48. Perutz M.F.E. Schrödinger's what is life? and molecular biology. In: Kilmister (Ed). Schrödinger (1987), Cambridge University Press
49. Ricard J. Biological Complexity and the Dynamics of Life Processes (1999), Elsevier
50. Schrödinger E. What is Life? (1944), Cambridge University Press
51. Stewart J. La vie existe-t-elle? (2004), Vuibert, Paris
52. Thom R. Stabilité structurelle et Morphogénèse (1972), Benjamin, Paris
53. Turing A.M. Computing machines and intelligence. Mind LIX 236 (1950) 433-460
54. Turing A.M. The chemical basis of morphogenesis. Philos. Trans. Roy. Soc. B237 (1952) 37-72
55. Varela F.J., Maturana H.R., and Uribe R. Autopoiesis: the organization of living systems, its characterization and a model. Biosystems 5 (1974) 187-196
56. Varenne F. Du modèleà la simulation informatique (2007), Vrin, Paris
57. V'yugin, and Vladimir V. Ergodic theorems for individual random sequences. Theoretical Computer Science 207 (1998) 343-361