The reason was that Alonzo Church published An unsolvable problem in elementary number theory in the American Journal of Mathematics in 1936 which also proves that there is no decision procedure for arithmetic.
Ang dahilan ay na-publish Alonzo Church Isang walang lutas problema sa elementarya bilang teorya sa American Journal of Mathematics sa 1936 na rin proves na walang desisyon na pamamaraan para sa arithmetic.