Proving Darwin : Making Biology Mathematical

Contents
Contradictory Quotes?
Problem Solvers and Theorizers, by Gian-Carlo Rota
Dedication
Preface
1. Introduction: Overview of Proving Darwin
2. Life as Evolving Software: The Evolution of Mutating Software
3. The Human Discovery of Software: Turing and von Neumann as Biologists
4. The Mathematics of Metabiology: Random Walks in Software Space
5. Santa Fe Institute Lecture: A Mathematical Theory of Evolution and Biological Creativity
6. Theological Aspects of Metabiology
7. The Politics of Creativity (Social Darwinism Social Metabiology)
8. What Can Mathematics Ultimately Accomplish? Metabiology and Beyond
Appendix 1. Von Neumann’s “DNA = Software” Paper
Appendix 2. The Heart of the Proof
Further Reading