Forum Freshman
Joined: 26 May 2008
Posts: 1
|
Hi.
I'm a humanities grad student researching the Turing machine and the theoretical issues which accompany it. My main problem is that whenever and wherever I try to understand the formal reasoning behind things such as the halting problem/entscheidungs problem, diagonalization, or the universal machine, I come up against a wall of jargon which is frankly impenetrable for me.
I'm very much interested in the specifics behind these things, but I don't know any programing languages and am not well versed in FOPC, and I'm hoping that I will not be forced to learn these languages in order to make an additional progress.
Could anyone recommend any resources (books, sites, etc.) which make an effort to explain these matters (rigorously and thoroughly) in plain English - or something near plain English. Wikipedia is not sufficient at this point in my research. |
|
