Computability, Gödel's incompleteness theorem, and an inherent limit on the predictability of evolution

Journal of the Royal Society Interface

Volumn 9, Issue 69, 2012, Pages 624-639

  Day, Troy ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

Computability; Evolutionary prediction; Evolutionary theory; Mathematical biology; Philosophy of logic; Progressive evolution

Indexed keywords

BIOPHYSICS; BIOTECHNOLOGY;

COMPUTABILITY; EVOLUTIONARY THEORIES; MATHEMATICAL BIOLOGY; PHILOSOPHY OF LOGIC; PROGRESSIVE EVOLUTION;

BIOLOGY;

DNA;

BIOLOGICAL PHENOMENA AND FUNCTIONS CONCERNING THE ENTIRE ORGANISM; EVOLUTION; GENETIC CODE; GENOTYPE; HUMAN; INHERITANCE; LOGIC; MATHEMATICAL ANALYSIS; POPULATION SIZE; PREDICTION; PROBABILITY; REPRODUCTION; REVIEW; SPANISH INFLUENZA; STOCHASTIC MODEL; THEORY CONSTRUCTION;

EID: 84859392242     PISSN: 17425689     EISSN: 17425662     Source Type: Journal    
DOI: 10.1098/rsif.2011.0479     Document Type: Review

References (44)

1. Yedid, G. & Bell, G. 2002 Macroevolution simulated with autonomously replicating computer programs. Nature 420, 810-812. (doi:10.1038/nature01151)
2. Levinton, J. 1988 Genetics, paleontology and macroevolution. Cambridge, UK: Cambridge University Press.
3. Fontana, W. & Buss, L. 1994 The arrival of the fittest: towards a theory of biological organization. Bull. Math. Biol. 56, 1-64.
4. Wagner, G. P. & Altenberg, L. 1996 Perspective: complex adaptations and the evolution of evolvability. Evolution 50, 967-976. (doi:10.2307/2410639)
5. DeVries, H. 1904 Species and varieties: their origin by mutation. Chicago, IL: Open Court.
6. Szathmary, E. 1995 A classification of replicators and lambda-calculus models of biological organization. Proc. R. Soc. Lond. B 260, 279-286. (doi:10.1098/rspb.1995.0092)
7. Nowak, M. A. & Ohtsuki, H. 2008 Prevolutionary dynamics and the origin of evolution. Proc. Natl Acad. Sci. USA 105, 14 924-14 927. (doi:10.1073/pnas.0806714105)
8. Ohtsuki, H. & Nowak, M. A. 2009 Prelife catalysts and replicators. Proc. R. Soc. B 276, 3783-3790. (doi:10.1098/rspb.2009.1136)
9. Manapat, M., Ohtsuki, H., Bürger, R. & Nowak, M. A. 2009 Originator dynamics. J. Theor. Biol. 256, 586-595. (doi:10.1016/j.jtbi.2008.10. 006)
10. Fontana, W. & Schuster, P. 1998 Shaping space: the possible and the attainable in RNA genotype-phenotype mapping. J. Theor. Biol. 194, 491-515. (doi:10.1006/jtbi.1998.0771)
11. Stadler, B. M. R., Stadler, P. F., Wagner, G. P. & Fontana, W. 2001 The topology of the possible: formal spaces underlying patterns of evolutionary change. J. Theor. Biol. 213, 241-274. (doi:10.1006/jtbi.2001.2423)
12. Wagner, G. P. & Stadler, P. F. 2003 Quasi-independence, homology and the unity of type: a topological theory of characters. J. Theor. Biol. 220, 505-527. (doi:10.1006/jtbi.2003.3150)
13. Maynard Smith, J. & Szathmáry, E. 1995 The major transitions in evolution. Oxford, UK: Oxford University Press.
14. Fontana, W. & Schuster, P. 1998 Continuity in evolution: on the nature of transitions. Science 280, 1451-1455. (doi:10.1126/science.280.5368. 1451)
15. Gillespie, J. H. 1984 Molecular evolution over the mutational landscape. Evolution 38, 1116-1129. (doi:10.2307/2408444)
16. Orr, H. A. 1998 The population genetics of adaptation: the distribution of factors fixed during adaptive evolution. Evolution 52, 935-949. (doi:10.2307/2411226)
17. Orr, H. A. 2002 The population genetics of adaptation: the adaptation of DNA sequences. Evolution 56, 1317-1330. (Pubitemid 34881586)
18. Joyce, P., Rokyta, D. R., Beisel, C. J. & Orr, H. A. 2008 A general extreme value theory model for the adaptation of DNA sequences under strong selection and weak mutation. Genetics 180, 1627-1643. (doi:10.1534/genetics.108. 088716)
19. Lenski, R. E., Ofria, C., Collier, T. C. & Adami, C. 1999 Genome complexity, robustness and genetic interactions in digital organisms. Nature 400, 661-664. (doi:10.1038/23245)
20. Yedid, G. & Bell, G. 2001 Microevolution in an electronic microcosm. Am. Nat. 157, 465-487. (doi:10.1086/319928)
21. Wilke, C. O., Wang, J. L., Ofria, C., Lenski, R. E. &Adami, C. 2001 Evolution of digital organisms at high mutation rates leads to survival of the flattest. Nature 412, 331-333. (doi:10.1038/35085569)
22. Lenski, R. E., Ofria, C., Pennock, R. T. & Adami, C. 2003 The evolutionary origin of complex features. Nature 423, 139-144. (doi:10.1038/nature01568)
23. Chow, S. S., Wilke, C. O., Ofria, C., Lenski, R. E. &Adami, C. 2004 Adaptive radiation from resource competition in digital organisms. Science 305, 84-86. (doi:10.1126/science.1096307)
24. Ostrowski, E. A., Ofria, C. & Lenski, R. E. 2007 Ecological specialization and adaptive decay in digital organisms. Am. Nat. 169, E1-E20. (doi:10.1086/510211)
25. Fernando, C. & Rowe, J. 2007 Natural selection in chemical evolution. J. Theor. Biol. 247, 152-167. (doi:10.1016/j.jtbi.2007.01.028)
26. Yedid, G., Ofria, C. A. & Lenski, R. E. 2008 Historical and contingent factors affect re-evolution of a complex feature lost during mass extinction in communities of digital organisms. J. Evol. Biol. 21, 1335-1357. (doi:10.1111/j.1420-9101.2008.01564.x)
27. Yedid, G., Ofria, C. A. & Lenski, R. E. 2009 Selective press extinctions, but not random pulse extinctions, cause delayed ecological recovery in communities of digital organisms. Am. Nat. 173, E139-E154. (doi:10.1086/597228)
28. Dawkins, R. 1997 Human chauvinism. Evolution 51, 1015-1020. (doi:10.2307/2411179)
29. Gould, S. J. 1997 Self-help for a hedgehog stuck on a molehill. Evolution 51, 1020-1023. (doi:10.2307/2411180)
30. Adami, C., Ofria, C. & Collier, T. C. 2000 Evolution of biological complexity. Proc. Natl Acad. Sci. USA 97, 4463-4468. (doi:10.1073/pnas.97.9. 4463)
31. Kimura, M. & Crow, J. 1964 The number of alleles that can be maintained in a finite population. Genetics 49, 725-738.
32. Gödel, K. 1931 Über formal unentscheidbare Sátze der principia mathematica und verwandter systeme. Monatshefte für Mathematik und Physik 38, 173-198. (doi:10.1007/BF01700692)
33. Nagel, E. & Newman, J. R. 1958 Gödel's proof. London, UK: Routledge.
34. Davis, M. 1965 The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions. Raven, NY: Dover. (Reprinted by Dover 2004.)
35. van Heijenoort, J. (ed.) 1967 From Frege to Gödel: a source book on mathematical logic 1879-1931. Cambridge, MA: Harvard University Press.
36. Turing, A. 1936 On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 42, 230-265. (doi:10.1112/plms/s2- 42.1.230)
37. Cutland, N. J. 1980 Computability: an introduction to recursive function theory. Cambridge, MA: Cambridge University Press.
38. Franzén, T. 2005 Gödel's theorem: an incomplete guide to its use and abuse. Wellesley, MA: A.K. Peters Ltd. (doi:10.1201/b10700)
39. Ibarra, R., Edwards, J. & Palsson, B. 2002 Escherichia coli K-12 undergoes adaptive evolution to achieve in silico predicted optimal growth. Nature 420, 186-189. (doi:10.1038/nature01149)
40. Iwasa, Y. 1988 A free fitness that always increases in evolution. J. Theor. Biol. 135, 265-281. (doi:10.1016/S0022-5193(88)80243-1)
41. Smith, P. 2007 An introduction to Gödel's theorems. Cambridge, UK: Cambridge University Press.
42. Whitehead, A. N. & Russell, B. 1910 Principia mathematica, vol. 1-3. Cambridge, UK: Cambridge University Press.
43. Hawking, S. W. 2002 Gödel and the end of physics. See http://www.hawking.org.uk/index.php/lectures/91.
44. Grimmett, G. & Stirzaker, D. 1992 Probability and random processes, 2nd edn. Oxford, UK: Oxford University Press.