编程语言发展史 #1 | 从图灵机到 Lisp：计算的哲学起点
本期视频带你回顾编程语言的起点：从 图灵机、汇编，到 Fortran 与 Lisp。
它们不仅奠定了计算机科学的基础，也开启了 人工智能与函数式编程 的先河。
在这一集，我们回到计算的源头：
1936 年，图灵机如何定义“什么是可计算”？
汇编语言如何让人类第一次用符号与机器对话？
Fortran 如何把编程从“机器的语言”转向“人类的语言”？
Lisp 又如何尝试用代码模拟思维，开创人工智能的先河？
这不仅是一段技术的发展史，
更是一段关于 思想、哲学与计算本质 的演进。
如果你对编程语言的演变、计算机科学的思想史，以及背后的故事感兴趣，这一集将带你重新理解编程的哲学起点。
#编程语言 #计算机科学 #图灵机 #编程语言发展史 #Fortran #Lisp #人工智能 #程序员知识 #计算机原理 #纪录片风
00:00 开场：图灵与图灵机
01:01 图灵完备的概念
01:19 停机问题的提出
01:31 理发师悖论的类比
01:48 停机问题的证明与意义
02:33 编程从 0 和 1 开始
02:54 为什么是 0 和 1：开关与逻辑门
03:34 汇编语言的诞生
04:27 John Backus 与 Fortran
05:00 世界上第一个编译器
05:38 Fortran 的意义与转折
05:55 Lisp 的发明
06:31 Lisp 的核心特性
07:23 Lisp 对现代语言的影响
08:16 总结：思想的演进
08:47 下集预告：C 语言与 Unix
立即观看
0