[PDF] Proving Darwin : Making Biology Mathematical Gregory Chaitin

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