コンピュータは数学者になれるのか？ 数学基礎論から証明とプログラムの理論へ

著者：照井一成
発行所：青土社

---

p.034　★7　“結城 [2007]”→“結城 [2009]”
p.041　図1.6　(e3)　“\(\displaystyle\frac{t_1=t_2\quad u_1=u_2}{t_1+t_2=u_1+u_2}\)”→“\(\displaystyle\frac{t_1=u_1\quad t_2=u_2}{t_1+t_2=u_1+u_2}\)”
(e4)　“\(\displaystyle\frac{t_1=t_2\quad u_1=u_2}{t_1\cdot t_2=u_1\cdot u_2}\)”→“\(\displaystyle\frac{t_1=u_1\quad t_2=u_2}{t_1\cdot t_2=u_1\cdot u_2}\)”
図1.7　(a5)　“\(t\cdot\boldsymbol{0}=t\)”→“\(t\cdot\boldsymbol{0}=\boldsymbol{0}\)”
p.042　図1.8　“\(\displaystyle\frac{\exists x.A(x)\quad C}{C}\)(∃i)”→“\(\displaystyle\frac{\exists x.A(x)\quad C}{C}\)(∃e)”
“(∃i)規則を用いるときには”→“(∃e)規則を用いるときには”
p.045　“\(\mathbf{Q}\nvdash\forall x.\forall y.x\cdot x\neq2\cdot(y\cdot y).\)”→“\(\mathbf{Q}\nvdash\forall x.\forall y.(y\neq0\to x\cdot x\neq2\cdot(y\cdot y)).\)”
p.051　“\(\mathbf{I\Sigma_1}\vdash\forall x.\forall y.x\cdot x\neq2\cdot y\cdot y.\)”→“\(\mathbf{I\Sigma_1}\vdash\forall x.\forall y.(y\neq0\to x\cdot x\neq2\cdot(y\cdot y)).\)”
p.059　★13　“comprehension axion”→“comprehension axiom”
p.067　l.21　“『プリンピキア・マテマティカ』”→“『プリンキピア・マテマティカ』”
p.125　“\(\mathrm{Prov}_\mathbf{Q}\)”→“\(\mathsf{Prov}_\mathbf{Q}\)”
p.155　図3.6　“\(\longrightarrow_{(a)}\quad\langle1,0,0,1,2\rangle\)”→“\(\longrightarrow_{(b)}\quad\langle1,0,0,1,2\rangle\)”
p.352　l.9　“Synthese, 137: 211-259.”→“Synthese, 137: 211-259, 2003.”