Tanto Kleene como Post trabajaban sobre problemas que eran indecibles mientras que, Church y Turing, además demostraron que el ""Entscheidungsproblem"" era un problema indecidible.