Groundbreaking mathematician Gregory Chaitin gives us the first book to posit that we can prove how Darwin's theory of evolution works on a mathematical level. For years it has been received wisdom among most scientists that, just as Darwin claimed, all of the Earth's life-forms evolved by blind chance. But does Darwin's theory function on a purely mathematical level? Has there been enough time for evolution to produce the remarkable biological diversity we see around us? It's a question no one has yet answered--in fact, no one has attempted to answer it until now. In this illuminating and provocative book, Gregory Chaitin elucidates the mathematical scheme he's developed that can explain life itself, and examines the works of mathematical pioneers John von Neumann and Alan Turing through the lens of biology. Fascinating and thought-provoking, Proving Darwin makes clear how biology may have found its greatest ally in mathematics.