这是一个创建于 1010 天前的主题，其中的信息可能已经有所发展或是发生改变。
最近看《逻辑的引擎》，里面介绍了非常多和计算机相关的人物和历史。 莱布尼茨的古早预想再到第一台通用计算机正式面世，里面结合了数学与哲学。 计算机的发展和诞生都颇具哲学意味，发展至今，却几乎把这一浪漫成分丢失，只剩下冷酷无情的是与非，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