中科院物理所|因为不想付论文装订费，所以他放弃博士学位( 二 )
所以 ， 这位大佬之所以没有拿到博士论文 ， 并不是论文本身有问题 ， 而是因为任性 ， 打死不交装订费！
经过多方打听 ， Lynn 证实了 Ritchie 的确没有提交装订版论文 ， 也的确没有拿到哈佛的博士学位 ， 但 Ritchie 的兄弟 John 认为 ， 他之所以这么任性绝不仅仅是因为那点装订费：Ritchie 当时已经有了一份梦寐以求的工作——贝尔实验室研究员 ， 而且他是那种不拘小节的人 ， 不会去关心生活中的一些细枝末节 。
中科院物理所|因为不想付论文装订费 ， 所以他放弃博士学位//关注http://g.xuan6.com/
刚进入贝尔实验室的时候 ， Dennis Ritchie（右）和他的父亲 Alistair Ritchie（左）以及电子开关先驱 William Keister（中）一起工作 。
最近 ， Ritchie 的家人向美国计算机历史博物馆（CHM）捐赠了他的一些遗物 ， 其中最重要的便是 Ritchie 的博士论文影印件 ， 这也是半个世纪以来这篇论文首次公开 。 随之一起捐赠的还包括 Unix 的早期源代码（1970–71） 。
这篇论文写于 1968 年 ， 题目是《Program Structure and Computational Complexity》 ， 当时的 Ritchie 才 27 岁 。 如今 ， Ritchie 离我们远去 ， 论文也早已褪色发黄 。
中科院物理所|因为不想付论文装订费 ， 所以他放弃博士学位//关注http://g.xuan6.com/
Dennis Ritchie 遗失半个世纪的论文手稿首次公开 。
和影印本一起公开的还有该论文的电子版 。
论文地址：
https://archive.computerhistory.org/resources/access/text/2020/05/102790971/Ritchie_dissertation.pdf
或许 ， 这篇论文可以带我们一窥计算机科学发展的早期情况 ， 了解当年的先驱人物所面临的挑战 。 此外 ， 它还可以提醒我们在这条路上已经走了多远 ， 以及技术在人的短暂一生中所发生的变化 。
解码 Dennis Ritchie 的博士论文
中科院物理所|因为不想付论文装订费 ， 所以他放弃博士学位//关注http://g.xuan6.com/
将 Dennis Ritchie 的论文手稿复原并公开是一回事 ， 理解它又是另一回事 。
要想理解这篇论文的内容 ， 我们需要回到 20 世纪初 ， 那个数学家、哲学家、逻辑学家探讨数学终极基础的创造年代 。
在那之前的几个世纪中 ， 数学知识的特性——精确性（exactitude）和确定性（certitude） ， 使它处于一种特殊甚至神圣的地位 。 对这些数学特性源头或基础的哲学思考可以至少追溯至毕达哥拉斯和柏拉图 ， 而在 20 世纪初期 ， 有影响力的数学家和哲学家将形式逻辑（用符号系统表达规则和推理步骤）作为数学的基础 。
在 20 世纪 20 年代 ， 德国数学家大卫 · 希尔伯特（David Hilbert）试图捍卫形式逻辑作为数学基础的观点 ， 并产生了很大影响 。 具体而言 ， Hilbert 认为 ， 你可以通过形式逻辑中的特定证明构建数学的某种特性 ， 例如数学没有矛盾 ， 任意数学论断要么真要么假 。
Hilbert 倡导的这种证明就是finitist ， 依赖于使用简单显式、几乎机械式的规则操控形式逻辑的表达符号 。
20 世纪 30 年代 ， 人们寻求此类符号逻辑操纵规则 ， 数学家和哲学家将其与计算联结起来 ， 并建立了逐步的严谨流程 ， 以便人类计算机和机械计算器执行数学运算 。
推荐阅读
- 中科院院刊刊文：支持深圳、青岛、大连、喀什升格为直辖市
- Angelababy|《跑男》不敢请的明星，一个是因为郑恺，还有两个都是因为杨颖！
- 历史小飞|为何娶了小27岁的林洙6个原因为你揭秘！，梁思成经历丧妻之痛
- 楚天都市报|公交新增两站试运行十天却要取消，竟是因为这！
- 问董秘|因为公司的发动机产品满足国六标准...，投资者提问：在公司营销数据和半年报中发现
- 唯一翻红的，因为她参加了浪姐这档选秀节目，她去了又有什么用呢
- 瀚海狼山|075何时首航？舰体水线局部熏黑是因为吹管作业？
- 情感分手后还留有余情的人，大多会一直惦记着对方
- 扒友看娱乐大事 大多会一直惦记着对方，分手后还留有余情的人
- 人民网|荣梓杉：“我不是朱朝阳”