登録情報
|
また、いくらわかりやす!いといってもたとえば完全性の証明は、目で追ってすぐ理解できるようなもんではない。ので、わかりにくいな、と思ったら少し立ち止まってゆっくり読むのがよい、と思う。
タブローを扱うだけではなくその完全性から決定不可能性を扱い、述語論理の意味論についてもしっかり書いてある。多値論理、直観主義論理、様相論理、はては超準解析と二階の論理などとにかく話題が豊富。
欲を言えば非古典論理を扱うよりはチューリング機械についての話題が欲しいし、シークエント計算も扱って欲しい。また、自然演繹が標準的なGentzenの形ではないのがとてもとても残念。
|
|
|