Al igual que, siglos atrás, la física realizó grandes avances gracias a que científicos como Galileo, Kepler o Newton se atrevieron a buscar las estructuras matemáticas que subyacen a la realidad, en Demostrando a Darwin el autor aspira a descubrir las estructuras algorítmicas de la biología. De este modo, Gregory Chaitin nos introduce en la metabiología, una disciplina relativamente nueva en la que las matemáticas se convierten en un valioso aliado de la biología.
Chaitin recurre a los primeros teóricos de la computación, como John von Neumann, Alan Turing o Kurt Gödel cuyos trabajos dieron pie, a mediados del siglo xx, a la noción de software y a la creación de los primeros ordenadores, y presenta un modelo matemático que demuestrauno de los postulados fundamentales de la teoría darwinista de la evolución: la selección natural de las especies a través de las mutaciones azarosas. Al equiparar el ADN con un software natural, Chaitin no sólo inaugura un debate científico fascinante, sino que nos obliga a mirar de modo muy novedoso tanto la biología como las matemáticas.