Emil Post
O lógico que formulou a computabilidade de forma independente de Turing, no mesmo ano, e acabou como a primeira metade de "máquina de Post–Turing".
Nascido em 1897 e falecido em 1954, Post publicou em 1936 o artigo "Finite combinatory processes — Formulation 1", que descreve um modelo de computação a partir de uma cabeça que marca e apaga símbolos numa fita — quase o mesmo resultado de Turing, alcançado sem que um conhecesse o trabalho do outro. Também deixou os sistemas de produção e o problema da correspondência de Post (1946), um dos primeiros problemas comprovadamente indecidíveis fora da lógica pura.