3,094
个编辑
更改
跳到导航
跳到搜索
第244行：
第244行： − +
无编辑摘要
==== 列表法（Cutland 1980）：把"对角线"画成一张表 ====
==== 列表法（Cutland 1980）：把"对角线"画成一张表 ====
上面的一行证明把对角线方法压缩到了极致——好处是直接，坏处是看不出"对角线"长什么样。[[奈杰尔·卡特兰|Cutland]] 在《Computability》<ref name="cutland"/> §2.3 (Theorem 2.3) 给出过一种更直观的列表法证明，用一张"行 = 枚举、列 = 位置"的二维表，把"对角线"和"沿对角线的循环"都画在纸面上。三步走。
上面的一行证明把对角线方法压缩到了极致——好处是直接，坏处是看不出"对角线"长什么样。[[奈杰尔·卡特兰|Cutland]] 在《Computability》<ref name="cutland1980"/> §2.3 (Theorem 2.3) 给出过一种更直观的列表法证明，用一张"行 = 枚举、列 = 位置"的二维表，把"对角线"和"沿对角线的循环"都画在纸面上。三步走。
* '''1. 把"所有可计算函数的枚举"摆成一张表'''
* '''1. 把"所有可计算函数的枚举"摆成一张表'''