Al igual que, siglos atrás, la física realizó grandes avances gracias a quecientíficos como Galileo, Kepler o Newton se atrevieron a buscar lasestructuras matemáticas que subyacen a la realidad, en Demostrado a Darwin, el autor aspira a descubrir las estructurasalgorítmicas de la biología. De este modo, Gregory Chaitin nos introduce en la metabiología, unadisciplina relativamente nueva en la que las matemáticas se convierten en unvalioso aliado de la biología. Chaitin recurre a los primerosteóricos de la computación, como John von Neumann, Alan Turing o Kurt Gödel ?cuyostrabajos dieron pie, a mediados del siglo XX, a la noción de software y a lacreación de los primeros ordenadores?, y presenta un modelo matemático quedemuestra uno de los postulados fundamentales de la teoría darwinista de laevolución: la selección natural de las especies a través de las mutacionesazarosas. Al equiparar el ADN con un software natural, chaitin nosólo inaugura un debate científico fascinante, sino que nos obliga a mirar demodo muy novedoso tanto la biología como las matemáticas.