[1223] Dwarf Fortress

Title Text:I may be the kind of person who wastes a year implementing a Turing-complete computer in Dwarf Fortress, but that makes you the kind of person who wastes ten more getting that computer to run Minecraft.<

Origin:https://xkcd.com/1223/

https://www.explainxkcd.com/wiki/index.php/1223:_Dwarf_Fortress

矮人要塞

我也許是那種會浪費一年時間在矮人要塞裡面做出圖靈完備的電腦的人,但這代表你會花十倍的時間讓那台電腦在 Minecraft 裡面跑起來。

https://xkcd.tw/1223

这部漫画是对美国国家安全局(NSA)最近发布的一项名为PRISM的美国电子电信监控计划的反应。你可以阅读一篇关于它的Guardian文章。由一位前国家安全局官员泄露的PRISM引发了一些争议,因为它为政府提供私人数据(电子邮件,视频,聊天,文件传输等)。

矮人要塞是一个免费的策略游戏,玩家通过下达命令来建立一个文明,而不是直接控制一群矮人。它以对其世界进行非常详细的模拟以及允许深度微观管理(以及极其陡峭的学习曲线)而闻名。

“老大哥”的意思是“一个不断监视所有公民的专制政府机构”。这个词来自乔治奥威尔的经典反乌托邦小说“十九八四”,其中宣传视频由一位名叫“老大哥”的演员讲述,反乌托邦的监视系统据说由老大哥本人监控。

Cueball与Big Brother(“公司监控状态”)进行了讨论,他通过在Big Brother无所不知的Cueball监视之间划出一条平行线,嘲笑Big Brother对玩视频游戏(特别是“矮人堡垒”)的无关紧要的活动的兴趣。和Cueball对矮人的无所不知的监视。当它意识到Cueball比较的准确性时,老大哥似乎感到羞愧。

非正式地,当理论上能够执行任何算法时,系统表现出图灵完备性。最简单的图灵完备系统之一是图灵机,一种根据规则表操纵条带上的符号的设备 – 它可以被证明具有与任何普通编程语言相同的功能。其他非常简单的系统包括规则110,lambda演算,康威的生命游戏和Brainfuck。我们不使用这些的原因是因为它们是屁股的真正痛苦。您是否愿意建立一个相互碰撞的宇宙飞船网络来模拟后继功能,或者只写i:= i + 1?

一个常见的CS书呆子挑战是证明一个系统的图灵完整性并非那样 – 特别是游戏。通常的方法是在系统内构建图灵机模拟器。它已经为矮人要塞,(无限)扫雷(pdf),魔法聚会,小大星球,我的世界(另一个我的世界的例子),PokémonYellow(通过精心使用许多游戏中的小故障)和3D国际象棋完成(但请参阅下面的注释)。这些类型的证明通常涉及制定可笑的复杂创作,只是为了模拟在磁带上书写符号的小机器!

(从技术上讲,计算机并不是图灵完备的。图灵完备系统必须有无限的空间,对于内存有限的计算机或在其中运行的任何软件来说这是不可能的。但即使我们无法访问图灵完整性,我们可以建立一个理论机器并展示它如何无限延伸。在一些游戏中,我们证明图灵完全性在无限变体中。)

最后,兰德尔提出了一个破解,用户将尝试嵌套他们的图灵完整的计算机;在完成他的Turing-complete Dwarf Fortress计算机之后,其他人将尝试使Dwarf Fortress计算机运行Minecraft(一个非常低效的过程,这将是一个协调的噩梦,并且将以非常缓慢的速度运行)。

Leave a Reply

Your email address will not be published. Required fields are marked *

Categories