江苏龙网

  1. 首页 > 社会 > >

龙猫|由于不想付论文装订费，所以他抛却博士学位( 二 )


所以 ， 这位大佬之所以没有拿到博士论文 ， 并不是论文本身有题目 ， 而是由于「率性」 ， 打死不交装订费！
经由多方打听 ， Lynn 证明了 Ritchie 的确没有提交装订版论文 ， 也的确没有拿到哈佛的博士学位 ， 但 Ritchie 的兄弟 John 以为 ， 他之所以这么「率性」绝不仅仅是因为那点装订费：Ritchie 当时已经有了一份梦寐以求的工作——贝尔实验室研究员 ， 而且他是那种落拓不羁的人 ， 「不会去关心生活中的一些细枝末节」 。
龙猫|由于不想付论文装订费，所以他抛却博士学位
本文插图

刚进入贝尔实验室的时候 ， Dennis Ritchie（右）和他的父亲 Alistair Ritchie（左）以及电子开关前驱 William Keister（中）一起工作 。
最近 ， Ritchie 的家人向美国计算机历史博物馆（CHM）捐赠了他的一些遗物 ， 其中最重要的便是 Ritchie 的博士论文影印件 ， 这也是半个世纪以来这篇论文首次公然 。 随之一起捐赠的还包括 Unix 的早期源代码（1970–71） 。
这篇论文写于 1968 年 ， 问题是《Program Structure and Computational Complexity》 ， 当时的 Ritchie 才 27 岁 。 如今 ， Ritchie 离我们远去 ， 论文也早已褪色发黄 。
龙猫|由于不想付论文装订费，所以他抛却博士学位
本文插图

Dennis Ritchie 遗失半个世纪的论文手稿首次公然 。
和影印本一起公然的还有该论文的电子版 。
论文地址：
https://archive.computerhistory.org/resources/access/text/2020/05/102790971/Ritchie_dissertation.pdf
或许 ， 这篇论文可以带我们一窥计算机科学发展的早期情况 ， 了解当年的前驱人物所面临的挑战 。 此外 ， 它还可以提醒我们在这条路上已经走了多远 ， 以及技术在人的短暂一生中所发生的变化 。
解码 Dennis Ritchie 的博士论文
龙猫|由于不想付论文装订费，所以他抛却博士学位
本文插图

将 Dennis Ritchie 的论文手稿复原并公然是一回事 ， 理解它又是另一回事 。
要想理解这篇论文的内容 ， 我们需要回到 20 世纪初 ， 那个数学家、哲学家、逻辑学家探讨数学最终基础的创造年代 。
在那之前的几个世纪中 ， 数学知识的特性——精确性（exactitude）和确定性（certitude） ， 使它处于一种特殊甚至神圣的地位 。 对这些数学特性源头或基础的哲学思索可以至少追溯至毕达哥拉斯和柏拉图 ， 而在 20 世纪初期 ， 有影响力的数学家和哲学家将形式逻辑（用符号系统表达规则和推理步骤）作为数学的基础 。
在 20 世纪 20 年代 ， 德国数学家大卫 · 希尔伯特（David Hilbert）试图保卫形式逻辑作为数学基础的观点 ， 并产生了很大影响 。 详细而言 ， Hilbert 以为 ， 你可以通过形式逻辑中的特定证实构建数学的某种特性 ， 例如数学没有矛盾 ， 任意数学论断要么真要么假 。
Hilbert 倡导的这种证实就是「finitist」 ， 依赖于使用简朴显式、几乎机械式的规则操控形式逻辑的表达符号 。
20 世纪 30 年代 ， 人们寻求此类符号逻辑操作规则 ， 数学家和哲学家将其与计算联结起来 ， 并建立了逐步的严谨流程 ， 以便人类「计算机」和机械计算器执行数学运算 。
库尔特 · 哥德尔（Kurt Gdel）提供了 Hilbert 提倡的这类证实 ， 但是却展示了 Hilbert 期望的反面 。 哥德尔的逻辑没有展示确保数学中一切均准确的逻辑是可以被证实的 ， 而是走向了反面 ， 即哥德尔不完备定理 。
对于这一令人震惊的结果 ， 哥德尔的证实依赖于关于特定数学对象「原始递归函数」（primitive recursive function）的论点 。 哥德尔递归函数的重点是 ， 它们可计算且依赖于「有限过程」 ， 即 Hilbert 以为的那种简朴、几乎机械式的规则 。


推荐阅读


上一篇：枝头的喜鹊|假如素材没有诗意且饱含教训和遗憾，也不妨你写出像样文章

下一篇：笑声快车|“铁饭碗”变“金饭碗”？教育部动真格，此行未来或成“香饽饽”