Church (1936a, 1936b) and Turing (1936), inspired by techniques used by Gödel (1931) to prove his incompleteness theorems, independently demonstrated that the Entscheidungsproblem is not effectively decidable.
Черч (1936а, 1936б) и Тјуринг (1936), инспирисани техникама које је користио Гедел (1931) да докаже своју теореме непотпуности, независно је демонстрирао да Ајншајдунгспроблем није ефективно одлучив.