というわけで、参考文献二つだけ。 Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.) Martin Davis (著) ペーパーバック (1982/11/01) Dover Pubns Aspects of Incompleteness (Lecture Notes in Logic, 10) Per Lindstrom (著) ペーパーバック (2003/11) A K Peters Ltd Godel's Incompleteness Theorems (Oxford Logic Guides, No 19) by Raymond M. Smullyan 一番上のほうの本は和訳もあります。計算可能性理論の古典。 一番下は和訳は訳語が酷いので、英語でベンキョーした方がむしろわかりやすいでしょう。
