La Máquina de Turing 2,3 es Universal

Un chaval de 20 años, estudiante de electrónica y computación de la universidad de Birmingham se ha embolsado 25000$ por demostrar que la Máquina de Turing 2,3 es universal. 

¿Qué quiere decir eso?. Pues es bien simple. Quiere decir que se puede emular cualquier cálculo computable con una M.T. con dos estados y tres símbolos. 

Yo lo he flipado bastante con la demostración. Y más porque me siento incapaz de hacer siquiera una para la suma ;-)

Fuente: Neofronteras

Demostración (pdf): Demostración