标签

神经元的逻辑密码——人工智能奠基论文通俗解读

发布时间:2026-06-28 21:41阅读:3

《神经活动中内在思想的逻辑演算》A Logical Calculus of the Ideas Immanent in Nervous Activity

原刊于Bulletin of Mathematical Biophysics, Vol. 5, pp. 115–133, 1943

这本书为零基础的读者设计。不需要懂数学,也不需要会编程,只要会数数、能判断对错,就能读懂。我们用故事、插图和日常生活中的案例,把这篇80多年前的"天书"变成小学生都能理解的内容。

想象一位老人,满脸络腮胡,说话声音洪亮,喜欢在实验室里边喝酒边聊哲学。他最初学的心理学(研究人的思维活动),后来又学了医学(研究人的身体结构),最终迷上了大脑中的神经细胞。

他的理想是:用数学语言来解释大脑的思考机制。

再想象一个12岁的流浪少年,白天在图书馆自学数学和哲学,晚上在公园露宿。他没上过大学,甚至没读过高中,却能读懂最复杂的数学著作。

某天,他走进了麦卡洛克的办公室,两位奇才一拍即合,开始合作撰写一篇改变世界的论文。

小知识:皮茨撰写这篇论文时才20岁!

1943年,他们发表了论文,标题很长——"神经活动中内在思想的逻辑演算"。

用大白话说就是:

"大脑中的神经细胞是如何像计算机一样进行运算的?"

别担心,接下来我们逐步讲解。

你的大脑大约包含860亿个神经细胞(也称"神经元")。每个神经细胞形状类似一棵小树:

神经细胞之间并非直接"手拉手"相连。它们之间存在一个极其微小的间隙,称为突触。当一个细胞想把信息传给另一个细胞时,它会释放一种化学物质(类似一封短信),穿过这个间隙,被下一个细胞接收。

打个比方:你在教室里想告诉同桌一个秘密,但你们不能说话,只能传纸条。突触就是两张课桌之间的那道缝隙。

神经细胞传递的"小纸条"有两类:

论文开头,麦卡洛克和皮茨提出:

"我们把大脑中的神经细胞简化为数学模型。"

他们建立了五个假设。我们用生活实例来说明:

论文核心观点:神经元在任何时刻都处于"全开或全关"的状态。

通俗理解:

把神经元想象成电灯开关——它只有两种状态:-开(灯亮)→ 记作1-关(灯灭)→ 记作0

神经细胞同样如此:要么发出信号("啪!我发射了!"),要么不发出(安静待命)。

不存在"开了一半"或"发射了60%"的情况。

论文核心观点:神经元要兴奋,必须在特定时间内有足够数量的兴奋性突触同时被激活。

通俗理解:

想象你是个害羞的人,需要很多人同时给你鼓励,你才敢上台演讲:

这个"3"就是阈值(threshold,发音:"玉值")。

阈值 = 需要多少个"推力"才能让你行动。

论文核心观点:任何抑制性突触的活动都能绝对阻止神经元在该时刻的兴奋。

通俗理解:

想象投票场景。即使有100个人说"赞成",只要有1个人举起"否决牌",这件事就直接取消,不执行。

抑制性信号如同霸道的小组长:只要他说"不行",无论多少人支持,都不行。

如同消防警报:无论你在做什么,警报一响,所有人都必须停下。

论文核心观点:突触延迟是突触传递的关键特征,时间被划分为离散单位。

通俗理解:

我们不把时间看作连续的河流,而是看作一格一格的:

如同钟表一秒一秒地跳动,神经细胞也只在每一个"时间格"中做决定。

如同回合制游戏:不是随时都能动,而是轮到你才能动。

论文核心观点:神经元的结构和连接方式在分析过程中保持不变。

通俗理解:

在这个模型中,神经细胞之间的连接如同焊接死的电线——接好了就是接好了,不会自己变化。

(实际上大脑中的连接是会变化的,这就是"学习"。但这篇论文先不考虑学习,只研究固定网络能做什么。)

这是整篇论文最精彩的部分!

麦卡洛克和皮茨发现:只要把几个"小开关神经元"按不同方式连接,就能实现计算机中的所有逻辑运算。

什么是逻辑运算?就是最基本的对/错判断。

场景:你要出去玩,必须作业写完了AND(并且)妈妈同意了,两个都满足才能出去。

用表格看更清晰:

阈值设为2:需要2个输入都是1,神经元才发射信号。这就是"与"门(AND)!

场景:今天可以吃冰淇淋OR(或者)吃蛋糕,只要有一个就行,你就开心。

阈值设为1:只要有1个输入是1,神经元就发射信号。这就是"或"门(OR)!

场景:有一种特殊的神经元,它平时一直开着,但当你给它一个信号时,它就关掉了。

输入0 → 输出1;输入1 → 输出0。它把信号反转了!这就是"非"门(NOT)!

关键技巧:那个 ⊗ 标记表示这条连接是抑制性的——它不是"推力",而是"否决票"。

麦卡洛克和皮茨证明了:

只要有足够多的神经元,按正确方式连接,就可以实现任何逻辑运算!

这意味着什么?

想象玩乐高积木。乐高积木只有几种基本形状,但你可以用它们拼出城堡、汽车、火箭、恐龙……

神经元也是同样道理:- AND门是一块积木- OR门是一块积木- NOT门是一块积木

用这三块基本积木,你可以拼出任何复杂的判断!

这就像说:只要你会"并且"、"或者"、"不是"这三个词,你就能表达世界上所有的话。

论文中有几个重要定理("定理"就是"经过严格证明的结论"):

定理一:每个神经元都可以用一个逻辑公式来描述

通俗版:每个神经细胞在某一刻的行为,都可以写成一个"对/错"的公式。

就像你可以用"如果……那么……"来描述任何一个开关的行为。

定理二:任何可以用逻辑公式描述的行为,都可以用神经网络来实现

通俗版:只要你能想清楚一个规则(比如"如果明天下雨并且我带了伞,我就不会淋湿"),你就能用一堆神经元把这个规则实现出来。

这两个定理合在一起,说明的是:

大脑中的神经细胞,理论上可以完成任何逻辑推理任务。

论文还讨论了一个重要问题:

如同只有10页的小本子,记不下全世界所有的事。但如果本子能翻页(循环),就能记更多了。

让我们把学过的东西用起来!

三个好朋友投票决定要不要去看电影。规则:只要2个人或以上说"去",就去。

我们用4个神经元来做这件事:

不对,一个神经元只能记住"至少2个人",但我们还需要区分各种组合。实际上,用一个阈值为2的神经元就够了!

看到了吗?一个简单的神经元,阈值设为2,就实现了一个多数表决器!

论文里有很多数学符号。我们不逐个讲,但把最核心的一个公式翻译给你看。

论文里用了一个函数来描述神经元在时间t是否发射信号:

翻译成人话:

就这么简单!整篇论文的数学核心,就是这两条规则。

论文里用了一些逻辑符号,我们像学密码一样来认识它们:

有了这几个符号,麦卡洛克和皮茨就能把任何大脑的思考过程写成一道数学题。

在这篇论文之前,人们认为:- 大脑是生物的东西- 计算机是机器的东西- 两者完全不同

麦卡洛克和皮茨说:

"不对!大脑中的神经元,本质上就是在做逻辑运算。理论上,用神经元可以做出计算机能做的一切。"

这个想法太革命了。

从1943年的这篇论文到今天的人工智能,是一条不断延伸的"神经元之链"。

这篇论文不仅影响了计算机科学,还开创了:

客观地说,这篇论文也有做不到的事:

真实的大脑会因为经验而改变连接方式。但论文里的神经网络是焊死的,不会学习新东西。

如同印刷好的书,不能往上加新内容。

真实的大脑:- 神经细胞的信号有强有弱(不是只有0和1)- 时间是连续的(不是一格一格的)- 信号传递有随机性(不是每次都一样)- 神经细胞会疲劳、会适应

论文把这些复杂性都忽略了。

正因为足够简单,人们才能理解它、证明定理、发展理论。

如同纸飞机不是真正的飞机,但要学会飞行的原理,折纸飞机是最好的开始。

原论文共约20页,分为以下部分:

原论文中描述单个神经元激发的核心条件:

数学形式:

神经元 $N_i$ 在时间 $t$ 激发,当且仅当:

$$\sum_{j \in E} N_j(t-1) \geq \theta_i \quad \text{且} \quad \forall k \in I: N_k(t-1) = 0$$

人话翻译:

神经元 i 在某一时刻"开火",需要同时满足两个条件:1. 所有"鼓励"它的神经元,在上一时刻开火的数量大于等于它的门槛值;2. 所有"阻止"它的神经元,在上一时刻都没有开火。

原论文用命题逻辑的符号体系来描述神经网络的行为:

$$N_i(t) \equiv F_i\big(N_{j_1}(t-1), N_{j_2}(t-1), \ldots, N_{j_k}(t-1)\big)$$

人话翻译:

神经元 i 在某一时刻的状态(开或关),完全由它上一时刻收到的所有输入信号决定。$F_i$ 就是一个"规则"——什么样的输入组合会让它开火。

设计一个神经网络,要求:- 输入A:密码正确(1)或错误(0)- 输入B:指纹匹配(1)或不匹配(0)- 输入C:禁止模式启动(1=启动,0=未启动)——这是抑制性输入- 输出:只有密码正确且指纹匹配且没有启动禁止模式时,门才打开。

答案:

设计一个神经网络,当3个输入中有奇数个1时输出1,否则输出0。

提示:需要多个神经元组合,用到XOR(异或)的逻辑。

$$XOR(A, B) = (A \wedge \neg B) \vee (\neg A \wedge B)$$

如果你对这篇论文感兴趣,可以继续了解:

这四个人和麦卡洛克、皮茨一起,被称为"控制论五人组",他们的思想共同塑造了今天的信息时代。

最后一句话:

80多年前,一个满脸大胡子的老人和一个自学成才的少年天才,用数学证明了:大脑的秘密,藏在最简单的"开"和"关"之间。

今天你手机上的人工智能、语音助手、自动驾驶……都可以追溯到这篇只有20页的论文。

最伟大的想法,往往来自最简单的模型。

本读物基于 McCulloch & Pitts (1943) 原论文编写,力求通俗易懂。如有学术用途,请参阅原论文。