最近看《逻辑的引擎》,里面介绍了非常多和计算机相关的人物和历史。 莱布尼茨的古早预想再到第一台通用计算机正式面世,里面结合了数学与哲学。 计算机的发展和诞生都颇具哲学意味,发展至今,却几乎把这一浪漫成分丢失,只剩下冷酷无情的是与非,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 你的想法给我一些新的启发,其实我们现在的机器也是基于图灵通用机理论。 谢谢。 |