计算的极限系列原本是由方弦发表在松鼠会的一系列文章,但松鼠会网站因不明原因以无法访问,因此将在此转载此系列文章。
计算的极限(零):逻辑与图灵机
计算的极限(一):所有机器的机器,与无法计算的问题
计算的极限(二):自我指涉与不可判定
计算的极限(三):函数构成的世界
计算的极限(四):机械计算的圭臬
计算的极限(五):有限的障壁
计算的极限(六):无穷的彼岸
计算的极限(七):宛如神谕
计算的极限(八):符号的框架
计算的极限(九):叹息与奋斗
计算的极限(十):无限绵延的层级
计算的极限(十一):黄金时代
计算的极限(十二):不会出错的程序
计算的极限(十三):数字空间的幽灵