The problem was that an answer first required a precise definition of "definite general applicable prescription", which Princeton professor Alonzo Church would come to call "effective calculability", and in 1928 no such definition existed.
Entscheidungsproblem је да је одговор прво тражио прецизну дефиницију "дефинитивног опште важећег рецепта", које Принстон професор Алонзо Черч ће доћи да позове "ефективну предвидивост", а 1928. године таква дефиниција није постојала.