惊世骇俗的天才论文之二“阿兰·图灵：《论可计算数及其在判定问题上的应用》”

上一次给大家分享了第一篇天才论文文章《惊世骇俗的天才论文之一：史蒂芬·霍金《宇宙膨胀的属性》》，今天就发来第二篇神作，论文的主人也是家喻户晓，他是阿兰·图灵（Alan Turin）。阿兰•图灵（1912.6.23—1954.6.7），英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献，美国计算机协会于1966年设立图灵奖，此奖项被誉为计算机科学界的诺贝尔奖。

阿兰·图灵（Alan Turin）在普林斯顿大学写过一篇「被硕士论文抢了名气的博士论文」，他的硕士论文叫做 OnComputational Numbers: with an application to the Enscheidungsproblem，中文译为《论可计算数及其在判定问题上的应用》，共 36 页，至今被引用超过了 9000 次。

这是什么概念，小编给你一个参考依据，每年中国科学院新进院士所有已发表论文总被引次数一般为 15000-20000 次，知道什么叫 BUG 般存在了吧，单硕士论文就被引 9000 次。

阿兰·图灵硕士论文首页，来源：virginia

我试着翻译前言第一段：「可计算数」简单说是，其十进制的表达用有限的手段可计算的实数。虽然本文的主题表面上讲可计算数，然而几乎可以同样容易定义和研究变量为整数或实数或可计算变量的可计算函数，可计算谓词等。

在每种情况下，基本的问题是一样的，我选择可计算数来解释，是因为这样可以涉及最少的技术细节。不久我希望给出可计算数与可计算函数等之间的关系，这将包括用可计算数表达的实数变量的函数理论。按照我的定义，一个数是可计算的，如果它的十进制的表达能被机器写下来。

只能说，不明觉厉，顶礼膜拜吧！！！