Since there is ongoing discussion about Algorithmic Information Theory in this forum, I thought people might be interested to know that Gregory Chaitin, a key figure in AIT, is an advocate of putting biology on a firm mathematical basis so that levels of mathematical certainty in evolution could be defined. Chaitin is aware of Intelligent Design, but maintains that a more rigorous approach must be used, hence Metabiology. Unfortunately, Chaitin gets hand-wavy about how that might be done, but I think he is probably correct about the approach.
Chaitin, V. M., & Chaitin, G. J. (2018). A Philosophical Perspective on a Metatheory of Biological Evolution. In The Map and the Territory (pp. 513-532). Springer, Cham.
Link to PDF