Resources for Church's paper "An Unsolvable Problem of Elementary Number Theory"?
The article "The Church-Turing Thesis" of the Standford Encyclopedia of Philosophy might help and/or provide references to texts that might be useful to you. The article by Joachim Breitner Church’s undecidability result might help you as well.