Creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing.