10
未知の完全性のプログラミング言語を書く
言語をチューリング完全であるかどうかを判断することは、言語を設計するときに非常に重要です。また、多くの難解なプログラミング言語にとって最初から非常に困難な作業ですが、一気に追い上げましょう。チューリング・コンプリートを証明するのが非常に困難なプログラミング言語を作成して、世界の最高の数学者でさえ、どちらの方法でも証明できないようにします。あなたの仕事は、チューリング完全性が数学の主要な未解決問題に依存している言語を考案して実装することです。 ルール 選択する問題は、少なくとも10年前に提起されたものでなければならず、この質問の投稿時点で未解決でなければなりません。ウィキペディアのページにリストされているものの1つだけでなく、数学の証明可能な推測でもかまいません。 言語の仕様と既存の言語での実装を提供する必要があります。 推測が成り立つ場合に限り、プログラミング言語はチューリング完全でなければなりません。（または、推測が成り立たない場合にのみ） 選択した推測に基づいて、チューリングが完全または不完全になる理由に関する証拠を含める必要があります。インタプリタまたはコンパイルされたプログラムを実行するときに、無制限のメモリへのアクセスを想定できます。 チューリングの完全性に関心があるため、I / Oは必要ありませんが、目標は最も興味深い言語を作成して、それが役立つようにすることです。 これは人気のあるコンテストなので、投票数が最も多い答えが勝ちます。 対象基準 良い答えは何をすべきですか？投票の際に探す必要があるものの、技術的には必須ではないものを以下に示します。 既存の言語の単純なパッチであってはなりません。既存の言語を仕様に合わせて変更することは問題ありませんが、退屈なため、条件にパッチを当てることはお勧めしません。Nineteeth Byteのais523によると： エソランの仕掛けをよりしっかりと言語に焼き付けたい スタンドアロンの難解な言語として興味深いはずです。