2-State 3-Symbol Universal Turing Machines Do Not Exist

Craig Alan Feinstein

In this brief note, we give a simple information-theoretic proof that 2-state 3-symbol universal Turing machines cannot possibly exist, unless one loosens the definition of "universal".

arrow_drop_up