700年前，人类就想造”会思考的机器”！这段历史比ChatGPT精彩多了
从被石头砸死的中世纪疯狂学者，到两个大学生花150美元改变历史
先来做一道侦探题
四个同事在一间办公室工作：小艾、小比、小查、小多。
规则是这样的：
- 小艾出去喝咖啡时，小多一定会陪她
- 小比出去喝咖啡时，小查一定会陪他（而且只有小比出去时小查才会出去）
- 小比和小多绝对不能同时离开办公室
现在，你路过咖啡店，看到小查正在喝咖啡。
问：其他三个人现在分别在哪里？
先别急着看答案，自己想想。
这道题难吗？
说难不难，说简单不简单。如果你一个个条件去推，大概需要几分钟。
但1952年，已经有机器能在几秒钟内解出这道题。
而人类想要造出”会思考的机器”的梦想，比这还早了700年。
第一个”疯狂的梦想家”：被石头砸死的西班牙学者
公元1232年，西班牙出生了一个叫拉蒙·卢尔的人。
他年轻时是个花花公子，后来突然顿悟，决定把一生献给传教事业。他的目标是：让所有人都相信基督教是真理。
怎么证明？造一台机器。
卢尔设计了一套由多个同心圆盘组成的装置。每个圆盘上写着不同的概念，比如”上帝的属性”。转动圆盘，让不同的概念组合在一起，就能”证明”各种道理。
比如，把”善良”和”智慧”组合起来，就”证明”了上帝是”善良的智慧”或”智慧的善良”。
你可能会觉得这很扯淡。没错，它确实很扯淡。
哲学家培根直接骂它是”骗子的方法”。讽刺大师斯威夫特在《格列佛游记》里专门写了一段，嘲笑那些转动方块、指望能”自动写出哲学论文”的蠢人。
但是，卢尔的想法里有一个天才的内核：
把思考过程变成机械操作，让机器帮人穷举所有可能性。
这个想法，700年后成为了计算机科学的基石。
至于卢尔本人，1315年去北非传教时，被愤怒的当地人用石头砸死了。
从”哲学玩具”到”真正有用的机器”
卢尔之后的几百年，陆续有人尝试造”思考机器”。
18世纪，英国政治家斯坦霍普伯爵造出了第一台”真正的”逻辑机器——一个用木板和玻璃片解决三段论的小装置。
什么是三段论？就是这样的推理：
前提1：所有德州人都是美国人 前提2：所有美国人都不戴单片眼镜 结论：所以所有德州人都不戴单片眼镜
斯坦霍普的机器能自动得出这个结论。虽然简陋，但它真的能工作。
1854年，英国数学家乔治·布尔出版了一本改变世界的小册子：《思维规律研究》。
他发明了一套用符号和代数来表达逻辑的方法。今天我们叫它”布尔代数”——没错，就是你们在编程课上学的那个”布尔值”的来源。
1870年代，英国学者杰文斯基于布尔代数，造出了一台叫”逻辑钢琴”的机器。
它看起来像一架小型立式钢琴，有21个键。把逻辑问题输入进去，按几下键，答案就自动出来了。
这是人类历史上第一台比人脑算得更快的逻辑机器。
两个”偷懒”的大学生，造出了第一台电子逻辑机
时间跳到1947年。
两个哈佛大学的本科生，卡林和伯克哈特，选修了一门符号逻辑课。
他们发现作业太烦了——要手动列出所有可能的真假组合，再一个个排除。
“有没有机器能帮我们做这些？”
他们找到了1938年一个叫克劳德·香农的年轻人发表的论文。香农后来被称为”信息论之父”，但那时他只是麻省理工的一个研究助理。
香农指出：布尔代数的”真”和”假”，正好对应电路的”通”和”断”。
卡林和伯克哈特茅塞顿开。他们花了150美元，用不到四立方英尺的材料，造出了人类历史上第一台电子逻辑计算机。
这台机器能处理12个变量，解决复杂的逻辑问题，速度快得惊人。
还记得开头那道咖啡店的侦探题吗？
把条件输入这台机器，它瞬间就能告诉你：小比和小查在喝咖啡，小艾和小多在办公室。
从逻辑机器到ChatGPT：梦想从未停止
1952年，写下这篇文章的马丁·加德纳预言：
“未来的机器可能会结合推理和记忆……你可以问它’水在月球上的沸点是多少？‘，机器会整合所有相关数据，给你答案。”
70年后，这个预言成真了。
今天的ChatGPT，本质上就是一台超级”逻辑机器”——它能理解你的问题，从海量知识中找出相关信息，推理出答案。
但加德纳也引用了逻辑学家皮尔斯的警告：
“我们不希望它做它自己的事，而是要做我们的事。”
这句话放在今天，依然振聋发聩。
给孩子的思考题
1. 回到开头的侦探题
你能一步步推理出答案吗？试试看：
- 既然小查在喝咖啡，根据规则2，小比一定也在（因为只有小比出去时小查才会出去）
- 既然小比出去了，根据规则3，小多一定在办公室
- 既然小多在办公室，根据规则1，小艾也一定在办公室
答案：小比和小查在咖啡店，小艾和小多在办公室。
2. 试试这个三段论
所有化石都不可能恋爱 有些牡蛎可以恋爱 所以……？
（这是数学家刘易斯·卡罗尔——《爱丽丝梦游仙境》作者——出的题目）
3. 讨论题
如果有一天，机器真的比人类”更会思考”，那会是好事还是坏事？为什么？
给家长的话
这篇文章改编自1952年的《科学美国人》。那时候，还没有个人电脑，没有互联网，更没有AI。但人类对”让机器思考”的探索已经持续了700年。
今天的孩子生活在AI时代。他们会和ChatGPT聊天，会用AI画画写作业。
但很少有孩子知道：这一切是怎么来的？人类为什么要造这些东西？我们应该怎么和它们相处？
这篇文章或许能成为一个起点。
和孩子聊聊：
- 卢尔的想法为什么”既蠢又天才”？
- 两个大学生为什么能造出划时代的机器？（提示：他们想偷懒，但偷懒的方式很聪明）
- 机器能”思考”吗？什么叫”思考”？
真正的教育，不是告诉孩子答案，而是和他们一起追问。
动手环节：自制”纸片逻辑机”
原文里有一套可以剪下来的卡片，用来验证三段论是否正确。
材料：卡纸、剪刀、笔
原理：把不同的前提做成带有镂空窗口的卡片，叠在一起，如果窗口呈现特定颜色，三段论就是有效的。
这个动手项目适合小学高年级及以上的孩子，既锻炼逻辑思维，又能理解”机器如何代替人脑做判断”的基本原理。
具体制作教程可以在评论区留言获取！
本文改编自马丁·加德纳1952年发表于《科学美国人》的文章”Logic Machines”
你可能还想看：
- 布尔：发明”真假判断”的数学家，改变了整个世界
- 香农：那个用硕士论文奠定计算机基础的天才
- AI时代，孩子最需要培养的5种能力