巨大数探索スレッド13
■ このスレッドは過去ログ倉庫に格納されています
は？
>>134のfも>>135のKも
非常に増加度が遅く、無限大に発散する関数
だから、その逆数であるa[n]は非常にゆっくり0に収束する 今のところ計算不可能レベルで何が完成していると見なされているのか聞きたいです >>138
そうなんですね！
ごめんなさいよく知らずに
精進します >>140
一番簡単なのだとビジービーバー関数
ふぃっしゅ数V4は機械の定義が一切無い
こんなんで「定義」として本まで出しちゃうとか
なかなか想像を絶する V4はオラクルの具体的な実装が定義されてないということでわかる。
でもV7はちゃんとwell definedになってないか？
あとΞ関数はごみではない？ 定義自体にゲーデル数化は必要なくない？ ほかの言語で定義する際に必要になるだけで >>144
具体的な実装が書いてないのはむしろ「ビジービーバー関数」の方に文句言わなきゃ。それがありならこれもありでしょ的カウンターでしょF4は >>146
そうなのか
良く読んで無かった
>>147
ビジービーバー関数はちゃんと定義されてる
機械の動作の細部まで いずれにしろ
V4やV7は強力な武器に対して+1しただけ
全く価値がない
ゴミ ふぃっしゅ数V7はラヨ階層を定義したのならそれを言語の中にぶっこんで対角化した強さを
とればよかったんじゃって思う。適当な見積もりだけどBIG FOOTくらいになるんじゃなかろうか >>148
いや、定義されてない。
ビジービーバー関数の中で具体的な実装が定義されているのは候補となるチューリングマシンの動作までであって、
どのチューリングマシンがビジービーバーであって最大の出力をするのかを選ぶというビジービーバーの本質部分の方法についてはv4のオラクル同様具体的な実装が定義されていない。 >>153
「どのチューリングマシンがビジービーバーであって最大の出力をするのかを選ぶ」
ための手順がわかってしまったら、それは計算可能だということになってしまう。
それができないというのが停止性問題。 >>153
君の中では円周率も定義されてないって言うのかな？
値を正確に計算する方法が無いわけだけど >>155
それこそv4でオラクルの具体的な実装の定義がなされてないからダメって言ってる>>144に言ってやれよ。
俺は「そこはビジービーバー関数も同じだろ、だからv4だけが責められるのはおかしい」って言ってるだけ。 計算不可能関数なんだからビジービーバー関数もオラクルをひとつ持っているんだよ
F4がオラクルをはじめて使い出したんじゃない V4はマシンの動きが定義されてない
普通のチューリングマシンは動きが定義されている >>153
「定義されていない」の主張ではなく「計算できない」ことを懸命に主張してるようにしか見えないんだけど ビジービーバー関数は定義されている。
ふぃっしゅ数V4はオラクルがどう引数を受け取ってどう関数fの値を返すのかって部分が曖昧。
たとえばそのオラクル状態に入ると、その時点でテープに入力されている1の数をnとし、
その時点のヘッダの位置から右に向かって1をf(n)個上書きするとか1マスおきに上書きするとか
f(n-1)+1個上書きしてヘッダの位置を1番左の1まで移動させるとか考えられる。 曖昧とかそういうレベルじゃない
一切定義が書いてない
「関数fを神託として持つチューリングの神託機械を考え」
これだけ チューリング完全を保ったままfを実行出来れば動作は何でも良い
決めるべきは
fを実行する条件
fのパラメータの受け取りかた
fの返し方
もしかしたら、
fの取りうる値の位置だけ値が1
それ以外が0
をテープの初期状態として動作するだけでも良いのかもしれない オラクルの渡し方は>>163のテープの初期状態だけで良さそうだね
これでチューリング次数を1個上げられる
チューリング次数が0でなければ
fの値が偶数になるもの、奇数になるもの
いずれかは無限に存在する
fがオラクルチューリングマシンのビジービーバー関数であれば
無限に存在する方(のうちの一方)の情報だけでもチューリング次数は変わらない
無限に存在する方(のうちの一方)を保存しておいて
他方を制御に使えば良い fを実行する条件は普通の状態と同じように外部変数に委託していいだろう。
A状態で1を読み取ったらヘッダを右に移動させてオラクル状態に入るとか
しかしオラクルを重ねるとかしない限りV４の本質的な強さは決まっているものかと。 Ξ関数の強さはω^CK__1なのか、それとももっと強いのか？
前者ならふぃっしゅ数V4より弱い オラクル状態って何だ？
いちいちマシンの状態を分けるのか？
>>164が一番シンプルだと思うが
決めるべきことが一番少ない
----
自然数全体の集合の部分集合Sをオラクルとしてマシンに与える
通常のチューリングマシンはテープが全て0の状態で動作を開始するが、
オラクルマシンは集合に含まれる自然数に対応する位置を1にして動作を開始する
開始時のヘッドの位置は最小の自然数に対応する所とする
このマシンにたいするビジービーバー関数を
Σ[S](n) とする
これでオラクル付きビジービーバー関数の定義は終わり
関数fに対しては
Σ[f](n) = Σ[f(自然数全体)](n)
と定義すれば良い おっと
停止時の1の数だと無限になってしまう
1の増分にしないと
あまり美しい定義じゃなくなっちゃうので
最大シフト関数でいいか まあそんな+1を考えてもしょうがなくて
素直にビジービーバー関数をも定義出来る言語n文字で定義可能な最大の整数
で良いわけで
そのひとつがラヨ関数
言語の自由度をどんどん上げていって
矛盾スレスレにすれば自然と大きな数が定義出来る チューリングの神託機械自体はすでに定義されているものなので、
どうせ計算しないんだから複雑度がわかればよくて実装はなんでもよくて、
wikipediaのoracle machineにはvan Melkebeekの実装が書かれている >>169 1の増分だと|ω+n|=|ω|で濃度は変わらない、が、言わんとしていることは分かる。
>素直にビジービーバー関数をも定義出来る言語n文字で定義可能な最大の整数
>言語の自由度をどんどん上げていって
>矛盾スレスレにすれば自然と大きな数が定義出来る
オラクルの追加も言語の自由度を上げていくことになるし、このやりかた自体を否定しちゃうと
BIG FOOT やLittle Bigeddonもごみ認定されかねない。されてるのかもしれないけど
>>168の定義でω^CK__2に達しているのかどうかがちょっと気になる。 複雑度は変わらないから実装は何でもいいって言っちゃうと、急増加関数+順序数で定義しても
いいってことになっちゃうと思う。それはそれでありだけど数と言うよりは指標って感じ。
オラクル状態ってのは>>161の動作をした後ヘッダの位置と次の状態で定義される。オラクル状態に
入った瞬間のテープの読み取り方にいくらかパターンを与えてもいいだろう。
>>171で調べてみたけど実装の仕方いくらか考えられているのね >>171
どう定義してもいいけど、定義されてないと定義にならんでしょ >>172
変化するのは有限個だから増分と言えば意味はわかるでしょ
>>168の定義でいいのは>>164で説明したつもり
不足なら説明を追加するけど >>86
どうやっても21倍もかからない
とりあえず8倍では出来た >>164
テープのプラス側はオラクル情報として残しておいて
テープのマイナス側だけ制御に使えば良いのか
こっちの方がチューリング次数的には明確
オラクルに制限を付ける必要が無く
自然数の集合であれば何でも良い てことで、
オラクルはテープの初期状態で渡せば良い
これが一番定義がシンプル >>177
テープのマイナス側の適当な所にプラス側の情報をコピーしながら動作する
適当な所とは例えばオラクル情報のコピーはマイナスの偶数位置
制御情報はマイナスの奇数位置とか
オラクル情報が必要な時に、
必要に応じてコピーして使う
これで、チューリング完全を保ったままfを好きな時にコールする仕組みが出来た せめて歴史的経緯も考慮しておかないと最新最強以外は全部ごみになると思うわ ビジービーバー関数やオラクルは基本単語という感じ
当然知っておくべき
順序数やハーディーも基本単語 あんまり結果ばかり追求して過程を省みないと「すごいこと知ってるんだね、でも中身スッカスカだね」
てなるわ 計算可能レベルの階層と理論の証明論的強さの研究くらい認めてもいいだろう。 >>186
巨体数に結びつかない屁理屈は続けてほしくない 計算不可能関数使って巨大数の結果を出せても計算可能性のすべてを理解できたということにはならないし、
それって計算複雑性の研究を屁理屈言ってるようなもんだ 結局どんなに有限の巨大数を探索しても「それってωよりも小さいじゃん、下らない」って言ってるのと
同じじゃ 計算可能性のすべてを理解したい人
有限の巨大数の探索は下らないと思う人
は他のスレに 計算可能関数を通じて個人的にも巨大数の理解に深めたい人はスレに歓迎したいと思う。 将来的に、ある強力な言語で記述できてしまうということでビージービーバー関数はおろかラヨ関数、
リトルビッゲドンまでゴミ認定されてしまいそうなのが嫌だったんだ、そういう人間も出てくるんだろうけど 圧倒的に大きい数が出てくれば、
それまで大きかった数がゴミになるのはしょうがないかと
大きさ的にゴミの中でも、
アッカーマン関数、ビジービーバー関数のように、
巨大数の基礎として知っておくべきものと
単なる価値の無いゴミとに別れる
グラハム数の階乗、ビジービーバー関数のアッカーマン関数的拡張、
オラクルビジービーバー関数のふぃっしゅ数V3的拡張など、
強力なアイデアに対して+1しただけの数は
単なるゴミ >>203
じゃあ>>118みたいなのも含めて全部大事にしてください とりあえずビジービーバーとラヨの間はマイルストーンが何個か飛んでる気はする
外伝でいいからしっくりくる何かで埋めたい 何かがつまらないと思う人は、そう思っていれば構わない。
自分が面白いネタをいくらでも投稿してくれ。
ただつまらないというだけの投稿は一番つまらない。 >>208
両方とも、
ある言語n文字で定義可能な最大の数
ということで非常に似てると思う 「大きな実数を探索するスレッドです」
感覚麻痺しちゃってるかもしれないけどグラハム数だってものすごく大きな実数だからな、一般的な感覚からすれば 古くなったものをそう簡単にゴミゴミいうのも失礼だと思うし、自分の価値観を押し付けて他人の価値観を
見下すのもどうかと ふぃっしゅ数V4がサラダ的と言うのは正直、同意できる チェーンはコンウェイのチェーン表記かな
タワー表記
日本語ウィキぺディアに書いてあるけど
英語のウィキの誤訳か？ いやいやいや、巨大数を生成する上での話
自然な拡張とかはこのスレ的にはどうでもいい 巨大数を作る効率以外で言うと
チェーンは演算子のように見えて
演算子じゃないところがダメ >>219にもタワー表記とか書いてあるな
完全に意味を間違ってる 自然な拡張かどうかは結構巨大数を生成する上で大事だと思う人なので別に>>218と話が合わなくてもいいと思いました。
はい、だれか話したい人次どうぞw いずれにしろ、
チェーンもアッカーマンも上矢印表記も大きさ的にはゴミなのでどうでも良い 2^s*3^s*5^s*{1/2^s+1/3^s+1/5^s} < 7^2
s=x+iy
15^x*cos(y*log15)+10^x*cos(y*log10)+6^x*cos(y*log6)+i*{15^x*sin(y*log15)+10^x*sin(y*log10)+6^x*sin(y*log6)}
√{[15^x*cos(y*log15)+10^x*cos(y*log10)+6^x*cos(y*log6)]^2+[15^x*sin(y*log15)+10^x*sin(y*log10)+6^x*sin(y*log6)]^2}
√{[3^2x+2^2x]+2*[6^x*cos(y*log(3/2))]} < 25
√{[15^2x+10^2x+6^2x]+2*[150^x*cos(y*log(3/2))+60^x*cos(y*log(5/3))+90^x*cos(y*log(5/2))]} < 49
Πp(n)は１番目からn番目までの素数のみの積
0<k<n+1 a≠bのとき
√{Σ{[Πp(n)]^2x*Σ1/p(k)^2x}+2*{Σ[Πp(n)/(p(a)*p(b))]^x*cos(y*logp(a)/p(b))}} < p(n+1)^2
{Σ[Πp(n)/(p(a)*p(b))]^x*cos(y*logp(a)/p(b))}が最小値をとるyのとき
√{Σ{[Πp(n)]^2x*Σ1/p(k)^2x}+2*{Σ[Πp(n)/(p(a)*p(b))]^x*cos(y*logp(a)/p(b))}}は素数になる ((7*5*3*2)^2*(1/2^2+1/3^2+1/5^2+1/7^2)+2*(7*5*3*2)^2*(-1/(2*3)+1/(2*5)-1/(2*7)-1/(3*5)+1/(3*7)-1/(5*7)))^(1/2)=47
((7*5*3*2)^2*(1/2^2+1/3^2+1/5^2+1/7^2)+2*(7*5*3*2)^2*(-1/(2*3)+1/(2*5)-1/(2*7)+1/(3*5)-1/(3*7)+1/(5*7)))^(1/2)=103
((7*5*3*2)^2*(1/2^2+1/3^2+1/5^2+1/7^2)+2*(7*5*3*2)^2*(1/(2*3)-1/(2*5)+1/(2*7)+1/(3*5)-1/(3*7)+1/(5*7)))^(1/2)=187
((7*5*3*2)^2*(1/2^2+1/3^2+1/5^2+1/7^2)+2*(7*5*3*2)^2*(1/(2*3)-1/(2*5)+1/(2*7)+1/(3*5)-1/(3*7)-1/(5*7)))^(1/2)=173 ((7*5*3*2)^2*(1/2^2+1/3^2+1/5^2+1/7^2)+2*(7*5*3*2)^2*(1/(2*3)+1/(2*5)+1/(2*7)+1/(3*5)+1/(3*7)+1/(5*7)))^(1/2)=247 ((11*7*5*3*2)^2*(1/2^2+1/3^2+1/5^2+1/7^2+1/11^2)+2*(11*7*5*3*2)^2*(1/(2*3)+1/(2*5)+1/(2*7)+1/(3*5)+1/(3*7)+1/(5*7)+1/(2*11)+1/(3*11)+1/(5*11)+1/(7*11)))^(1/2)=2927
((13*11*7*5*3*2)^2*(1/2^2+1/3^2+1/5^2+1/7^2+1/11^2+1/13^2)+2*(13*11*7*5*3*2)^2*(1/(2*3)+1/(2*5)+1/(2*7)+1/(3*5)+1/(3*7)+1/(5*7)+1/(2*11)+1/(3*11)+1/(5*11)+1/(7*11)+1/(2*13)+1/(3*13)+1/(5*13)+1/(7*13)+1/(11*13)))^(1/2)=40361 ((11*7*5*3*2)^2*(1/2^2+1/3^2+1/5^2+1/7^2+1/11^2)+2*(11*7*5*3*2)^2*(1/(2*3)-1/(2*5)-1/(2*7)-1/(3*5)-1/(3*7)+1/(5*7)-1/(2*11)-1/(3*11)+1/(5*11)+1/(7*11)))^(1/2)=923 巨大数の構成法に興味がある勢と、構成法なんか興味まるでなくてとにかく巨大でありさえすれは良しとする勢
噛み合わなくて当然か 構成法に興味が無いやつなんていないと思う
ゴミに興味が無いだけで 構成法って言い方はよくなかったか
求める方法はあるが現実的な時間で計算できないものと、定義があっても求める方法が見つかっていないものとの違い、と言ってみるか 9^9^9^9だって求める方法は無い
時間だけの問題じゃない >>234-236
連投ご苦労
そういうのを引っくるめて「時間的に」と書いた
空間的に困難なものは時間的にも困難なもの
あと何故カリカリしてるのかわからんが落ち着け ■ このスレッドは過去ログ倉庫に格納されています
