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 '15 at 15:42
  • 3
    $\begingroup$ try godels proof / Nagel, Neuman $\endgroup$
    – vzn
    Mar 3 '15 at 16:20

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, privacy policy and cookie policy

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