---
title: "700年前，人类就想造\"会思考的机器\"！这段历史比ChatGPT精彩多了"
date: "2026-01-30"
description: "回顾人类从中世纪逻辑装置到电子逻辑机和 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种能力