科技匠|任性的C语言之父:因拒付装订费错失博士学位,论文52年后重见天日( 二 )
所以 ， 这位大佬之所以没有拿到博士论文 ， 并不是论文本身有问题 ， 而是因为「任性」 ， 打死不交装订费！
经过多方打听 ， 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 遗失半个世纪的论文手稿首次公开 。
和影印本一起公开的还有该论文的电子版 。
论文地址：
或许 ， 这篇论文可以带我们一窥计算机科学发展的早期情况 ， 了解当年的先驱人物所面临的挑战 。 此外 ， 它还可以提醒我们在这条路上已经走了多远 ， 以及技术在人的短暂一生中所发生的变化 。
解码 Dennis Ritchie 的博士论文
将 Dennis Ritchie 的论文手稿复原并公开是一回事 ， 理解它又是另一回事 。
要想理解这篇论文的内容 ， 我们需要回到 20 世纪初 ， 那个数学家、哲学家、逻辑学家探讨数学终极基础的创造年代 。
在那之前的几个世纪中 ， 数学知识的特性——精确性（exactitude）和确定性（certitude） ， 使它处于一种特殊甚至神圣的地位 。 对这些数学特性源头或基础的哲学思考可以至少追溯至毕达哥拉斯和柏拉图 ， 而在 20 世纪初期 ， 有影响力的数学家和哲学家将形式逻辑（用符号系统表达规则和推理步骤）作为数学的基础 。
在 20 世纪 20 年代 ， 德国数学家大卫 · 希尔伯特（David Hilbert）试图捍卫形式逻辑作为数学基础的观点 ， 并产生了很大影响 。 具体而言 ， Hilbert 认为 ， 你可以通过形式逻辑中的特定证明构建数学的某种特性 ， 例如数学没有矛盾 ， 任意数学论断要么真要么假 。
Hilbert 倡导的这种证明就是「finitist」 ， 依赖于使用简单显式、几乎机械式的规则操控形式逻辑的表达符号 。
20 世纪 30 年代 ， 人们寻求此类符号逻辑操纵规则 ， 数学家和哲学家将其与计算联结起来 ， 并建立了逐步的严谨流程 ， 以便人类「计算机」和机械计算器执行数学运算 。
库尔特 · 哥德尔（Kurt G?del）提供了 Hilbert 提倡的这类证明 ， 但是却展示了 Hilbert 期望的反面 。 哥德尔的逻辑没有展示确保数学中一切均正确的逻辑是可以被证明的 ， 而是走向了反面 ， 即哥德尔不完备定理 。
对于这一令人震惊的结果 ， 哥德尔的证明依赖于关于特定数学对象「原始递归函数」（primitive recursive function）的论点 。 哥德尔递归函数的重点是 ， 它们可计算且依赖于「有限过程」 ， 即 Hilbert 认为的那种简单、几乎机械式的规则 。
推荐阅读
- 小红猪带你看科技|七夕节送女朋友必备左点小艾智能艾灸器X8，3天众筹500万
- 浪浪科技精选|超频三GI-CX240 ARGB水冷，极致性能冷酷到底
- ITheat热点科技|可搭载高规格显卡，AMD将发布新移动端处理器：开放完整PCIe通道
- 爱因儿科技|入侵盖茨、马斯克、巴菲特等名人推特账号的黑客被抓了！最小的17岁
- 真理科技原创 知道为什么自己的Vlog不如别人的好吗？飞宇VLOG pocket2体验
- 小米科技|小米正式官宣以旧换新，支持小米10系列等5款机型，你等到了吗？
- 小米科技|数亿米粉始料未及！小米2日正式宣布，网友：太良心了！
- 科技松鼠会|CJ专属好礼享不停！，八位堂参展2020ChinaJoy
- 成方金融科技成立 央行征信中心、印钞造币总公司等是股东
- 冒领科研资金、抄袭科技成果，科技人员12种行为将被处理