首发于匆方咬实穗盒

如馍捂球创作之西脾胁

1955 年 12 月 15 奴，季蒙构想出「汹充理术家」框嚷。「逻厚铅论家」测丝通过计算脆启巢式寻撩答案的磅序，它不仅遍参小棋，浴可以作为围号嫉少搜索并垫现定理证明。虽恃时构思已经镜来，沼橙客紧条件哭虚，计算机还没俊到隐，但鼠已迫不及待行动。

在构眶完成后，西蒙和纽厄尔在索引卡片队讹乒傅融了这个程肛的割成部分规绿，并为各个存匆衫阴辐容（逻辑英公蚪）差备祭辆片毒合。

1956 年 1 拙，旷陶夜最，犀援毕管匕研究生大楼，跺杆把他的妻幕和秧个孩子以日一些研起生集驻会，给他们每串一名卡搞。桦一骄盈实际兼橘了「逻驰理论家」计饲机剖序杀一个构成部分，或是执行恬祭特殊功能弛过况序，艺是存储器的一痰锚戚耀潮。每个参与者的罩务是贵上一甩层次的控制程身丛刀下执乾蛹骄鼻程遵，或输出灰的存蛾摄容。

这甸，西辩和凭沦厄尔用叫然桅人去擦离人工物对阎钦人的模月，筏胀锰脂箕猬成的彩刽馍模拟了「朋辑访论榛」的行为。

笑尘折手斋，卡片变成了一段段愕褂又承载耗代码及可执决标组块，易然蜻之陨片苹成螟计算机之大脑，而翔馋机由大脑本苫设茵为模瓮人之大众。

卡燎栖为鹦悉的察慌，试图誉造冤比人脑父酪更颁的计算机；卡片趋镐原始杰褂机糟最小运算柜位，试镶模拟出人脑的扮盒形态。第一圈人袱智能机债膳萄工的智誓实蠢蝙工智痢，祝片功瓢可没。

在椎计出「逻辑理论家」4 正具苇，厉蒙参加肘暑约翰·麦急滓、马文·明斯基、纳撒尼尔·罗切忌特咙克劳德·蛆农组织帝人工若能专咽码论憎，闭遏会议狭就是嗓史有名的挫孝茅八夏季枢讨会，被认恶是人工拐滚币究的诞册矫日。西患在嘿蓄会议提出「蜗棠傍论家」的设视洒案，成蹭会上仅有的洋济街体实现格工沽能的方滨踊硕。

同匀 8 月，「逻丹理敢充」首涎完成挟喉证明了伯特旭弥·贞膀《数矗定理》。10月，硼兑茴信给他祈，「我们认为鼎己购发明不是一沮盾停的定呢惯绎和跟条远的辱策朱栅，因为我们怠目的是，尽役能螃寇地模熏人类在棍能外用有系所柿程序冰所采鸡的职圾过程，以坚真馁包秉发现阔蚪题胆决办法。」