3 ms·
Charles Petzold's "Annotated Turing" is a book about Turing's article, which provides another approach to this problem. Turing machine, described in the article
by avmich 6y ago
Charles Petzold's "Annotated Turing" is a book about Turing's article, which provides another approach to this problem. Turing machine, described in the article, is arguably a more - convenient? generalized? - device for similar areas.
Yes, Godel's theorem is mentioned more than once.
- sohkamyung 6y agoI have this book. It's an amazing and recommended read.
- ProfHewitt 6y agoYou might be interested in knowing that there are some nondeterministic computations that cannot be performed by a Turing Machine. For a simple example, see the following: https://papers.ssrn.com/abstract=3418003 https://papers.ssrn.com/abstract=3418003 https://papers.ssrn.com/abstract=3459566 https://papers.ssrn.com/abstract=3459566