这是一个创建于 1341 天前的主题，其中的信息可能已经有所发展或是发生改变。
最近看《逻辑的引擎》，里面介绍了非常多和计算机相关的人物和历史。 莱布尼茨的古早预想再到第一台通用计算机正式面世，里面结合了数学与哲学。 计算机的发展和诞生都颇具哲学意味，发展至今，却几乎把这一浪漫成分丢失，只剩下冷酷无情的是与非，0 和 1 。它哲学和数学的结合体，在码农的手里只剩下了 CURD 。 有没有“无趣”人程序员把里面提到的一些“无用”模型实现呢？ 比如提到的图灵打孔机，是否一个网页版本的实现可以模拟其执行，或者 github 上是否有类似开源。 我已经简单搜索了下，没找到。 遂，有 xdm 知道吗
 | 1 sadfQED2 2022-02-15 18:04:49 +08:00 via Android 人脑编译汇编代码，然后直接执行，是这样吗？ |
 | 2 littlewing 2022-02-15 18:41:22 +08:00 买一台上世纪 60 年代的电脑？ |
 | 3 lookStupiToForce 2022-02-15 19:08:11 +08:00 |
 | 4 594kJ 2022-02-15 19:16:38 +08:00  1 like this? http://morphett.info/turing/turing.html |
 | 5 geekvcn 2022-02-15 20:22:25 +08:00 怎么那么矫情？你直接 MC 里用红石做个不就得了，够浪漫不？ |
 | 6 threebr 2022-02-15 20:26:39 +08:00 1 只要等价于通用图灵机，不论什么形式的计算机都是相互等价的，只需要写出彼此的编译器和解释器就行了。打孔卡带，MC 的红石，生命游戏，循环神经网络，这些都等价于通用图灵机。 |
 | 7 han777 2022-02-15 20:28:57 +08:00 brainfuck 语言 |
| 8 threebr 2022-02-15 20:33:07 +08:00 当时有哲学是因为当时的人还没有完全理解什么是通用图灵机，现在就不存在了。如果现在想从哲学和数学的角度思考，那就是一系列 NP 问题，人脑是否和通用图灵机相互等价之类的 |
 | 9 FeifeiJin OP @lookStupiToForce @594kJ 谢谢两位，这两种都是我要的，一个是开源的代码，一个是现成的产品。 @threebr 你的想法给我一些新的启发，其实我们现在的机器也是基于图灵通用机理论。 谢谢。 |
Select Language