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
矮人要塞
这部漫画是对美国国家安全局（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（一个非常低效的过程，这将是一个协调的噩梦，并且将以非常缓慢的速度运行）。
