Proving Darwin door Gregory Chaitin & Gregory J. Chaitin