Así mismo es conocido por diseñar las máquinas Post-Turing.