Tag: corrections
《递归论：算法与随机性基础》勘误
(针对2018年10月第1版第1次印刷)
第13页第3-4行：“并且读写头停在……读写头停在0上）”改为“并且读写头停在\(y\) 串的 最后一个 1 （如果有的话，不然 \(y = 0\) ，停在隔开原 \(x + 1\) 串与 \(y + 1\) 串的 0 ） 的右侧。”
《作为哲学的数理逻辑》勘误
http://logic.fudan.edu.cn/doc/LaPamend.pdf
欢迎在评论区提交有关本书的勘误与修改意见。
第133-134页。“ZFC 的可数传递的模型”文本框中关于 \(T_\alpha\)（\(\omega\leq\alpha<\omega_1^\mathrm{CK}\)）的定义不是良定义的。