V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
FeifeiJin
V2EX  ›  程序员

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

  •  
  •   FeifeiJin · 2022-02-15 18:00:40 +08:00 · 1690 次点击
    这是一个创建于 1014 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

    sadfQED2
        1
    sadfQED2  
       2022-02-15 18:04:49 +08:00 via Android
    人脑编译汇编代码,然后直接执行,是这样吗?
    littlewing
        2
    littlewing  
       2022-02-15 18:41:22 +08:00
    买一台上世纪 60 年代的电脑?
    lookStupiToForce
        3
    lookStupiToForce  
       2022-02-15 19:08:11 +08:00
    594kJ
        4
    594kJ  
       2022-02-15 19:16:38 +08:00   ❤️ 1
    geekvcn
        5
    geekvcn  
       2022-02-15 20:22:25 +08:00
    怎么那么矫情?你直接 MC 里用红石做个不就得了,够浪漫不?
    threebr
        6
    threebr  
       2022-02-15 20:26:39 +08:00   ❤️ 1
    只要等价于通用图灵机,不论什么形式的计算机都是相互等价的,只需要写出彼此的编译器和解释器就行了。打孔卡带,MC 的红石,生命游戏,循环神经网络,这些都等价于通用图灵机。
    han777
        7
    han777  
       2022-02-15 20:28:57 +08:00
    brainfuck 语言
    threebr
        8
    threebr  
       2022-02-15 20:33:07 +08:00
    当时有哲学是因为当时的人还没有完全理解什么是通用图灵机,现在就不存在了。如果现在想从哲学和数学的角度思考,那就是一系列 NP 问题,人脑是否和通用图灵机相互等价之类的
    FeifeiJin
        9
    FeifeiJin  
    OP
       2022-02-15 23:11:21 +08:00
    @lookStupiToForce @594kJ
    谢谢两位,这两种都是我要的,一个是开源的代码,一个是现成的产品。

    @threebr
    你的想法给我一些新的启发,其实我们现在的机器也是基于图灵通用机理论。
    谢谢。
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1060 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 23ms · UTC 19:52 · PVG 03:52 · LAX 11:52 · JFK 14:52
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.