The differential method and the causal iIncompleteness of programming theory in molecular biology

Foundations of Science

Volumn 12, Issue 4, 2007, Pages 337-366

  Longo, Giuseppe ^a,b   Tendero, Pierre Emmanuel ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b Centre de Recherche en Epistemologie Appliquee Ecole Polytechnique   (France)

Author keywords

Differential methods in Physics and Biology; Genome; Programming theory; System Biology

Indexed keywords

DIFFERENTIAL METHODS; EMPIRICAL INVESTIGATION; FUNDAMENTAL TOOLS; PROGRAMMING PARADIGMS; SYSTEM BIOLOGY; THEORETICAL MODELING;

BIOMOLECULES; COMPUTER SCIENCE; GENES; PROGRAMMING THEORY;

BIOPHYSICS;

EID: 38949154784     PISSN: 12331821     EISSN: 15728471     Source Type: Journal    
DOI: 10.1007/s10699-007-9111-x     Document Type: Article

References (84)

1. (Longo's articles are "downloadable" de "http://www.di.ens.fr/users/longo" ou Google: Search: Giuseppe Longo).
2. Aceto, L., Longo, G., & Victor, B. (Eds.). (2003). The difference between sequential and concurrent computations. Special issue, Mathematical structures in computer science (n. 4-5). Cambridge University Press.
3. Ahouse J.C., Keller E.F. (1997). Writing and reading about 'Dolly'. BioEssays 19, 741-742
4. Allis C., Jenuwein T. (2001). Translating the histone code. Science 293, 1074-1080
5. Amadio, R., & Curien, P.-L. (1998). Domains and lambda-calculi. Birkhuaser.
6. Apter, M. J. (1966). Cybernetics and Development. Pergamon.
7. Aristote. Paris. Physique. (1862).
8. Aristote, edition numérique: http://www.clerus.org Traité de l'Âme. (2007).
9. Asperti, A., Longo, G. (1991). Categories, types and structures. M.I.T. Press
10. Atlan, H. (1972). L'Organisation biologique et la théorie de l'information. Hermann.
11. Atlan H., Koppel M. (1990). The cellular computer DNA; program or data. Bulletin of Mathematical Biology 52, 335-348
12. Bailly F., Longo G. (2006). Mathématiques et sciences de la nature. La singularité physique du vivant. Paris, Hermann
13. Barendregt, H. (1984). The lambda-calculus: Its syntax, its semantics. North-Holland (rev. edit.).
14. Barendregt, H., & Longo, G. (1980). Equality of lambda terms in the model T. In J. Seldin & R. Hindley (Eds.), To H.B. Curry: Essays in combinatory logic, lambda-calculus and formalism (pp. 303-337). London: Academic Press.
15. Bartel D. (2004). MicroRNAs: Genomics, biogenesis, mechanism and function. Cell 116, 281-297
16. Beadle G.W., Tatum E.L. (1941). Genetic control of developmental reactions. American Nauturalist 75, 107-116
17. Bernard-Weil, E. (2002). Ago-Antagonistic systèmes. In M. Mugur-Schachter (Ed.), Quantum Mechanics, Mathematics, Cognition and Action (pp. 433-463). Kluwer.
18. Bernot A. (2001). Analyse de génomes, transcriptomes et proteins. Dunod, Paris
19. Beurton, P.-J., et al. (2000). The concept of the gene in development and evolution: Historical and epistemological perspectives. Cambridge University Press.
20. Bjedov I., Denamu E., Gerard B., Matic I., Tenaillon O., Rardman M., Souza V., Taddei F. (2003). Stress-induced mutagenesis in bacteria. Science 300, 1404-1409
21. Black D.L. (1998). Splicing in the inner ear: A familiar tune, but what are the instruments?. Neuron 20, 165-168
22. Boffelli D., Nobrega M., Rubin E. (2004). Comparative genomics at the vertebrates extremes. Nature Reviews Genetics 5, 456-465
23. Boguski M., Hieter P. (1997). Functional genomics: It's all about how you read it. Science 278, 601-602
24. Bonner, J. (1965). The molecular biology of development. Oxford University Press.
25. Brenner S., Dove W., Herskowitz I., Thomas R. (1990). Genes and development: Molecular and logical themes. Genetics 126, 479-486
26. Brett D., Pospisil H., Valcárcel J., Reich J., Bork P. (2001). Alternative splicing and genome complexity. Nature Genetics 30, 29-30
27. Burnet, F. M. (1982). Le Programme et l'Erreur (1978). Albin Michel.
28. Campbell K.H.S., Kind A.J., Schnieke A.E., McWhir J., Wilmut I. (1997). Viable offspring derived from fetal and adult mammalian cells. Nature 385, 810-813
29. Cappuccio, M. (2003). Traces of computational mind: From wax tablets to Turing machine. In G. Longo (Ed.), Géométrie et cognition, Editions rue d'Ulm, 124, s.5, 43-60.
30. Chapouthier G., Matras J.-J. (1984). La Néguentropie: Un artefact?. Fundamenta Scientiæ 2, 141-151
31. Collectif (1965). Le Concept d'information dans la science contemporaine. Cahiers de Royaumont, Minuit-Gauthier-Villars.
32. Collectif (1995). Biologie moléculaire de la cellule. Flammarion.
33. Creager A.N., Gaudilliére J.-P. (1996). Meanings in search of experiments and vice-versa: The invention of allosteric regulation in Paris and Berkeley, 1889-1968. Historical Studies in the Physical and Biological Sciences 27, 1-89
34. Crick F.H.C. (1957). On protein synthesis. Symposia of the Society for Experimental Biology 12, 138-163
35. Crick F.H.C., Watson J.D. (1953a). Molecular structure of nucleic acids. Nature 171, 737-738
36. Crick F.H.C., Watson J.D. (1953b). Genetical implications of the structure of deoxyribonucleic acid. Nature 171, 964
37. Danchin, A. (2003). The Delphic boat: What genomes tell us. Harvard University Press.
38. de Vries, H. (1909). Espèces et variétés, leur naissance par mutations. Traduction de L. Blaringhem. Alcan.
39. Eddy S. (2001). Non-coding RNA genes and the modern RNA world. Nature Reviews Genetics 2, 919-929
40. Edelman G.M., Gally J.A. (2001). Degeneracy and complexity in biological systems. Proceedings of the National Academy of Science 24, 13763-13768
41. Edelman, G., & Tononi, G. (2000). A universe of consciousness. How matter becomes immagination. Basic Books.
42. Enard W., et al. (2002). Intra- and inter-specific variation in primate gene expression patterns. Science 296, 340-343
43. Feingold, J., & Serre, J.-L. (1993). Génétique humaine, De la transmission des caractères à l'analyse de l'ADN. INSERM-Nathan.
44. Frege, G. (1884). The foundations of arithmetic (english Trans. Evanston, 1980).
45. Gilbert W. (1978). Why genes in pieces?. Nature 271, 501
46. Godell B., Gouyon P.H., Maynard-Smith J., Radman M., Taddei F., Toupance B. (1997). Role of mutator alleles in adaptative evolution. Nature 387, 700-702
47. Goldschmidt, R. (1938). Physiological genetics. McGraw-Hill.
48. Goodwin B. (1985). What are the causes of morphogenesis?. BioEssays 3, 32-36
49. Goubault, E. (Ed.). (2000). Geometry in concurrency. Special issue, Mathematical structures in computer science (Vol. 10, n. 4). Cambridge University Press.
50. Gros, F. (1991). Les Secrets du gène. O. Jacob/Points-Seuil.
51. Havelock, E. A. (1976). Origins of Western Literacy. Toronto: Ontario Institute for Studies in Education.
52. Herrenschmidt, C., et al. (Eds.). (1996). Albin-Michel: L'Orient et nous.
53. Jablonka, E., & Lamb, M. (1995). Epigenetic inheritance and evolution. Oxford University Press.
54. Jacob F., Monod J. (1959). Gènes de structure et gènes de régulation dans la biosynthèse des protéines. Comptes rendus de l'Académie des Sciences de Paris 349, 1282-1284
55. Kupiec J.-J. (1996). A chance-selection model for cellular differentiation. Cells, Death & Differentiation 3, 385-390
56. Kupiec, J.-J., & Sonigo, P. (2000). Ni Dieu, ni gène. Seuil.
57. Laskar, J. (1992). La stabilité du système solaire. In E. Dahan et al. (Eds.), Chaos et déterminisme. Seuil.
58. Laskar J. (1994). Large scale chaos in the solar system. Astronomy and Astrophysics 287, L9-L12
59. Lewontin, R. (1997). The confusion over cloning. New York Review of Book.
60. Longo, G. (2002). Laplace, Turing et la géométrie impossible du "jeu de l'imitation": Aléas, déterminisme et programmes dans le test de Turing. Conférence invitée, Colloque Cognition, meaning and complexity, Univ. Roma II, June 2002; paru dans Intellectica, n. 35, 2002/2.
61. Matherat, P., & Jaekel, M.-T. (2003). Concurrent computing machines and physical space-time. Special issue, Mathematical structures in computer science (Vol. 13, n. 5). Cambridge University Press.
62. Mayr E. (1959). Cause and effect in biology. Science 24, 1-14
63. Mendel, G. (1907). Recherches sur des hybrides végétaux. Traduction A. de Chappellier. Bulletin scientifique de la France et de la Belgique 41, 371-419
64. Morange, M. (1994). Histoire de la biologie moléculaire. La Découverte.
65. Morange, M. (1998). La Part des genes. Odile Jacon.
66. Morgan, T. H. (1926). The theory of the gene. Yale University Press, 1928.
67. Morgan, T. H. (1934). Embryologie et Génétique. Traduction J. de Rostand, Gallimard, 1936.
68. Nijhout F. (2002). The nature of robustness in development. BioEssays 24, 553-563
69. Nouvel, P. (2002). Modèles et métaphores dans. In P. Nouvel (Ed.), Enquête sur le concept de modèle. Presses Univ. de France.
70. Ong W.J. (1988). Orality and literacy: The technologizing of the word. In T. Hawkes (Ed.), New accents. Methuen, New York
71. Pentris, S., Tooze, J., & Hunt, T. (Eds.). (1983). DNA makes RNA makes protein. Elsevier.
72. Portin P. (1993). The concept of the gene: Short history and present status. Quarterly Review of Biology 68, 173-223
73. Shannon, C. E., & Weaver, W. (1975). Théorie mathématique de la communication. Traduction J. de Cosnier, G. Dahan, & S. Economidès. Retz-C. E. P. L.
74. Shroedinger, E. (1944). What is life? Cambridge University Press.
75. Simpson, G. G. (1953). The major features of evolution. Harvard University Press.
76. Sonnenschein C., Soto A. (1999). The society of cells. Bios Scientific Publishers, Boston
77. Stewart J. (2004). La vie existe-t-elle?. Vuibert, Paris
78. Sturtevant, A. H. (1965). A history of genetics. McGrawn-Hill.
79. Tautz D. (1992). Redundancies, development and the flow of information. BioEssays 14, 263-266
80. Thomas J.H. (1993). Thinking about genetic redundancy. Trends in Genetics 9, 395-399
81. Turing A.M. (1952). The chemical basis of morphogenesis. Philosophical Transactions of the Royal Society B237: 37-72
82. Turing, A. (1990). Computing machines and intelligence. Mind, LIX, 1950 (page references to its reprinted version. In M. Boden (Ed.), Oxford University Press, 1990).
83. Turner B. (2002). Cellular memory and the histone code. Cell 111, 285-291
84. van Frassen B. (1994). Lois et symetries. Vrin, Paris