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.
Черч (1936a, 1936b) і Тюрінг (1936), натхнені методами, які застосував Гедель (1931) аби довести його теореми про неповноту, незалежно показали, що задача розв'язності не може бути ефективно вирішена.