10
编写未知完整性的编程语言
设计语言时，确定一种语言是否图灵完备非常重要。对于许多深奥的编程语言来说，这也是一项非常艰巨的任务，但让它提高一个等级。让我们编写一些很难证明图灵完备的编程语言，以至于即使世界上最好的数学家也无法以任何一种方式证明它们。您的任务是设计和实现一种语言，其图灵完备性取决于数学中尚未解决的主要问题。 规则 您选择的问题必须至少在10年前提出，并且在发布此问题时必须解决。它可以是任何可证明的数学猜想，而不仅仅是Wikipedia页面上列出的猜想之一。 您必须提供语言规范以及现有语言的实现。 当且仅当猜想成立时，编程语言必须是图灵完整的。（或仅当猜想不成立时） 您必须提供一个证明，以证明根据所选的推测图灵是完整的还是不完整的。在运行解释器或编译程序时，您可能会假设访问了无限制的内存。 由于我们关注图灵完整性，因此不需要I / O，但是目标是制作最有趣的语言，以便它可能会有所帮助。 这是一场人气竞赛，因此赢得最多选票的答案将会赢得。 目标标准 一个好的答案应该做什么？这是投票时要寻找的一些东西，但在技术上不是必需的 它不应该是现有语言的简单补丁。更改现有语言以符合规范是可以的，但是不建议在条件上打补丁，因为这很无聊。正如ais523在第九字节中所说： 我更喜欢使我的esolangs的头更牢固地融入到语言中 作为独立的深奥语言应该很有趣。