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}\))的定义不是良定义的。