有无实用现代高级编程语言实现了传说中图灵打孔机的程序？

[FeifeiJin]

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

[sadfQED2]

人脑编译汇编代码，然后直接执行，是这样吗？

[littlewing]

买一台上世纪 60 年代的电脑？

[lookStupiToForce]

你是说这种图灵机模拟？
http://blog.fnil.net/blog/clojure-mo-ni-tu-ling-ji/

[594kJ]

like this?
http://morphett.info/turing/turing.html

[geekvcn]

怎么那么矫情？你直接 MC 里用红石做个不就得了，够浪漫不？

[threebr]

只要等价于通用图灵机，不论什么形式的计算机都是相互等价的，只需要写出彼此的编译器和解释器就行了。打孔卡带，MC 的红石，生命游戏，循环神经网络，这些都等价于通用图灵机。

[han777]

brainfuck 语言

[threebr]

当时有哲学是因为当时的人还没有完全理解什么是通用图灵机，现在就不存在了。如果现在想从哲学和数学的角度思考，那就是一系列 NP 问题，人脑是否和通用图灵机相互等价之类的

[FeifeiJin]

@lookStupiToForce @594kJ
谢谢两位，这两种都是我要的，一个是开源的代码，一个是现成的产品。

@threebr
你的想法给我一些新的启发，其实我们现在的机器也是基于图灵通用机理论。
谢谢。