Reddit reviews The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)
We found 3 Reddit comments about The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics). Here are the top ones, ranked by their Reddit score.
I started from scratch on the formal CS side, with an emphasis on program analysis, and taught myself the following starting from 2007. If you're in the United States, I recommend BookFinder to save money buying these things used.
On the CS side:
On the math side, I was advantaged in that I did my undergraduate degree in the subject. Here's what I can recommend, given five years' worth of hindsight studying program analysis:
Final bit of advice: you'll notice that I heavily stuck to textbooks and Ph.D. theses in the above list. I find that jumping straight into the research literature without a foundational grounding is perhaps the most ill-advised mistake one can make intellectually. To whatever extent that what you're interested in is systematized -- that is, covered in a textbook or thesis already, you should read it before digging into the research literature. Otherwise, you'll be the proverbial blind man with the elephant, groping around in the dark, getting bits and pieces of the picture without understanding how it all forms a cohesive whole. I made that mistake and it cost me a lot of time; don't do the same.
Have you tried the print shop at the university? they are used to binding dissertations for people and have some nice options (at least at my local one) .....in that general vein its a printing service you want, not a publisher , so try local print and copy shops ....ones with digital printing are better for short run things and one offs. Most of these places wont care what you are printing , they might ask you to sign a box saying you have the right to print, but that's as far as it goes.
Also seems like there are a few books available of his work:
http://www.turing.org.uk/sources/biblio.html
https://www.amazon.com/exec/obidos/ASIN/0198250800/alanturingwebsit
https://www.amazon.com/exec/obidos/ASIN/0486432289/alanturingwebsit
https://www.amazon.com/Alan-Turings-Systems-Logic-Princeton/dp/0691155747/alanturingwebsit
Sorry. The sentence is not circular. It only appears to be circular. The ideas are clearly explained in text books on computability theory. Or if you are smart and patient you can just read Turing's original paper, or if you are really smart and really patient Goedel's work as well. Take your time and use your own mind to form your own opinion.
https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
My introduction was in this book:
https://www.amazon.com/Computability-Unsolvability-Prof-Martin-Davis/dp/0486614719
For more original sources:
https://www.amazon.com/Undecidable-Propositions-Unsolvable-Computable-Mathematics/dp/0486432289#reader_0486432289