Chemical Kinetics is Turing Universal

Abstract

We show that digital logic can be implemented in the chemical kinetics of homogeneous solutions: We explicitly construct logic gates and show that arbitrarily large circuits can be made from them. This proves that a subset of the constructions available to life has universal (Turing) computational power.