🧭 知识坐标

🧠 学科认知脉络
计算机科学史 · 从图灵到GPT
⚡ 技术演进脉络
计算技术 · 从算盘到量子计算
📜 返回学科发展史总纲
19个学科领域完整脉络

💡 点击各章节标题,即可折叠或展开详细内容

🧮 第一章:远古萌芽 1936-1945 · 可计算性与通用机

1936年
艾伦·图灵提出图灵机模型
图灵用一条无限长的纸带和一组简单的读写规则定义了通用计算。任何可被算法描述的问题,都可以在这样一台机器上求解。计算机科学的第一块基石,不是一台机器,而是一个抽象的思想模型。
1945年
冯·诺依曼体系结构
约翰·冯·诺依曼在EDVAC报告中描述了将程序和数据一起存储在存储器中的体系结构。存储程序概念让计算机从“只做一件事的硬件”变成了通过改变软件来做任何事的通用工具。

📖 第二章:古典奠基 1956-1969 · 高级语言与操作系统

1956年
麦卡锡提出AI概念并设计Lisp
约翰·麦卡锡在达特茅斯会议上首次使用“人工智能”一词,并设计了首个递归函数式编程语言Lisp。他把计算从数字处理扩展到了符号推理。
1969年
Thompson和Ritchie开发Unix与C语言
肯·汤普森和丹尼斯·里奇在贝尔实验室开发了Unix操作系统和C语言,其简洁、可移植的设计思想影响了此后几乎所有的操作系统和编程语言。

💻 第三章:近代革命 1970-1990年代 · 个人计算与互联网

1973年
Alan Kay提出Dynabook概念
艾伦·凯设想了一种个人动态书籍——为每个孩子设计的便携交互计算机。虽然当时硬件不够,但这一设想催生了图形用户界面、面向对象编程和现代个人电脑概念。
1990年
伯纳斯-李发明万维网
蒂姆·伯纳斯-李用URL、HTTP和HTML将互联网上的信息链接成了一个超文本系统。万维网让计算机科学的研究成果直接面向了每一个人。

🧠 第四章:现代爆发 2006-2020 · 深度学习与AI复兴

2006年
辛顿提出深度信念网络
杰弗里·辛顿的论文重新点燃了深度学习的浪潮,多层神经网络在大数据和GPU支持下开始表现出前所未有的能力。
2017年
Transformer架构提出
谷歌团队发表注意力机制论文,开启了大规模预训练语言模型的全新范式。此后GPT系列等模型接踵而至,自然语言处理进入新纪元。

🔮 第五章:未来前沿 进行中 · 量子计算与形式化验证

进行中
容错量子计算与算法
量子纠错和量子比特数量的增长正在使实用的量子计算逐渐成为可能。量子算法可能在材料模拟和密码学等领域带来突破。
进行中
形式化验证与可解释AI
用数学证明的方法验证软件和硬件系统的正确性,以及让深度学习模型给出人可以理解的推理过程,计算机科学正在追求更高的可靠性和透明度。

💡 抽象层级跃迁:从电路到智能

图灵机
可计算性定义
抽象模型
冯·诺依曼
存储程序
硬件通用化
高级语言/OS
人机抽象
编译与内核
互联网
全球互联
HTML/HTTP
深度学习
数据中学习
模式识别

🧠 计算机科学史为什么是机械思维一步步的抽象化?

图灵机是一种纸带上的想象,冯·诺依曼把它变成了电路中的结构,高级语言把电路变成了可读的文本,互联网把文本变成了全球共享的知识。每一步抽象都让更多的人可以使用计算的力量,而不需要理解底层的物理。今天一个完全没有受过计算机训练的人,也能通过大语言模型向计算机发出复杂的指令。这不是少数人的天才所能独自达成的,而是一代代计算机科学研究者把复杂封装成简单,把底层交给机器,把对话留给人的结果。