タグ付けされた質問 「busy-beaver」

ビジービーバーの最大シフト関数には、既知の値があります。を見つけることが考えられない基本的な構造上の理由はありますか？ と違いは何ですか？または？どこかの道に沿っていくつかの根本的な違いが存在しなければならない、そうでない場合はすべてのための計算、原則的に、だろうそう、まさに、である。この差は？S（n ）S(n)S(n)S （N ）N > 4 N = 4 、N = 5 、N = 6 S （N ）nはN ≤ 4n≤4n\leq4S（n ）S(n)S(n)n > 4n>4n>4n = 4n=4n=4n = 5n=5n=5n = 6n=6n=6S（n ）S(n)S(n)nnn

13 computability  busy-beaver 

背景：私はコンピューターサイエンスの完全な素人です。 私はここでビジービーバーの数字について読んでいて、次の文章を見つけました： 人類は、BB（6）の値はもちろん、BB（7）の値またはシーケンス内のそれ以上の数値を知ることはありません。 確かに、すでにトップ5および6ルールの競合他社は私たちから逃れています。私たちは、それらが人間の観点でどのように「機能する」かを説明することはできません。創造性が彼らのデザインを吹き込んだとしても、それは人間がそこに置いたからではありません。これを理解する1つの方法は、小さなチューリングマシンでさえ、数学的問題をコード化できることです。Goldbachの推測を考えてみましょう。4以上のすべての偶数は、2つの素数の合計である：10 = 7 + 3、18 = 13 + 5。推測は1742年以来証明に抵抗しました。しかし、100個のルールでチューリングマシンを設計できます。推測。次に、BB（100）を知っていれば、原則としてこのマシンをBB（100）ステップで実行し、停止するかどうかを判断して、Goldbachの推測を解決できます。 アーロンソン、スコット。「大きな番号に名前を付けることができるのは誰ですか？」誰が大きい番号に名前を付けることができますか？Np、nd Web。2016年11月25日。 著者は、有限数の計算で無限に多くの数に関する声明であるゴールドバッハ予想を証明または反証できると著者が示唆しているように思えます。何かが欠けていますか？

12 turing-machines  number-theory  busy-beaver