0001132人目の素数さん2017/01/20(金) 23:38:41.80ID:cKrQZH+b
いやいやいや
チューリング完全っていうのは入出力が同じならコストやオーダーはは有限の範囲でどうなってても関係ないでしょ?
っていう感じの>>934はクッソしょうもない揚げ足取りなだけだから>>935->>936の言う通りどうでもいい事なんだよ
いつまでこの話してんのw ε_1の定義がいまいちのみこめない。
そもそもε_0^ε_0というのもイメージが掴みずらいし。
1をスタート地点として、加算をどれだけ重ねてもたどり着けない数としてωを一旦崇める
ωをスタート地点として加算をどれだけ重ねても辿りつけない数がω×2、ω×2をスタート地点として加算をどれだけ重ねても辿りつけない数がω×3、そんなわけでそんな感じのどんな数をスタート地点にしても「加算で」辿りつけないのがω^2なのでそれも一旦崇める
そんな感じで一旦ε_1は初めて見たときは当然崇めたい部類
野球でバッターがボールを打った後たまたま垂直に立ったバットくらい
こんなイメージで崇めればいいかと
ε_0=ω^ω^ω…{ω個}…^ω^ω
ε_0^ω=(ω^ω^ω…{ω個}…^ω^ω)^ω
ε_0^ω^ω=(ω^ω^ω…{ω個}…^ω^ω)^ω^ω
ε_0^ω^ω^ω=(ω^ω^ω…{ω個}…^ω^ω)^ω^ω^ω
ε_0^ε_0=(ω^ω^ω…{ω個}…^ω^ω)^(ω^ω^ω…{ω個}…^ω^ω)
ε_0^ε_0^ε_0=(ω^ω^ω…{ω個}…^ω^ω)^(ω^ω^ω…{ω個}…^ω^ω)^(ω^ω^ω…{ω個}…^ω^ω)
ε_1=ε_0^ε_0^ε_0…{ω個}…^ε_0^ε_0
アッカーマン関数は、多変数の場合1階テンソル、多重リストの場合2階テンソルと見なして
多階テンソルを引数とするようにしたらいいかも
ビジービーバー関数を超えないと意味が無いというものがいる一方で計算不可能レベルは
屁理屈だというものもあり、ままならない
屁理屈www
自分が理解できないものを屁理屈と言って否定するのか
負の数や虚数も否定されてたね昔
宇宙全体の知的生命体や人工知能や計算機の処理結果に最も大きい数を提示させる。
その中で最も大きな値をΠ(0)と定義する。
同じ手順でΠ(0)を超える最も大きい数を提示させ、その中で最も大きな値をΠ(1)と定義する。
同様の手順でΠ(1)を超えるものをΠ(2)、Π(2)を超えるものをΠ(3)というように値を定義していく。
Π(n)は、どれだけ大きくなるのか。
お前さん、世界でいちばん大きなものを食ったと?
そう言うお前をわしゃ食ったわい
とっぴんぱらりのぷぅ
負の数や虚数が否定された流れとは違うと思うがなぁ。
上で例えられているけど、サバンナで一番速い動物を特定するのが計算可能レベルで、
特定せずにただ単に「サバンナで1番速い動物」で済ませてしまうのが不可能レベル
ふわふわした感じがすっきりしないんじゃないか?
グッドスタイン数列の収束速度をもっと遅くしたいなぁ
何かいい方法ないだろうか
ビジービーバーも嫌いじゃないけどね。
そろそろΣ(5)とかΣ(6)を確定させてほしいもんだ。
なんか俺が計算不可能レベルを屁理屈言ってることになってる?
再帰が意味をなさなくなって、独自性を認められるハードルが高い感じ
0977132人目の素数さん2017/12/06(水) 07:24:26.84ID:a5+MVP/Q
ビジービーバー関数とかラヨ関数とかの計算不可能関数をちゃんと定義されてると考えるか寿司屋の卵焼きと考えるかはその人自身の哲学の問題だから大変よね
'9' を横に並べて大きな数を表現してる人からすれば
指数表記が反則に見えるのも仕方が無いが
枠を越えないと進歩がない
googleが将棋とチェスに参入したようだ。巨大数にも加わってほしい。無理か
論理ボンブとして急膨張させる目盛り利用料の嫌がらせソフトウェアジャンルの需要は高い。
0982132人目の素数さん2017/12/07(木) 16:09:16.21ID:rVmL7j59
<<978
全域性を証明することができない関数に対して、十分な定義がされている
と考えるかどうかってこと
0983132人目の素数さん2017/12/07(木) 16:32:53.05ID:rVmL7j59
補足すると、全域性を証明することができないというのはその関数を作るために対角化した言語で証明できない
という意味であってまったくできないというわけではない
>>986
この場合において、函数と写像を区別する必要性って何?
反論したい訳じゃなく、純粋に教えてほしい >>987
関数というのは、とにかく定義されていればいい。 写像というのは、定義域と値域が与えられていないと始まらない。
>>989
函数には、定義域や値域は無いんでしょうか? ん???
たとえばビジービーバー関数は普通に定義域も値域も自然数だけど
疑問の余地があるか?
自然数すべてに対してちゃんと定義されているよ
少なくともビジービーバー関数は
>>991
定義されていれば定義域はそれで決まる。値域は不明でも構わない。 >>994
よくわかりません。
値域が不明なのと無いのとは別ではないんでしょうか? 0996132人目の素数さん2017/12/08(金) 13:03:28.84ID:voUPC2N3
つまり関数には定義域は与えられていても値域が与えられていなことが考えられる、という主張だろうか?
言語の表現力の問題のような気がする
>>997
>言語の表現力の問題のような気がする
kwsk 10011001Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 321日 17時間 1分 20秒
10021002Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php