[過去ﾛｸﾞ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
135: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:20 ID:RabypwXl(2/10) AAS
￥
136: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:20 ID:RabypwXl(3/10) AAS
￥
137: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:20 ID:RabypwXl(4/10) AAS
￥
138: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:21 ID:RabypwXl(5/10) AAS
￥
139: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:21 ID:RabypwXl(6/10) AAS
￥
140: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:21 ID:RabypwXl(7/10) AAS
￥
141: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:22 ID:RabypwXl(8/10) AAS
￥
142: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:22 ID:RabypwXl(9/10) AAS
￥
143: ￥ ◆2VB8wsVUoo 2017/02/26(日)09:22 ID:RabypwXl(10/10) AAS
￥
144: 2017/02/26(日)20:59 ID:5wzqwAj2(1) AAS
Ρ関数はこうしたほうが強い。
Ρ_0(Ρ_0(Ρ_0(Ρ_0(…))))=Ρ_0(Ω)
Ρ_1(Ρ_1(Ρ_1(Ρ_1(…))))=Ρ_1(Ρ_1(Ω_2))
Ρ_2(Ρ_2(Ρ_2(Ρ_2(…))))=Ρ_2(Ρ_2(Ρ_2(Ω_3)))
Ρ_3(Ρ_3(Ρ_3(Ρ_3(…))))=Ρ_3(Ρ_3(Ρ_3(Ρ_3(Ω_4))))
さらにこれをΤ関数に応用すれば…
145(1): 2017/02/27(月)09:10 ID:qgyxcGz5(1) AAS
>>133
Τ_1(Τ_1(0),Τ_1(0))
=ψ_0(ψ_1(Ω_2^Ω))
Τ_1(Τ_1(0),Τ_1(0),ω+1)
=ψ_0(ψ_1(Ω_2^Ω+ψ_1(Ω_2^Ω)×ω))
146: 2017/02/28(火)00:36 ID:3p+Co6pV(1/2) AAS
まったくの素人意見だが・・・
無限の広さがある碁盤と無限にある碁石を使って、画像認識みたいな
テクニックである程度自分で巨大数ではないかと思われるシステムを
作ることはできるだろう。
でもそれは統計的に「らしい」ものを作っただけでコンピュータが自分で
論理を組み立てたわけではないし、そういうわけで本当にまともなプログラム
になっている保証もない。
結構な確率で出来上がるところまでは行けるだろうが。
147: 2017/02/28(火)00:59 ID:3p+Co6pV(2/2) AAS
評価方法も考えなければならないことをうっかりしていた。
まぁあらかじめ教えておいたとしてもなお課題が残るということで。
>>121
関数自体は評価を表現する一つの手段であって、比べる手段そのものではない
ので・・・
たとえば任意の自然数nについて、n+1<n+2が成り立つというくらいのの証明は、
答えにたどり着くまでただひたすら妥当な証明を書きまくるという数の暴力作戦
でもわりと現実的な時間内に得られるでしょうし。
148(1): 2017/02/28(火)01:07 ID:68/WnKMx(1) AAS
割と現実的な時間内に得られるｗｗ
絶対無理だから。一生計算終わんないから。
149(1): 2017/02/28(火)03:29 ID:FdIiiodv(1) AAS
証明ができるＡＩはいつできるだろうか
量子コンピュータのあとかな
150: 2017/02/28(火)03:40 ID:Fa0mMD6F(1) AAS
>>149
証明と量子コンピュータは恐らく全く無関係ですよ
自明でない公理系での定理の証明は定理の言明（を表す論理式）のサイズに関してNP完全かNP困難
ところが量子コンピュータ（より正確な呼び名は量子デジタルコンピュータ）は
NP完全問題を高速に解けないというのが計算量理論の専門家の間でほぼ全員一致で予想され認識されていること
（量子コンピュータが通常のデジタルコンピュータとは違って迅速に解けることが判明した問題の一つである
素因数分解問題はNP問題ではあるがNP完全ではないと計算量理論やアルゴリズム論のコミュニティで予想されている）
151: 2017/03/01(水)16:16 ID:oiUclQMH(1) AAS
BBは、ビジービーバー関数
zは、0個以上の0以上の整数
xは、0個以上の0または1
a:bは、b個のa
a,b,n,mは、0以上の整数
f_0()=BB(10↑^(10)10)
f_0(0)=BB(f_0())
f_0(a+1)=BB(f_0(a))
f_0(0:(n+1),0)=f_0(f_0():(n+1))
f_0(0:(n+1),a+1)=f_0(f_0(0:(n+1),a+1):(n+1))
省8
152(1): 2017/03/02(木)00:22 ID:gN5D5o4z(1/2) AAS
>>148
妥当な証明を書きまくるというか、公理やすでに証明された論理式に推論規則を
適用しまくって目的のものにたどり着くまで待つって感じか。
∀x∃y(sx=y∧x<y)|-sa=b∧a<b
∀x∃y(sx=y∧x<y)|-sb=c∧b<c
sa=b∧a<b∧sb=c∧b<c|-∀x∃y∃z(sx=y∧x<y∧sy=z∧y<z)
例化や量化の手順は端折ってるがこんな具合。
後者関数の公理だけから出発して例化と量化を適用してるだけだし、
なんとかなるんじゃ、後者の後者のほうが大きいことを証明するだけなら。
153: 2017/03/02(木)00:24 ID:gN5D5o4z(2/2) AAS
ああ、a<cを導くのを忘れてた
154: 2017/03/02(木)07:01 ID:d1EcH1dn(1) AAS
>>152
順序数関数だけどヴェブレン関数とかフェファーマンのθ関数とか、あとは超越整数とか、ローダー数とか、ビジービーバー関数とかラヨ数とか、その辺がアプローチが近いと想うよ
上下前次1-新書関写板覧索設栞歴
あと 848 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s