科技匠|任性的C语言之父:因拒付装订费错失博士学位,论文52年后重见天日( 三 )
左：学生时期的哥德尔（1925 年）；右：David Hilbert（1912 年） 。
在哥德尔之后 ， 美国数学家阿隆佐 · 邱奇（Alonzo Church）使用类似的可计算性（computability）论点形成了逻辑证明 ， 该证明不仅表明数学不总是可判定的 ， 一些数学表述甚至无法确定真假 。 邱奇的证明基于「能行可计算函数」（effectively calculable function）概念 ， 该函数基于哥德尔的递归函数 。
几乎同时 ， 英国的阿兰 · 图灵构建了具备同样结果的证明 ， 不过他的证明基于抽象「计算机器」运算所定义的「可计算性」概念 。 这一抽象图灵机能够执行任意计算 ， 后来成为理论计算机科学的重要基础 。
之后的几十年里 ， 在计算机科学还未成为公认学科之前 ， 数学家、哲学家等开始各自探索计算的本质 ， 逐渐脱离了与数学基础的联系 。
正如 Albert Meyer 在采访中所讲述的：
「在 20 世纪三四十年代 ， 『什么是可计算的 ， 什么是不可计算的』得到广泛的研究和理解 。 哥德尔和图灵对可计算和不可计算的事物进行了逻辑限制 。 但是 60 年代出现了新想法：『让我们尝试理解可以用计算做什么』 ， 也就在那时计算复杂性的概念出现了…… 你可以通过计算做所有事情 ， 但并不是全部都那么容易…… 计算的效果会如何呢？」
随着电子数字计算的兴起 ， 对于这些研究者而言 ， 问题不再是关于可计算性的逻辑论证对数学本质的影响 ， 而是这些逻辑论证对于可计算性自身限制的揭示 。
随着这些限制得到充分理解 ， 研究者的兴趣转移到这些限制内的可计算性本质问题 。
MIT 教授 Albert Meyer 。
对于上述问题的探索部分发生在 20 世纪 60 年代中期 。 当时 ， Dennis Ritchie 和 Albert Meyer 都进入哈佛大学应用数学系进行研究生学习 ， 而应用数学系也往往是电子数字计算实践在校园中扎根的地方 。 Meyer 回忆道：
「应用数学是一个庞大的学科 ， 而这种计算理论只是其中很小、很新的一部分 。 」
进入哈佛应用数学系之后 ， Ritchie 和 Meyer 对计算理论越来越感兴趣 ， 因此他们找到了 Patrick Fischer 作为自己的导师 。 Fischer 当时刚刚拿到博士学位 ， 他在哈佛任教时间不长 ， 恰好与 Ritchie 和 Meyer 读研的时期重叠 。 Meyer 回忆道：
「Patrick 对于理解计算的本质非常感兴趣 。 他想知道是什么让一切变得复杂 ， 又是什么让它们变得简单…… 不同种类的程序能做什么？」
一份暑假作业
在经历了一年的研究生学习之后 ， Fischer 单独雇佣了 Ritchie 和 Meyer 作为暑期研究助理 。 Meyer 被分到的工作是研究 Fischer 在计算理论中发现的一个「开放性问题」 ， 并在暑期结束前给出报告 。 而 Fischer 此时即将离开哈佛 。
Meyer 花了一整个夏天独自苦苦研究这个问题 ， 但暑期结束之前也只完成了一小部分 。 不久之后 ， 在去参加 Fischer 一个研讨会的路上 ， Meyer 忽然想到了解决方法 ， 他兴奋地将这个突破告诉了 Fisher 。 但令 Meyer 惊讶并略微失望的是 ， Fisher 告诉他其实 Ritchie 也已经想到了解法 。 原来 ， Fisher 把同一个问题交给了两个人解决 ， 但是没有告诉他们对方拿到了同样的问题！
Dennis Ritchie 和他的父亲 Alistair E. Ritchie 。
推荐阅读
- 小红猪带你看科技|七夕节送女朋友必备左点小艾智能艾灸器X8，3天众筹500万
- 浪浪科技精选|超频三GI-CX240 ARGB水冷，极致性能冷酷到底
- ITheat热点科技|可搭载高规格显卡，AMD将发布新移动端处理器：开放完整PCIe通道
- 爱因儿科技|入侵盖茨、马斯克、巴菲特等名人推特账号的黑客被抓了！最小的17岁
- 真理科技原创 知道为什么自己的Vlog不如别人的好吗？飞宇VLOG pocket2体验
- 小米科技|小米正式官宣以旧换新，支持小米10系列等5款机型，你等到了吗？
- 小米科技|数亿米粉始料未及！小米2日正式宣布，网友：太良心了！
- 科技松鼠会|CJ专属好礼享不停！，八位堂参展2020ChinaJoy
- 成方金融科技成立 央行征信中心、印钞造币总公司等是股东
- 冒领科研资金、抄袭科技成果，科技人员12种行为将被处理