【小哈划重点:可以说,我们还没有理解计算机的形而上学含义。我们知道它以微妙和戏剧的方式改变了世界;这很明显。但更多的事情正在发生。我们的人口如此庞大,以至于没有计算机在后台管理从物流到水处理的一切,人类可能会死亡,特别是在大城市。】
计算机不仅仅是工具。它是一个哲学装置。
首先,计算机是由哲学家创造的,或者至少,哲学家为重塑我们世界的技术革命奠定了基础。计算机的历史通常被描述为物的历史,从算盘到巴贝奇的分析引擎,一直到第二次世界大戰中的密码破译机。事实上,它应该更好地被理解为思想史,主要是从数理逻辑中产生的思想。
数理逻辑最初被认为是一门无可救药的抽象学科,没有可以想象的应用。然而,它将为一个对现代世界产生了比其他任何学科都更大的影响的领域奠定基础。从数理逻辑到计算机科学的演变在1930年代达到顶峰,那一年代见证了两篇具有里程碑意义的论文:克劳德·香农的《开关和继电器电路的符号分析》和艾伦·图灵的《论可计算数及其在判定问题中的应用》。 香农的见解是,布尔逻辑可以直接映射到电路上。当时,电路没有系统的理论来指导其设计。香农意识到正确的理论将“与逻辑符号研究中使用的命题演算完全相似”。
另一种描述香农成就的方式是,他是第一个将计算机的逻辑层和物理层区分开来的人。这种区分已经成为计算机科学的基础,以至于现代读者可能会惊讶于他在当年的洞察力。这提醒了人们“一个世纪的哲学是下一个世纪的常识”的格言。
香农展示了如何将逻辑映射到物理世界,而图灵则展示了如何用数理逻辑的语言设计计算机。他第一个严格地证明了,任何可以在硬件中编码的计算逻辑也可以在软件中编码。
在香农和图灵的洞察力表现出电子学、逻辑学和计算之间的联系后,就有了可能来将这种新的概念机制输出到计算机设计中。而计算机之所以为哲学装置,还因为它们做了一件非常特别的事情:计算。计算是如此基础,以至于有些人认为一切都是计算:空间,时间,你的大脑,意识,乃至生命本身。
奇妙的事实是,在物理世界中计算结果的事物可以在邮票大小的计算设备内建模。试想一下,把一个人送入月球涉及关于火箭、推进和重力的非常复杂的计算,然而,我们可以用微处理器内的0和1来镜像它。这表明了一个深刻的事实,即任何可以在计算机中建模的东西,都可以通过现实世界中的计算实际发生。换句话说,阿波罗11号的发射是计算性的。它不仅仅涉及计算,它的启动就是计算。它的全部任务都是计算。
当事情进入边缘地带,会更加有趣。我们人类是计算机吗?我们的大脑钟表机构是否遵循与阿波罗11号相同的基本规则?这些是我们需要回答的问题,以便了解计算机的限制(如果有的话)。
这就是为什么我说计算机是具有哲学意义的设备。锤子只是砸钉子,锯子只是伐木材,但计算机可以反映物质世界的十亿种不同的东西。可以说,我们还没有理解计算机的形而上学含义。我们知道它以微妙和戏剧的方式改变了世界;这很明显。但更多的事情正在发生。
我们的人口如此庞大,以至于没有计算机在后台管理从物流到水处理的一切,人类可能会死亡,特别是在大城市。
逻辑学开始是作为一种理解思维规律的方式。然后,它帮助创造了能够根据演绎逻辑的规则进行推理的机器。今天,演绎逻辑和归纳逻辑正被结合起来,创造出既能推理又能学习的机器。用布尔的话说,从“关于人类思维的性质和结构”的研究开始,可能会产生新的思维—人工思维,它有朝一日可能与我们自己的思维相匹配,甚至超过我们的思维。这将是计算机故事的第二幕。