Proving Darwin: making biology mathematical

A Parable

Contradictory Quotes?

Problem Solvers and Theorizers, by Gian-Carlo Rota

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

Index