"There is a real possibility that, in seeking to understand life’s origin, we become a living parable of Gödel’s incompleteness and Turing’s undecidability. Can life prove its own existence?