相应的开关闭合后依然没有点亮灯泡。但是,最后店员拿出了一只已绝育的灰色母猫。
这次,灯泡被成功点亮了,表明这只猫符合你的全部要求。
乔治·布尔并没有连接这样一个电路。他没有兴趣去观察布尔表达式在开关、线路和灯泡中如何实现。当然,这其中存在的一个障碍就是,布尔死后15年人类才发明了白炽灯。但是塞缪尔·莫尔斯在1844年论证了他的电报机是可行的—早于布尔发表《思维规律的研究》10年—将电报发声器替换成上述电路中的灯泡本应该是非常简单的。
然而,在19世纪,没有人将布尔代数中的AND和OR同线路中的开关串联及并联关联到一起。没有这样的数学家,没有这样的电学家,没有这样的电报员,没有这样的人。甚至计算机革命的偶像式人物查尔斯·巴贝奇(1792-1871)也没有,他与布尔处在同一时代并且了解布尔的工作,巴贝奇奋斗了一生,他最先设计了差分机(DifferenceEngine)和分析引擎(Analytic Engine),这些在一个世纪之后都被看做是现代计算机的前身。本来有些东西可以帮到巴贝奇的,那是什么呢?我们现在知道,那就是根据一台电报器来创建计算机,而非使用齿轮和杠杆来实现计算。
编码—隐匿在计算机软硬件背后的语言
106