最近看《逻辑的引擎》,里面介绍了非常多和计算机相关的人物和历史。 莱布尼茨的古早预想再到第一台通用计算机正式面世,里面结合了数学与哲学。 计算机的发展和诞生都颇具哲学意味,发展至今,却几乎把这一浪漫成分丢失,只剩下冷酷无情的是与非,0 和 1 。它哲学和数学的结合体,在码农的手里只剩下了 CURD 。 有没有“无趣”人程序员把里面提到的一些“无用”模型实现呢? 比如提到的图灵打孔机,是否一个网页版本的实现可以模拟其执行,或者 github 上是否有类似开源。 我已经简单搜索了下,没找到。 遂,有 xdm 知道吗