チューリングと超パズル 解ける問題と解けない問題

田中一之【著】

• 販売会社／発売会社: 東京大学出版会
• 発売年月日: 2013/11/30
• JAN: 9784130639019

商品レビュー

2018/01/30

クラスPやクラスNPについて概念的な説明ではいま一つ理解できず悩んでいたので、具体的な例が書かれていてイメージするのに役立ち、少し理解できた。

本文全体としては論理の展開にわかりにくいところがあり、全体を理解できたとは言い難い。

数理論理学の世界はヒルベルトからゲーデルにいたる話はよく目にしてきたけど、こちら側からのアプローチもつくづく面白いなと思った。