Non-Turing Computable Origin of Cellular Life

Abstract

We look at the logical structure underlying the cell, and describe the nucleic acids (DNA, RNA) as a program, that is logic plus semantics. The processed information is quantum, and the whole acts as a quantum computer plus a control (a quantum metalanguage). Moreover, the cellular environment is viewed as logical context, which is strongly coupled to the algorithm. This fact makes almost impossible to reproduce cellular life in the laboratory starting from inanimate matter. Finally, we give a formal explanation of this negative answer to biogenesis by means of a uncertainty principle, which follows from a quantum version of Gödel incompleteness theorem applied to cellular life.