人物Alan Turing
艾伦·图灵
英国计算机科学家、数学家，提出图灵测试和图灵机模型，被誉为计算机科学和人工智能之父。
核心事实
时间轴 (近 90 天)
10月31日
1936年图灵证明，具备读写无限纸带、移动读写头以及有限状态转移能力的机器可以实现任何可计算函数。
待验证50%
10月12日
艾伦·图灵在1950年提出，如果机器在与人类文字交流中无法被区分，追问其是否真正思考就没有实际意义。
待验证50%
9月10日
CAPTCHA的命名致敬了艾伦·图灵在1950年提出的图灵测试,但方向相反:图灵测试是人类判断机器是否具有人类智能,CAPTCHA则是机器判断用户是否为人类
待验证60%
9月2日
阿兰·图灵在1950年提出了'模仿游戏'（即图灵测试），考察机器能否在行为层面与人类不可区分
待验证50%
8月7日
1936年图灵证明不存在通用算法判定任意程序是否会在有限步内停止（停机问题）
已验证65%
全部知识事实 (6)
已验证
1936年图灵证明不存在通用算法判定任意程序是否会在有限步内停止（停机问题）
65%待验证CAPTCHA的命名致敬了艾伦·图灵在1950年提出的图灵测试,但方向相反:图灵测试是人类判断机器是否具有人类智能,CAPTCHA则是机器判断用户是否为人类
60%待验证1936年图灵证明，具备读写无限纸带、移动读写头以及有限状态转移能力的机器可以实现任何可计算函数。
50%待验证艾伦·图灵在1950年提出，如果机器在与人类文字交流中无法被区分，追问其是否真正思考就没有实际意义。
50%待验证阿兰·图灵在1950年提出了'模仿游戏'（即图灵测试），考察机器能否在行为层面与人类不可区分
50%待验证哥德尔不完备定理的推论之一是不存在能够判定任意程序是否停机的算法（停机问题），代码正确性验证在一般意义上属于不可判定问题
50%