Problem solvers and theorizers / by Gian-Carlo Rota
Introduction : Overview of Proving Darwin
Life as evolving software : the evolution of mutating software
The human discovery of software : Turing and von Neumann as biologists
The mathematics of metabiology : random walks in software space
Santa Fe Institute lecture : A mathematical theory of evolution and biological creativity
Theological aspects of metabiology
The politics of creativity (social Darwinism [right-pointing arrow] social metabiology)
What can mathematics ultimately accomplish? : metabiology and beyond
Appendix 1. Von Neumann's "DNA = software" paper
Appendix 2. The heart of the proof.
