不完全性定理とはなにか ゲーデルとチューリングの考えたこと

著者：竹内薫
発行所：講談社

---

p.40　l.1　“87ページ”→“62、88ページ”
p.86　“\(P(n)=n\times2=n+n\)”→“\(P(n)=\ (n\times2=n+n)\)”
p.195　11.　“\(\vdash\lnot\Box\perp\longrightarrow\sim\Box\sim\Box\perp\)”→“\(\vdash\sim\Box\perp\longrightarrow\sim\Box\sim\Box\perp\)”