Gödelの不完全性定理RTA
Gödelの不完全性定理
は論理学に馴染みがない人間には(仮にあったとしても)非常に難解な事実として知られる
非形式言語では(つまり自然言語では)まあそうですねと思えるが,他方形式言語で表されると何を言っているんだろう?となってしまう/しまいがち
R.Smullyan『不完全性定理』改訂版
では
Tarskiの真理概念を使ったGödelの不完全性定理
が比較的理解しやすく簡単,とされている
文献
ゲーデルの不完全性定理とタルスキの定理(外部記事)