Американский математик Грегори Хайтин отмечает отсутствие строгой математической теории, которая бы выразила сущность теории Дарвина. В книге Доказать Дарвина: Сделать биологию математической Хайтин хочет исправить этот недостаток.
Исходная позиция Хайтина заключается в том, что согласно теореме Гёделя математика не может быть механической и как следствие математика с необходимостью является креативной. Хайтин также отмечает креативность биологической эволюции и, таким образом, сходство между биологической эволюцией и математикой.
Джон фон Нейман доказал возможность самовоспроизводящихся автоматов (отрывок работы фон Неймана включен в книгу Хайтина в виде приложения). По мнению Хайтина именно это обстоятельство можно положить в основу математической теории биологии. Тем не менее, Хайтин считает, что популяционная генетика не может описать креативность биологической эволюции, и поэтому он идет другим путем.
Далее: http://blog.rudnyi.ru/ru/2019/03/gregory-chaitin-proving-darwin.html