<p>The article "<a href="https://plato.stanford.edu/entries/church-turing/" rel="nofollow noreferrer">The Church-Turing Thesis</a>" of the <a href="https://plato.stanford.edu/" rel="nofollow noreferrer">Standford Encyclopedia of Philosophy</a> might help and/or provide references to texts that might be useful to you. The article by Joachim Breitner <a href="http://www.joachim-breitner.de/various/ChurchTalk2011.pdf" rel="nofollow noreferrer">Church’s undecidability result</a> might help you as well. </p>

CC BY-SA 4.0
2019-04-28T07:46:49.657Z
2019-04-28T07:46:49.657Z
François Bry
<p>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.</p>

<p>Does anyone know any resources I can get to help me understand this paper?</p>

CC BY-SA 3.0
2015-03-03T15:42:49.610Z
What about [this](https://en.wikipedia.org/wiki/Entscheidungsproblem)?
Martin Berger
CC BY-SA 3.0
2015-03-03T16:20:38.747Z
try [godels proof](http://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/0814758371/) / Nagel, Neuman
vzn
<lambda-calculus>
Resources for Church's paper "An Unsolvable Problem of Elementary Number Theory"?
Owen Kavanagh
# Resources for Church's paper "An Unsolvable Problem of Elementary Number Theory"?

(Asked by: username_0 on 2015-03-03)

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?

**Tags:** lambda-calculus

> **Comments:**
> **username_1**: What about [this](https://en.wikipedia.org/wiki/Entscheidungsproblem)?  
> **username_2**: try [godels proof](http://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/0814758371/) / Nagel, Neuman  

---

## 1 answers

### Answer by username_3 on 2019-04-28. Score: 3

The article "[The Church-Turing Thesis](https://plato.stanford.edu/entries/church-turing/)" of the [Standford Encyclopedia of Philosophy](https://plato.stanford.edu/) might help and/or provide references to texts that might be useful to you. The article by Joachim Breitner [Church’s undecidability result](http://www.joachim-breitner.de/various/ChurchTalk2011.pdf) might help you as well.


---

