I'm trying to understand and breakdown into simple English Church's paper for "An Unsolvable Problem of Elementary Number Theory" but I'm not finding anything useful online, only citations and links to the full paper.

Does anyone know any resources I can get to help me understand this paper?

  • 6
    $\begingroup$ What about this? $\endgroup$ Mar 3, 2015 at 15:42
  • 3
    $\begingroup$ try godels proof / Nagel, Neuman $\endgroup$
    – vzn
    Mar 3, 2015 at 16:20

1 Answer 1


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.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.