18/08/09 21:36:06.07 dAM6qVGD.net
特定の言語で記述可能と言う意味しかない
→いかなる言語でも記述不可能な巨大数を求めているっていう受け取り方がずれていた。
計算不可能レベルとしてはあながち間違いでもなかった。
関係ないけど最近googleがiPhoneをプレゼントしてくれるページに飛ばされがち
164:１３２人目の素数さん
18/08/09 21:45:31.84 dAM6qVGD.net
KPにBIG FOOTのOrdに相当するものをくっつけて（L_{Ord(x)}がKP+「L_{Ord(y)}（ただしy<x）のクラスが存在する」のモデルになっている、みたいな）KP+「再帰的到達不能基数の存在」ぐらいの強さになるとか
165:１３２人目の素数さん
18/08/10 06:41:47.73 b5/PsjCv.net
>>160
計算可能かどうかを判別するチューリング機械？？？？
何を言ってるのこの人
166:１３２人目の素数さん
18/08/10 07:13:11.84 9mdjoRPZ.net
>>163
チャーチチューリングのテーゼから計算可能関数の定義にはあらゆるパターンがあってチューリング機械を使うものもある
巨大数のwikiもそうなってる
167:１３２人目の素数さん
18/08/10 07:28:04.64 b5/PsjCv.net
定義と判別は別
168:１３２人目の素数さん
18/08/10 07:32:14.33 9mdjoRPZ.net
いやだからチューリング機械で判別するのが計算可能関数の定義の一部なの
分からない人だねぇ
169:１３２人目の素数さん
18/08/10 07:34:26.19 b5/PsjCv.net
チューリングマシン語で記述可能な関数が計算可能な関数
判別する能力とか関係ない
170:１３２人目の素数さん
18/08/10 07:36:48.25 b5/PsjCv.net
定義と判別と翻訳がごちゃごちゃになってる？
171:１３２人目の素数さん
18/08/10 07:39:53.67 b5/PsjCv.net
チューリングマシン
ただの言語の1個
172:１３２人目の素数さん
18/08/10 07:40:07.78 9mdjoRPZ.net
めんどいから有識者が来るまで待つわ
173:１３２人目の素数さん
18/08/10 07:53:20.11 b5/PsjCv.net
どうでも良いけど
大きな実数の探索に結び付かないことは他でやってね
174:majimanji
18/08/10 09:06:03.21 ZHI9jJAr.net
გამარჯობა!今回はF1とF2です
F1.S変換と呼ばれる変換を以下で定義します。
S(m,f(x))=(g(m),g(x))
ただしg(x)は以下です。
B(0,x)=f(x)
B(x,0)=B(x-1,1)
B(自然数a,自然数b)=B(自然数a-1,B(自然数a,自然数b-1))
g(x)=B(x,x)
[2] SS変換と呼ばれる、(自然数, 関数, 変換) の3つ組から同様の3つ組への写像SSを定義します。
SS(m,f,S)=(S^f(m)(m,f),S^f(m))
f^何らかの関数(n)=何らかの関数(n)をm回重ねる
ここで右辺は((自然数, 関数), 変換)の形をしているが、これを(自然数, 関数, 変換)の3つ組と同一視します。。
3つ組 (m0,f0,S0) を m0=3, f0(x)=x+1, S0 はS変換とするとき、
SS^63(m0,f0,S0)
の第1成分をふぃっしゅ数バージョン1、第2成分をふぃっしゅ関数バージョン1とします。
F2は,,,もう明日やります。
175:１３２人目の素数さん
18/08/10 14:20:23.53 M9zhKYiU.net
グラハム数も大きな実数ではある
176:１３２人目の素数さん
18/08/10 14:28:51.74 M9zhKYiU.net
>>157
任意のチューリングマシンの停止性が自明となるようにビジービーバー関数を形式的に定義できる言語が存在しない、
というような感じです。
(形式的に定義できないというのは読みとく側の問題でもあって、この言い方もあまり正しくはないが)
177:majimanji
18/08/11 18:13:46.84 I13az0Tv.net
F2は、やっぱ明日のE表記と同じ時にやります。あと1day待ってください。
178:１３２人目の素数さん
18/08/12 00:21:58.97 CtCtFKQb.net
>>174
もうちょっと詳しく
179:majimanji
18/08/12 07:00:28.98 RlQg2oMo.net
¡Hola!今回はE表記とF2です。
1.E表記
定義
E(b)a=b^a
E(c)a#b=c↑↑b↓a(↓..左から計算する矢印表記)
E(d)a#b#c = E(d)a#(E(d)a#(E(d)a#(E(d)#(...(c回...(E(d)a#b)...(c回)...))
E(f)a#b#c#d = E(f)a#b#(E(f)a#b#(E(f)a#b#(E(f)a#b#(...(E(f)a#b#c)...)) (d個のEa)
以下同様にして増えていきます。
2.F2
F2は、g(x)を定義するまではF1と同じですが、g(x)を定義したあと、S*と言う新しい変換を定義します。
(S∗f)(x)=(S^x f)(x)
SS変換の定義も異なっています。
SS(m,f,S)=((S^f(m)f)(m),(S^f(m))∗f,S^f(m))
そして、
3つ組 (m0,f0,S0) を m0=3, f0(x)=x+1, S0 はS変換とするとき、
SS^63(m0,f0,S0)
の第1成分をふぃっしゅ数バージョン2 F2、第2成分をふぃっしゅ関数バージョン2 F2(x) とします。
どうでしたか？次回はアッカーマン関数の応用編です。それでは、¡Buen baye!
180:１３２人目の素数さん
18/08/12 19:01:53.57 vCDP56KP.net
十分強い矛盾した体系を取って来れば停止するチューリングマシンの非停止性を自明にすることはできる
181:１３２人目の素数さん
18/08/12 19:24:10.0
182:8 ID:CtCtFKQb.net
183:カープファン
18/08/12 21:11:25.81 RKltD72o.net
バシク行列システムのＢＭ２の説明が載っている所ってある?
184:１３２人目の素数さん
18/08/13 01:26:12.21 /IrUHpQZ.net
URLﾘﾝｸ(www.slideshare.net)
185:majimanji
18/08/14 08:20:50.50 xNVhfaiB.net
안녕하세요!今回はアッカーマン関数の応用編です。
1.多変数アッカーマン
定義
X : 0個以上の0以上の整数
Y : 0個以上の0
a, b : 0以上の整数
A(Y,a)=a+1
A(X,b+1,0)=A(X,b,1)
A(X,b+1,a+1)=A(X,b,A(X,b+1,a))
A(X,b+1,0,Y,a)=A(X,b,a,Y,a)
2.F1の近似
F1≒A(1,0,1,63)
どうでしたか？次回は膨張、爆発、爆轟です。それでは、안녕!
186:１３２人目の素数さん
18/08/15 11:35:52.50 PISHH0Rk.net
巨大数を作った場合って、どこに投下したら精査してくれるの？
187:１３２人目の素数さん
18/08/16 08:19:17.52 rXLNkVUm.net
まずは自分で精査しなさい
188:majimanji
18/08/17 08:10:24.82 NHLFixeN.net
konnnitiha!今回は膨張、爆発、爆轟です。
1.a{b}c=a↑^b c
膨張は、
a{a{⋯{a}⋯}a}a(中心からb個のa)
となります。
爆発は、
a {{{1}}} b=a {{a {{a・・b times・・{{a}}・・・b times・a}} a}} a
となり、爆轟は
a{{{{{1}}}}}bとなります。
医科がでしたか？次回はF3を解説します。
それでは、sayounara!
189:１３２人目の素数さん
18/08/17 23:09:21.65 H/9ZfVyo.net
いつまでゴミの解説を続けるつもり？
190:１３２人目の素数さん
18/08/17 23:35:57.93 FwJN0y5y.net
このスレがゴミ箱だって全員が認めるまで
191:１３２人目の素数さん
18/08/18 13:25:17.35 T2jzf/Q6.net
これがビジービーバー関数の定義だといってもその定義文をビジービーバー関数の定義として解読する環境を記述することができない。「ビジービーバー関数」という言葉でちゃんと同じ関数を共有できているかを形式的に保証するすべが存在しない。計算可能であれば存在する。
グーゴロジストなら気にしないのかもしれない。
しかしラヨ関数からの拡張って計算可能レベルに還元して考えるとあまり大したことないような、
それに定義する前の問題としてユニバースをどうするかとか
192:１３２人目の素数さん
18/08/18 13:38:10.31 T2jzf/Q6.net
>>174
停止性が自明となる→停止性の決定可能性が自明となる
193:１３２人目の素数さん
18/08/18 21:39:45.00 770Md7nG.net
たまにこのスレで見るplatnist universeって何なの？
数学的プラトニズムっぽいのは分かるが
194:majimanji
18/08/20 07:16:21.85 7Q/s0ozW.net
qonnnitiwa!今回は今までのおさらいです。
1.チェーン 3→4→2=? 4→2→2=?
2.F1 S(2,x+2)=? S(4,x+3)=?
3.E# E10#2=? E(3)3#3#3=?
4.多変数アッカーマン A(0,0,4,1)=? A(0,1,2,0)=?
5.爆発 3{{1}}2=? 4{{1}}2=?
wakalimasuka?soredeha,sayounala!
195:カープファン
18/08/20 21:14:43.04 KvnW+k3Z.net
うーん 自分で考えた配列の評価に時間がかかるーーー
196:１３２人目の素数さん
18/08/22 18:36:12.74 J/WoWOVj.net
自分で評価も出来ないようなのはどうせゴミだよ
197:１３２人目の素数さん
18/08/22 19:15:16.57 hMgOnkdm.net
むしろ簡単に評価できてしまうほうじゃないかね
評価が定まっていないのならラヨ関数以降の巨大数とかがそうだし
198:１３２人目の素数さん
18/08/22 19:20:40.25 J/WoWOVj.net
ラヨ関数はそもそも定義の細部が完成してないから
199:１３２人目の素数さん
18/08/22 19:53:23.50 dEq68sNr.net
いつ頃完成しますかね
200:１３２人目の素数さん
18/08/22 20:54:06.42 hMgOnkdm.net
まずplatnist universeを認める派と認めない派にわかれる
201:１３２人目の素数さん
18/08/22 20:56:05.68 hMgOnkdm.net
任意のチューリングマシンが停止するか停止しないかが決まってるとか、そんな数学ではとらえきれない宇宙、なんだろう
202:１３２人目の素数さん
18/08/22 20:58
203::22.78 ID:fPQcldg2.net
204:１３２人目の素数さん
18/08/22 22:08:30.42 AYmWoNR1.net
宇宙って集合論のモデルだと思ってたんだけど、集合論のメタである計算機科学の概念なの？
205:１３２人目の素数さん
18/08/23 14:58:11.70 0tO3jgeU.net
矢印使ってる時は定義をしっかり吟味して地道に具体的に計算してたのに 集合論に足を踏み入れた瞬間用語の定義やら具体例やらすっ飛ばしてサラダを量産するの 少し悲しい
206:majimanji
18/08/23 15:28:53.99 aE3NZcs4.net
こ～たえ
3↑↑4 （何兆桁もの数）256
わからん」わからん「
10^10^10 わくぁらん
65533 うぁくぁるぁん
3↑^3↑↑↑3 3 4↑^4↑↑↑↑4 4
以上ｄえす
207:１３２人目の素数さん
18/08/23 16:39:45.00 pIec72+M.net
しょうがない
208:１３２人目の素数さん
18/08/23 20:55:48.21 wyuhME51.net
集合論関連はTaranovsky先生もapproximatelyとお茶を濁してる。
チューリングマシンの停止性はそりゃ決まってるもんだけど形式的にはそうでもないというやつで、
前ビジービーバー関数がwell definedでないと言ってたのは今思うとそのへんのことを言ってたのだろうか？
いづれにせよビジービーバー関数ってそういうもんでもないんだけど
209:１３２人目の素数さん
18/08/23 21:18:53.48 LGJTq8r8.net
理解の範囲を越えてるから原始的な方法を語る
ってだけだろ
計算可能な手続きによる巨大数の定義は
具体的に計算アルゴリズムを示せることが唯一の取り柄
だから具体的な計算アルゴリズムの形で定義しないと
チューリングマシン語でも普通のコンピューター言語でもフローチャートでも何でも良いけど
210:１３２人目の素数さん
18/08/23 22:18:54.07 6uqF3yLK.net
ZFは無矛盾かどうか決まってるけど分からないのと同じ？
211:１３２人目の素数さん
18/08/23 23:03:17.99 wyuhME51.net
計算不可能関数は原理的に形式的な理解が不可能で、そういうところ人によってはけっこう気にするんだと思うわ
数学的プラトニズムを定義に認めない専門家もいることだし、とはいえこの件は数学的プラトニズムを数学的に明らかにしていないというのが問題なだけかもしらんが
212:１３２人目の素数さん
18/08/23 23:08:54.32 wyuhME51.net
>>206
そんなところかね。無矛盾かどうかは最初から決まっている、しかし無から明らかにする方法が存在しない
213:１３２人目の素数さん
18/08/24 18:04:18.88 3weK3pAS.net
>>207
理解できないのは頭が悪いから
214:１３２人目の素数さん
18/08/24 19:23:12.76 dAJo8J5m.net
ビジービーバー関数ならまだしも、ラヨ関数あたりはどういうのを定義と認めるかがデリケートで、それにグーゴロジーを言語の追究と考えるのであれば計算可能か不可能かとかいうのは問題にならなくて、
たとえばラヨ関数のもととなっているFOSTよりも計算可能なCoCのほうがある意味言語としては強い
platnist universeを数学的に明らかにしないグーゴロジストの怠慢という批判はあるかもしれない
215:１３２人目の素数さん
18/08/24 19:27:33.94 dAJo8J5m.net
「言語」と言う言葉のつかいかたにすこし揺れがあって、ただ純粋に論理としての言語を指すのであればFOSTでビジービーバー関数を無条件で定義することはできないし、そういう解釈だとラヨ関数もビジービーバー関数と変わらない
216:majimanji
18/08/25 07:54:36.00 iCjelYNK.net
BEAFのレギオン配列と次元とレベルrの配列表記がよくわかりません
わかりやすく教えてください。
217:カープファン
18/08/25 22:16:06.35 9809cv82.net
急増加関数が１つの自然数と１つの順序数からより大きな自然数を作るように
１つの順序数と１つの順序数を超えたなにかからより大きな順序数を作ることは
出来るのでしょうか
218:１３２人目の素数さん
18/08/25 22:44:29.46 IhRhdsRu.net
順序数を越えたなにかですか
まずはすべての順序数の存在を明らかにしたらその後に見えてくるかも？
219:１３２人目の素数さん
18/08/25 23:12:53.38 zmtUye6c.net
急増加関数は
非可算無限に到達出来ない
また(定義可能な)全ての急増加関数は
ある可算順序数に対する急増加関数で抑える事が出来る
220:１３２人目の素数さん
18/08/25 23:14:21.68 zmtUye6c.net
Hardyの急増加関数は
順序数を与えただけでは定義にならない
221:１３２人目の素数さん
18/08/25 23:54:48.11 zmtUye6c.net
>>210
結局
ある言語を定義して
その言語n文字で定義可能な最大の実数
をその言語のビジービーバー関数
とするわけだよね
今厳密に(細部まで含めて)定義出来てる言語って
チューリングマシン語とその派生以外に何がある？
222:１３２人目の素数さん
18/08/25 23:56:12.34 zmtUye6c.net
n文字じゃなくて、
ゲーデル数にした時のn以下
の方が良いかな
223:１３２人目の素数さん
18/08/26 01:47:21.91 LuvNeHxc.net
記号としての言語ならそれこそ0と1だけでどんな関数も定義できてしまうし、ユニバースの問題だという見識は共有できてるという前提でいいんだろうか
224:１３２人目の素数さん
18/08/26 02:00:43.78 LuvNeHxc.net
>>217
ビジービーバー関数だと「定義可能であること」の定義がいたちごっこになって数学的にはナンセンスになる。
「厳密に(細部まで含めて)」というのが定義文をどう解釈してもひとつの関数の定義になっていることをいうのであれば、
ビジービーバー関数を定義できる言語は存在しない、不完全性定理から導かれる
225:１３２人目の素数さん
18/08/26 02:22:00.66 LuvNeHxc.net
「定義可能な言語として」存在しないと言っとかないとだめだった
226:１３２人目の素数さん
18/08/26 10:33:49.69 SB1tWnf2.net
定義可能であることが厳密でないことはよく分かったが、そこにplatnist universeが出るのは謎
まずこのuniverseはグロタンディーク宇宙などの宇宙と同じでいいの？
227:１３２人目の素数さん
18/08/26 11:19:15.19 T0UhBmfF.net
>>219
言語は当然定義しないとダメだよ
◯◯言語による記述
ゲーデル数がn以下の物の中で実数の定義になってる物だけを選んで
その中の最大値をf(n)とする
n以下で実数の定義になってる物が1個もなければ
f(n)=0とでもしておく
あとは言語を定義するだけ
228:１３２人目の素数さん
18/08/26 11:21:48.59 T0UhBmfF.net
ゲーデル数でなくても
n以下の記述が有限通りであれば
文字数でも何でもいい
229:１３２人目の素数さん
18/08/26 11:23:39.27 T0UhBmfF.net
有限通りでなくても
最大値が決まればそれでもいい
230:１３２人目の素数さん
18/08/26 11:30:30.70 SV2C/q4U.net
正しい実数の定義になってるかどうか
をその◯◯言語で出来る必要はない
(◯◯言語の記述を◯◯言語で判別するのは無理だから当然)
231:１３２人目の素数さん
18/08/26 11:32:27.67 SV2C/q4U.net
関数自体(f)を◯◯言語で記述する必要も無い
定義が正しいかどうかは定義とは別の領域で行う
(証明が正しいことを証明するのと同じ)
232:１３２人目の素数さん
18/08/26 13:14:31.17 LuvNeHxc.net
その定義かどうかの議論が計算不可能レベルだとどういう領域をとっても形式的に構成していくのが不可能で、
これがある種の厳密性の限界になる。
計算可能レベルでもZFCとかを無条件で信じること前提になってるだろといわれればその通りだが、
計算不可能レベルだと実際に構成された理論を前提とすることもかなわなくなる。
233:１３２人目の素数さん
18/08/26 13:18:04.92 LuvNeHxc.net
>>223の言う言語って何ですか
234:１３２人目の素数さん
18/08/26 13:24:47.82 LuvNeHxc.net
ただ単に記号の集まりと言うのであればFOSTによる記述の判別をFOSTで記述するのは可能で、
無矛盾性の強さやモデルの取り方の問題だったりする。
ラヨ関数で言うFOSTは何らかの宇宙を前提とした話だろう
235:１３２人目の素数さん
18/08/26 13:36:37.67 T0UhBmfF.net
>>228
◯◯言語の特定の表現が実数が定義されてるかされてないか
なんて考える必要はない
言語自体の定義が正しくされてるかだけを
(考えたい人が)考えれば良い
>>229
ちゃんと定義された物だと
チューリングマシン語
236:１３２人目の素数さん
18/08/26 13:40:43.22 T0UhBmfF.net
チューリングマシン語
停止する表現のみ実数が定義され、
停止した時の1の個数をその実数の定義とする
237:１３２人目の素数さん
18/08/26 13:50:43.38 T0UhBmfF.net
>>229
もっと簡単なのだと
0～9までの数字を使って普通の10進数を表記する言語
0～9 とべき乗の記号 ^ からなる言語
など
厳密に決める為には
「0文字の場合は実数定義にはなっていない」
「0^0 が現れた場合には実数定義にはなっていない」
など細部が明確
238:になっている必要がある
239:１３２人目の素数さん
18/08/26 14:23:09.28 T0UhBmfF.net
より一般的に
自然数全体をN
ある言語の表現全体の集合をL
Nから(Lの部分集合)への写像をa
ある集合S
LからS∪{undefinef}への写像b
{Sの部分集合}xNからNへの写像c
f(n) = c(b(a(n)), n)
が言語Lのビジービーバー関数
240:１３２人目の素数さん
18/08/26 14:29:58.23 T0UhBmfF.net
普通のビジービーバー関数の場合
L : 2記号のチューリングマシンすべて
a(n) : nステートのチューリングマシン
S : 自然数全体
b(l) : チューリングマシンlが停止する場合は停止時の1の個数、停止しない場合は'undeflined'
C([自然数の部分集合], n) : [自然数の部分集合]の最大値
241:１３２人目の素数さん
18/08/26 14:38:36.15 T0UhBmfF.net
巨大な実数探索なので
R 実数全体
{Sの部分集合}xNからRへの写像c
ですね
242:１３２人目の素数さん
18/08/26 14:41:17.43 T0UhBmfF.net
Sを直接実数としなかったのは
Sが順序数だったり関数だったり自然数の部分集合だったり
って事があるかなと思って
たとえば
Sが順序数の部分集合で
言語Lによって順序数を定義すれば
そのままHardyの急増加関数になる
243:１３２人目の素数さん
18/08/26 14:43:47.03 T0UhBmfF.net
あとは表現力の大きな言語Lを定義するだけ
表現力が大きすぎるとbの定義が難しくなっちゃったりもするけど
244:１３２人目の素数さん
18/08/26 15:29:32.75 zXC0j/wA.net
>>235
細かいところは色々と間違ったけど
意味はわかるよね？
245:１３２人目の素数さん
18/08/26 15:48:19.44 zXC0j/wA.net
もうちょっと簡単に
N : 自然数全体
L : ある言語の表現全体の集合 (ある集合)
L[n]: Lの部分集合
val : L ---> N∪{'undefined'}
とし、
∀n∈Nに対して、val(L[n]) は有限集合であるとする
この時、
関数fを以下のように定義する
BB[L, L[n], val](n) = max(N∩val(L[n])∪{0})
246:１３２人目の素数さん
18/08/26 15:55:51.16 zXC0j/wA.net
少なくともこれに関して曖昧性は無いよね
247:１３２人目の素数さん
18/08/26 16:10:56.65 LuvNeHxc.net
自然数全体というのがけっこう曖昧だったりする
248:１３２人目の素数さん
18/08/26 16:17:52.74 LuvNeHxc.net
>>231のあとに>>238というのはつまり大枠だけ定義して中身は各自自分で考えればいいという理解でおｋ？
表現と言うのは複数の解釈があってもなんとなく、数学的な根拠はないけどこういう解釈をすればこういう意味になることを指すのか、
それともどう解釈しても一意に定まるようでなければならないのか？ 前者の意味であれば万能でもないチューリングマシンが扱う言語でビジービーバー関数を表現できる
249:１３２人目の素数さん
18/08/26 16:29:07.67 zXC0j/wA.net
いや、
自然数全体が曖昧
とか言い出したらそれはこのスレの範疇ではないでしょ
複数の解釈なんてありません
表現に対して、1個の数値が定まるか定まらないかの何れかです
そういう物が数学板で扱う言語と言うもののと思います
>>234的にはただの集合とその元
自然言語は数学の範疇では無いと思います
250:１３２人目の素数さん
18/08/26 16:41:55.09 zXC0j/wA.net
曖昧って言ってたのは自然言語をイメージしてたって事かな？
そりゃ曖昧なのは当たり前ですね
チューリングマシン語と、それによるビジービーバー関数の定義は曖昧性はないですよね
>>240でいうところの、
L, L[n], valとも明確です
251:１３２人目の素数さん
18/08/27 12:57:04.16 9m9VXVjK.net
「自然数全体」という自然言語の言葉が意味するものを形式言語でどう解釈してもひとつの意味を表すように表現することが不可能(超準モデルを否定しきれない)で、
同様にビジービーバー関数もどう解釈しても同じ関数を意味するように形式言語で表現することができない。
特定のメタ理論が扱う情報としてのメタ自然数として部分的に「自然数全体」を扱って一部のチューリングマシンの停止性を決定するくらい
だからビジービーバー関数以降は完全無矛盾な理論のように帰納的公理化不可能な理論が必要となる。
そのような形式的にwell definedに記述できない宇宙の是非をどう判定するかが問題となる
...という事情だろうか
252:１３２人目の素数さん
18/08/27 14:14:12.47 GJp+MfMy.net
ポエムは他で
ここは数学板
253:１３２人目の素数さん
18/08/27 14:36:54.22 9m9VXVjK.net
ひとつ気になるけど、「ビジービーバー関数の値が形式言語で無条件で自明になり�
254:ｦない」というのに反対で、 ビジービーバー関数は形式言語で、なにも前提とする知識なく自明に、どう解釈しても同じ値をとるようにに定義できて、 曖昧なところはなにもない、という考えですか
255:１３２人目の素数さん
18/08/27 15:40:25.49 y+iuxcGp.net
>>246
帰納的公理化が可能だったり不可能だったりするのは文字通り公理系で、理論(=閉論理式の集合)ではなくね
それと宇宙っていうのはZF公理系の議論領域のことで、形式言語というメタレベルでは使わなくね
256:１３２人目の素数さん
18/08/27 17:14:05.21 GJp+MfMy.net
>>248
ビジービーバー関数を定義してるのは自然言語 (数学で通常用いられる言葉)
well-definedかどうかの検証も当然人間が行う
数学で通常用いられる言葉を否定するなら
これは数学の全否定になる
チューリングマシン語は形式言語
この言語で「自然数とは何か」なんて定義はしない
チューリングマシン語の表現全体という
単なる集合の各元に対して
自然数∪{undefined}の元が対応付けられてるだけ
この形式言語と>>240とを組み合わせることで
ビジービーバー関数の定義となる
257:１３２人目の素数さん
18/08/27 20:52:10.45 9m9VXVjK.net
自然言語で定義してもいいけど、まとめると形式的に共通の理解が（頭が悪いとかじゃなくて原理的に）不可能という意味で
ある種の厳密性の限界となっている、というのはすでに述べた通りで、ビジービーバー関数は形式主義の上限という分かりやすい指標があるからまだいいけど、
実際ラヨ関数となると「1階集合論の対角化」という自然言語（形式言語で申し訳程度に補足されてるけど）をどう解釈するかで強さが全然変わってくるし、
現在統一されてない状態が続いている。
258:１３２人目の素数さん
18/08/27 21:03:19.25 9FVKWK4K.net
それは単にラヨ関数の定義が不十分なだけ
259:１３２人目の素数さん
18/08/27 21:06:39.97 9m9VXVjK.net
このスレで言われている強い言語の追究というのは数学的プラトニズムの追究を意味するんだろうが、
これは形式主義の限界を抜きにしてもひどくあやふやで強い弱いがはっきりしなかったりする、
そもそも正しい式が一意に定まるのかどうか非自明だし、一意でないとだめだけど、それでまた議論になりそうだけど。
それに数の大きささけを追究したいのならどの言語を対角化するかはあまり問題にならないし、表現を解読するルールのほうが大事でそれこそ
FOSTによる表現の対角化がただの計算可能レベルになったり不可能レベルに化けたりする。
そしてFOSTでは扱えないクラスやクラスのクラスを扱える高階述語論理を実装したCoCは計算不可能レベルよりは真に弱かったりする。
260:１３２人目の素数さん
18/08/27 21:06:51.31 9FVKWK4K.net
自然言語による定義の否定は数学の否定
これ以上は他の板でやってください
261:１３２人目の素数さん
18/08/27 21:10:56.37 9FVKWK4K.net
表現の解読が言語にとって重要なのは当たり前
>>240のLだけならアスキー文字列で足りる
valが解読
表記と解読がセットで言語として機能する
262:１３２人目の素数さん
18/08/27 21:25:05.45 9m9VXVjK.net
べつに自然言語を否定してはいないです。
たとえば対角化してラヨ関数になるFOSTでビジービーバー関数を定義するさい、解読をどう定義します？
「強い言語」というのが数学的にはっきりしないという話です。
ビジービーバー関数をFOSTで定義するだけなら自然言語で「オラクルで停止するチューリングマシンのコードが与えられている」、とか言っておけばいいんですけど
自然言語による定義を受け入れてもこの先がはっきりしないんです。
選択公理をを「認める」か「認めない」かとか、どちらかが矛盾しているのか、していないのかとか
263:１３２人目の素数さん
18/08/27 21:29:21.01 9FVKWK4K.net
>>256
はっきりしないのは定義が不十分だから
264:１３２人目の素数さん
18/08/27 21:44:54.17 9m9VXVjK.net
もうあれだ、1階のすべての無矛盾な公理やplatnist universeも全部オラクルで与えられている、ということにしよう
これで全部はっきりとした定義になる。
海外のグーゴロジストはこれくらいのノリなのかもな。
でも巨大基数公理と同じように強ければ強いほど無矛盾性が疑われるようになる
265:１３２人目の素数さん
18/08/27 21:52:11.37 9FVKWK4K.net
>>258
> でも巨大基数公理と同じように強ければ強いほど無矛盾性が疑われるようになる
そりゃそうだ
矛盾スレスレを狙うのが巨大数探索
もちろんそのレベルだと無矛盾かどうかの証明も不可能
でもビジービーバー関数は明確だ
疑う余地はない
266:１３２人目の素数さん
18/08/27 21:57:12.80 9FVKWK4K.net
>>258
言語の機能として(定義が明確であれば)与えられるものは与えていい
当然だ
ビジービーバー関数を与えてもいいし、
特定の言語の停止判定機能を(別の言語に)加えても良い
巨大数を定義することが目的
巨大数の定義がwell-definedかどうかは定義とは別
それが矛盾スレスレだと判別出来ないかもしれない
267:１３２人目の素数さん
18/08/27 22:01:32.94 9FVKWK4K.net
計算可能な手続きによる定義と
計算可能ではない手続きによる定義
ここに線を引きたがるのが不思議だ
ヒドラゲームとビジービーバー関数、
well-defined性はビジービーバーの方が簡単と思う
268:１３２人目の素数さん
18/08/27 22:10:47.60 9FVKWK4K.net
もちろん解釈によって値が変わるようなのは定義としては不十分
269:１３２人目の素数さん
18/08/28 05:19:15.99 8IuntILf.net
あー、ZFCの矛盾を直接探すチューリングマシンってのが構成できちゃうのか。すごいな
確かにビジービーバー関数が自然数を返すって言われても、
それは俺たちの知ってる自然数か？って疑問は生まれるなあ
実際どうなんだろう
270:１３２人目の素数さん
18/08/28 07:17:28.09 Tpagsx/x.net
別スレでも話題に上がってたultimate Lが前提ってことでいいんじゃね
お前ら頑張って見つけてくれ
271:１３２人目の素数さん
18/08/28 11:32:24.37 HNRDsznq.net
well defined性という謎の言葉が
272:１３２人目の素数さん
18/08/28 12:33:16.96 EdbgCRbU.net
ちゃんと矛盾なく曖昧性なく定義出来てるかってこと
日本語変だった？
273:１３２人目の素数さん
18/08/28 14:42:03.16 iVtU05+K.net
名詞＋性→○○性
well defined←形容詞
274:１３２人目の素数さん
18/08/28 15:25:02.81 V9RKyGz4.net
いじめないでください
275:１３２人目の素数さん
18/08/28 22:23:54.30 agyO/msQ.net
d/dx*Σcos(y*logk)/k^x=Σ-logk*cos(y*logk)/k^x=-log1*cos(y*log1)/1^x-log2*cos(y*log2)/2^x-log3*cos(y*log3)/3^x-log4*cos(y*log4)/4^x-・・・
-log(1^(cos(y*log1)/1^x)*2^(cos(y*log2)/2^x)*3^(cos(y*log3)/3^x)*4^(cos(y*log4)/4^x)*5^(cos(y*log5)/5^x)*・・・)=log1=0
1=(cos(y*log1)/1^x)=log(1/(2^(cos(y*log2)/2^x)*3^(cos(y*log3)/3^x)*4^(cos(y*log4)/4^x)*5^(cos(y*log5)/5^x)*・・・))/log1
(2^(cos(y*log2)/2^x)*3^(cos(y*log3)/3^x)*4^(cos(y*log4)/4^x)*5^(cos(y*log5)/5^x)*・・・)=1
Πk^(cos(y*logk)/k^x)=1
276:１３２人目の素数さん
18/08/28 23:33:02.80 HNRDsznq.net
解釈によって値が変わらないことの構成的な証明が計算不可能レベルには存在しないから、
構成的な数学との区切りの意味合いもある。
自然言語による定義だけでいいのならオラクルで与えられた無矛盾な形式言語のクラスの対角化
といっておけば今のところ最強になる。ＦＧＨでf[ω_1]と評価されるやつ。
277:１３２人目の素数さん
18/08/28 23:43:07.32 0lBiqSMn.net
文字どおり言葉を失うぐらい大きいんだな
278:１３２人目の素数さん
18/08/28 23:44:42.90 W0aAul7K.net
>>270
解釈によって値が変わらない証明なんて
計算可能な関数でも不可能
あと、
「オラクルで与えられた無矛盾な形式言語のクラスの対角化」
これのどこが定義？
279:１３２人目の素数さん
18/08/28 23:51:47.46 HNRDsznq.net
計算可能ならZFCなんかで証明することができる。
f[ω_1]についてはたまに海外でも話題になる
280:１３２人目の素数さん
18/08/28 23:55:11.34 W0aAul7K.net
>>273
well-definedであればそれを証明することが出来る
ということがわかっているだけではなんの意味もない
具体的に証明してみないと
281:１３２人目の素数さん
18/08/28 23:57:33.06 HNRDsznq.net
>>274
計算可能レベルでは証明の存在を証明できるし実際に具体的に証明してみせることができる。
不可能レベルだと実際に具体的に証明することができない
282:１３２人目の素数さん
18/08/28 23:59:22.25 HNRDsznq.net
実際に具体的に示すことができることを「構成的」と言ったのです
283:１３２人目の素数さん
18/08/29 00:00:50.68 LWtFkbge.net
f[ω_1]相当の関数は定義不可能だと思う
この関数が定義できたと仮定すると
この関数をオラクルに持つチューリングマシン語で
f[ω_1未満の任意の順序数]相当の関数を記述することが出来る
ω_1未満の順序数は非可算個
チューリングマシン語で記述可能な関数は可算個
明確に矛盾する
284:１３２人目の素数さん
18/08/29 00:04:29.78 LWtFkbge.net
>>276
じゃあ具体的に証明してみてください
285:１３２人目の素数さん
18/08/29 07:33:20.56 Po50OrYe.net
>>277
>ω1未満の順序数は非可算個
モデルによるのでは？
286:１３２人目の素数さん
18/08/29 08:39:34.47 ymD7
287:znQA.net
288:１３２人目の素数さん
18/08/29 20:30:03.36 abi/JPxw.net
たぶんモデル相対的のことを言ってるんだと思う
すべての形式言語がオラクルで与えられるのはいいけどそれを対角化できるかが自明でないし、
できたらできたでなんらかの可算順序数に落ち着くわ。すまんかった。
でも>>277は「この関数をオラクルに持つチューリングマシン語」ってのがよく分からない。
289:１３２人目の素数さん
18/08/29 21:17:29.47 LWtFkbge.net
>>277
この関数を計算する機能を有するチューリングマシン
一番簡単な定義だと
初期状態のヘッドの位置を0として
関数の取りうる値に対応するテープの位置だけ1
それ以外の位置を0にした状態で始めるだけ
290:１３２人目の素数さん
18/08/29 21:59:10.43 abi/JPxw.net
解釈によって値が変わらないことの証明 まだ完璧でないけど
1階述語論理で考える。
解釈によって関数fの値が変わらないというのは、任意の引数ｘ、任意の閉論理式σにつき、ある自然数bが存在し、
(σ→f(x)=b)∧(￢σ→f(x)=b)
となることをいう。(等号に関する公理をふまえておく)
コンパクト性により無限個の論理式については考えなくて良い。
ペアノの公理系を含む無矛盾で帰納的公理化可能な理論T（と論理公理）
T上で任意のxにつきf(x)の値が決まるとする。このようなTは計算可能であれば存在する。
すると、
それぞれのxにつき、σをTから独立した任意の閉論理式、bを適当な自然数すると、
T⊦σ→f(x)=b かつ T⊦￢σ→f(x)=b
よって
T⊦(σ→f(x)=b)∧(￢σ→f(x)=b)
Tが存在する時点で証明がほぼ終わるしこっちが証明の本懐となる
・・・もしかして、ある人の後者関数sが別のある人のビジービーバー関数かもしれない、
というレベルの話？
291:１３２人目の素数さん
18/08/29 22:14:01.00 LWtFkbge.net
>>283
まさしく>>274に書いてある通り
なんの意味もない
全くのとんちんかん
292:１３２人目の素数さん
18/08/29 22:15:51.56 LWtFkbge.net
じゃあたとえば
ヒドラの定義と
ヒドラがwell-definedである証明
をしてください
293:１３２人目の素数さん
18/08/29 23:02:18.36 doPaMoVo.net
XとYとZがすべて互いに逆向きの合成ベクトルの原点からの距離
√(X^2+Y^2+Z^2-2*(X*Y+X*Z+Z*Y))
√(X^2+Y^2+Z^2-2*(X*Y+X*Z+Z*Y))=0
1/2=(X*Y+X*Z+Z*Y)/(X^2+Y^2+Z^2)
XとYとZがすべて0以外のときこれを満たす値は存在しない
294:１３２人目の素数さん
18/08/29 23:23:07.23 doPaMoVo.net
Z^2-2*(X+Y)*Z+(X-Y)^2=0
(X+Y)±2*√(XY)=Z
Z=1 Y=2^2 X=3^2
9と4が逆向きなのでたすと5の大きさのベクトルになる
それに1の大きさのベクトルを足すと0になる
295:１３２人目の素数さん
18/08/29 23:53:00.97 abi/JPxw.net
何が求められているのかよく分からなくなってきた。
>>283の「具体的な証明でないところ」ってどこですか？ あれ自体まだ完璧ではありませんが
well-definedというのは解釈によって値が変わらないことでいいですか
296:１３２人目の素数さん
18/08/29 23:56:58.70 abi/JPxw.net
十分な定義であるためには解釈によって値が変わらないことが必須で
解釈によって値が変わらないことの証明は不可能となると、
十分な定義かどうかの判断ってどうなるんだ。
形式的な証明をして形式的な理解をする、しかしそれは形式外からみて間違った証明であるかもしれない
ならまだ分かるが
297:１３２人目の素数さん
18/08/30 00:31:07.71 6algg+Xv.net
>>285をお願いします
298:１３２人目の素数さん
18/08/30 00:32:02.49 6algg+Xv.net
あと、
ビジービーバーの定義が不十分な定義であるという理由も
299:１３２人目の素数さん
18/08/30 01:07:39.93 lPE61nSa.net
不十分な定義とは言ってないがな
300:１３２人目の素数さん
18/08/30 22:24:06.29 GXlc2mKC.net
√(|X|^2+|Y|^2+|Z|^2-2*(|X|*|Y|+|X|*|Z|+|Z|*|Y|))=|X*cosθ1+X*sinθ1+Y*cosθ2+Y*sinθ2+Z*cosθ3+Z*sinθ3|
これを満たすθ1,θ2.,θ3は存在しない
301:１３２人目の素数さん
18/08/30 22:34:19.26 GXlc2mKC.net
√(|X|^2+|Y|^2+|Z|^2-2*(|X|*|Y|+|X|*|Z|+|Z|*|Y|))=√((X*cosθ1+Y*cosθ2+Z*cosθ3)^2+(X*sinθ1+Y*sinθ2+Z*sinθ3)^2)
√((X*cosθ1+Y*cosθ2+Z*cosθ3)^2+(X*sinθ1+Y*sinθ2+Z*sinθ3)^2)√(|X|^2+|Y|^2+|Z|^2+2*(|X|*|Y|*cos(θ1-θ2)+|X|*|Z|*cos(θ1-θ3)+|Z|*|Y|*cos(θ2-θ3)))
(θ1-θ2)=(2k1+1)π
(θ1-θ3)=(2k2+1)π
(θ2-θ3)=(2k3+1)π
この連立方程式をみたすθ1,θ2,θ3は存在しない
302:１３２人目の素数さん
18/09/03 12:12:02.77 Iu5ibvRL.net
>>294
ここでやるな
303:１３２人目の素数さん
18/09/04 12:48:05.78 T2tSYdHe.net
1*2*3*5*・・・*S(k)*√(1^2+1/2^2+1/3^2+1/S(k)^2+2*(1/(1*2)+1/(2*3)+・・・+1/S(k-1)*1/S(k)))
1/1,1/2,1/3,1/5,・・・1/S(k)
つまり素数の逆数のベクトルの合計の絶対値にベクトルの積を書けたもの
この値が任意の二つのベクトルのペアの成す角度がすべて0またはπを満たすとき
また得られた値がS(k+1)^2よりもちいさくなるとき必ず素数になる
2*3*5*√(1^2+1/2^2+1/3^2+1/5^2+2*(1/(1*2)-1/(2*3)-1/(1*3)-1/(1*5)+1/(2*5)-1/(3*5)))=31
1と1/2のベクトルの向きが等しい
1/2と1/3のベクトルの向きが逆
1/と1/3のベクトルの向きが逆
1と1/5のベクトルの向きが逆
1/2と1/5のベクトルの向きが等しい
1/3と1/5のベクトルの向きが逆
この６条件を満たすベクトルは存在しないが得られる値が7^2より小さくなるため素数になる
2*3*5*7*√(1^2+1/2^2+1/3^2+1/5^2+1/7^2+2*(1*(1/2+1/3+1/5+1/7)+1/2*(1/3+1/5+1/7)+1/3*(1/5+1/7)+1/5*1/7))
2*3*5*7*√(1^2+1/2^2+1/3^2+1/5^2+1/7^2+2*(-1*(1/2+1/3+1/5-1/7)+1/2*(1/3+1/5+1/7)-1/3*(1/5+1/7)-1/5*1/7))=37
304:１３２人目の素数さん
18/09/04 13:06:31.06 T2tSYdHe.net
2*3*5*7*√((x)^2+1/2^2+1/3^2+1/5^2+1/7^2+2*((x)*(1/2+1/3+1/5+1/7)+1/2*(1/3+1/5+1/7)+1/3*(1/5+1/7)+1/5*1/7))
x=6/5近辺で上記の式は0にちかづくため
2*3*5*7*√((x)^2+1/2^2+1/3^2+1/5^2+1/7^2+2*((x)*(1/2+1/3+1/5+1/7)+1/2*(1/3+1/5+1/7)+1/3*(1/5+1/7)+1/5*1/7))=5
2*3*5*7*√((5/5)^2+1/2^2+1/3^2+1/5^2+1/7^2+2*(-(5/5)*(1/2+1/3+1/5+1/7)+1/2*(1/3+1/5+1/7)+1/3*(1/5+1/7)+1/5*1/7))=37
2*3*5*7*√((7/5)^2+1/2^2+1/3^2+1/5^2+1/7^2+2*(-(7/5)*(1/2+1/3+1/5+1/7)+1/2*(1/3+1/5+1/7)+1/3*(1/5+1/7)+1/5*1/7))=47
近辺に素数が密集する
2*3*5*7*√((8/5)^2+1/2^2+1/3^2+1/5^2+1/7^2+2*(-(8/5)*(1/2+1/3+1/5+1/7)+1/2*(1/3+1/5+1/7)+1/3*(1/5+1/7)+1/5*1/7))=89
2*3*5*7*√((9/5)^2+1/2^2+1/3^2+1/5^2+1/7^2+2*(-(9/5)*(1/2+1/3+1/5+1/7)+1/2*(1/3+1/5+1/7)+1/3*(1/5+1/7)+1/5*1/7))=131
2*3*5*7*√((10/5)^2+1/2^2+1/3^2+1/5^2+1/7^2+2*(-(10/5)*(1/2+1/3+1/5+1/7)+1/2*(1/3+1/5+1/7)+1/3*(1/5+1/7)+1/5*1/7))=173 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
305:１３２人目の素数さん
18/09/05 21:27:23.62 PjCE7zP9.net
2*3*√((x)^2+1^2+1/2^2+1/3^2-2*((x*(1/1+1/2+1/3)+1/1*1/2+1/2*1/3+1/1*1/3))
x=2^2のとき
2*3*√((4)^2+1^2+1/2^2+1/3^2-2*((4*(1/1+1/2+1/3)+1/1*1/2+1/2*1/3+1/1*1/3))=5
2*3*5*√((-2)^2+1^2+1/2^2+1/3^2+1/5^2+2*((-2*(1/1+1/2+1/3+1/5)+1/1*1/2+1/2*1/3+1/1*1/3+1/5+1/2*1/5+1/3*1/5))=1
2*3*5*√((-1)^2+1^2+1/2^2+1/3^2+1/5^2+2*((-1*(1/1+1/2+1/3+1/5)+1/1*1/2+1/2*1/3+1/1*1/3+1/5+1/2*1/5+1/3*1/5))=31
2*3*5*√((0)^2+1^2+1/2^2+1/3^2+1/5^2+2*((0*(1/1+1/2+1/3+1/5)+1/1*1/2+1/2*1/3+1/1*1/3+1/5+1/2*1/5+1/3*1/5))=61
2*3*5*√((-3)^2+1^2+1/2^2+1/3^2+1/5^2+2*((-3*(1/1+1/2+1/3+1/5)+1/1*1/2+1/2*1/3+1/1*1/3+1/5+1/2*1/5+1/3*1/5))=29
2*3*5*√((-4)^2+1^2+1/2^2+1/3^2+1/5^2+2*((-4*(1/1+1/2+1/3+1/5)+1/1*1/2+1/2*1/3+1/1*1/3+1/5+1/2*1/5+1/3*1/5))=59
2*3*5*√((-5)^2+1^2+1/2^2+1/3^2+1/5^2+2*((-5*(1/1+1/2+1/3+1/5)+1/1*1/2+1/2*1/3+1/1*1/3+1/5+1/2*1/5+1/3*1/5))=89
306:１３２人目の素数さん
18/09/05 21:37:09.49 PjCE7zP9.net
1*2^2*√(4^2+1^2+1/2^2+1/4^2-2*(4*(1+1/2+1/4)+1*1/2+1*1/4+1/2*1/4))=5
1*2^2*√(2^2+1^2+1/2^2+1/4^2-2*(-2*(1+1/2+1/4)+1*1/2+1*1/4+1/2*1/4))=13
1*2*4*√(4^2+1^2+1/2^2+1/4^2+1/8^2-2*(4*(1+1/2+1/4+1/8)+1*(1/2+1*1/4+1/8)+1/2*(1/4+1/8)+1/4*1/8))=3
1*2*4*√(-1^2+1^2+1/2^2+1/4^2+1/8^2-2*(-1*(1+1/2+1/4+1/8)+1*(1/2+1*1/4+1/8)+1/2*(1/4+1/8)+1/4*1/8))=11
307:１３２人目の素数さん
18/09/07 21:52:49.40 l2wZwB3K.net
√(|X|^2+|Y|^2+|Z|^2-2*(|X|*|Y|+|X|*|Z|+|Z|*|Y|))
√(1^2+4^2+9^2-2*(1*4+1*9+4*9))=0
√(4^2+9^2+25^2-2*(4*9+4*25+9*25))=0
(25+9)±2*√(9*25)=64
√(64^2+9^2+25^2-2*(64*9+64*25+9*25))=0
(64+25)±2*√(64*25)=169
√(64^2+169^2+25^2-2*(64*169+64*25+169*25))=0
308:１３２人目の素数さん
18/09/07 22:13:31.92 l2wZwB3K.net
√(64^2+169^2+25^2-2*(64*169+64*25+169*25))=0
(64+169)±2*√(64*169)=441=21^2
√(64^2+169^2+441^2-2*(64*169+64*441+169*441))=0
(441+169)+2*√(441*169)=1156=34^2=2^2*17^2
(441+1156)+2*√(441*1156)=3025=55^2=5^2*11^2
(3025+1156)+2*√(3025*1156)=7921=89^2
(3025+7921)+2*√(3025*7921)=20736=144^2=2^8*3^4
(20736+7921)+2*√(20736*7921)=54289=233^2
(20736+142129)+2*√(20736*142129)=142129=13^2*29^2
309:１３２人目の素数さん
18/09/07 22:22:15.76 l2wZwB3K.net
√(|X|^2+|Y|^2+|Z|^2-2*(|X|*|Y|+|X|*|Z|+|Z|*|Y|))
(X+Y)±2*√(XY)=Z
5^2+7^2-2*5*7=2^2
11^2+7^2-2*11*7=4^2
11^2+13^2-2*11*13=2^2
17^2+13^2-2*17*13=4^2
17^2+19^2-2*17*19=2^2
23^2+19^2-2*23*19=4^2
23^2+29^2-2*23*29=6^2
31^2+29^2-2*31*29=2^2
31^2+37^2-2*31*37=6^2
41^2+37^2-2*41*37=4^2
310:１３２人目の素数さん
18/09/07 22:27:26.17 l2wZwB3K.net
41^2+43^2-2*41*43=2^2
47^2+43^2-2*47*43=4^2
47^2+53^2-2*47*53=6^2
59^2+53^2-2*59*53=6^2
59^2+61^2-2*59*61=2^2
67^2+61^2-2*67*61=6^2
67^2+
311:71^2-2*67*71=4^2 73^2+71^2-2*73*71=2^2 97^2+89^2-2*97*89=8^2 1109^2+1117^2-2*1117*1109=8^2 3469^2+3467^2-2*3467*3469=2^2
312:１３２人目の素数さん
18/09/07 22:30:52.84 l2wZwB3K.net
26821^2+26813^2-2*26821*26813=8^2
9998143^2+9998141^2-2*9998141*9998143=2^2
(n+1番目の素数)^2+(n番目の素数)^2-2*(n+1番目の素数)*(n番目の素数)は2^2か4^2か8^2か6^2以外の値をとらない
313:１３２人目の素数さん
18/09/08 18:29:00.73 EHhxgYHE.net
３成分のベクトルがすべて互いにπ異なる角度で存在するときのベクトルの和の原点からの距離
√(|X|^2+|Y|^2+|Z|^2-2*(|X|*|Y|+|X|*|Z|+|Z|*|Y|))=0
X,Y,Z成分は以下を満たす
√X±√Y=Z
√Y±√Z=X
√X±√Z=Y
√Y±√(√X±√Y)=X
X^2-2*X*√Y*Y=√X±√Y
X=√(X1^2+X2^2)
４成分のときは以下になる
√(|X1|^2+|X2|^2+|Y|^2+|Z|^2-2*(|√(X1^2+X2^2)|*|Y|+|√(X1^2+X2^2)|*|Z|+|Z|*|Y|))=0
√(|X|^2+|Y|^2+|Z|^2+|W|^2-2*(|X|*|Y|+|X|*|Z|+|Z|*|Y|+|W|*(|X|+|Y|+|Z|)))=0
個数が何個になろうが
Xk=√|X1|±√|X2|・・・±√|Xn|であらわされる
314:１３２人目の素数さん
18/09/13 23:40:16.48 TdhxmKRA.net
３成分のベクトルがすべて互いにπ異なる角度で存在するときのベクトルの和の原点からの距離
√(|X|^2+|Y|^2+|Z|^2-2*(|X|*|Y|+|X|*|Z|+|Z|*|Y|))=0
X,Y,Z成分は以下を満たす
√X±√Y=√Z
√Y±√Z=√X
√X±√Z=√Y
３成分のベクトルがすべて互いにπ異なる角度で存在するときのベクトルの和の原点からの距離
√(|X|^(1/n)+|Y|^(1/n)+|Z|^(1/n)-2*(|X|^(1/n)*|Y|^(1/n)+|X|^(1/n)*|Z|^(1/n)+|Z|^(1/n)*|Y|^(1/n)))=0
X,Y,Z成分は以下を満たす
X^n±Y^n=Z^n
Y^n±Z^n=X^n
X^n±Z^n=Y^n 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
315:１３２人目の素数さん
18/09/13 23:59:27.16 TdhxmKRA.net
√(|X1|^2+|X2|^2+|X3|^2+|X4|^2-2*(|X1|*(|X2|+|X3|+|X4|)+|X2|*(|X3|+|X4|)+|X3|*|X4|))=0
|X1|^2+|X2|^2+|X3|^2+|X4|^2-2*(|X1|*(|X2|+|X3|+|X4|)+|X2|*(|X3|+|X4|)+|X3|*|X4|)=0
|X1|=(|X2|+|X3|+|X4|)±√((|X2|+|X3|+|X4|)^2+2*|X2|*(|X3|+|X4|)+2*|X3|*|X4-|X2|^2-|X3|^2-|X4|^2)
|X1|=(|X2|+|X3|+|X4|)±2*√(|X2|*(|X3|+|X4|)+|X3|*|X4|)
|√X1|=|√X2|±|√X3|±|√X4|
|√X2|=|√X1|±|√X3|±|√X4|
|√X3|=|√X2|±|√X1|±|√X4|
|√X4|=|√X2|±|√X3|±|√X1|
X1からXnまでにn個のベクトルがすべての組み合わせにおいてπだけ向きが異なるとき
このベクトルを足し合わせたさい原点に戻ってくると仮定するとき
任意のkにおいて
√Xk=√X1±√X2±√X3±・・・・±√Xnがなりたつ
つまり以下の足し算において乗数であるnが整数のとき
Xk^n=X1^n+X2^n+X3^n+・・・+Xn^nをみたすX1からXnまでの整数の組み合わせは存在しない
316:１３２人目の素数さん
18/09/14 14:20:46.90 2+li8qbS.net
Xk^n=X1^n+X2^n+X3^n+・・・+Xn^n
ｎが3以上の整数のときX1,X2,X3,,,,Xnの整数の組み合わせは存在しない
317:majimanji
18/09/15 10:22:56.33 KWxkRTKE.net
もっとでかい数作ろうぜ
318:１３２人目の素数さん
18/09/15 13:37:48.86 uRXZm+Vq.net
√(|X1|^2+|X2|^2+|X3|^2+|X4|^2-2*(|X1|*(|X2|+|X3|+|X4|)+|X2|*(|X3|+|X4|)+|X3|*|X4|))=0
|X1|^2+|X2|^2+|X3|^2+|X4|^2-2*(|X1|*(|X2|+|X3|+|X4|)+|X2|*(|X3|+|X4|)+|X3|*|X4|)=0
|X1|=(|X2|+|X3|+|X4|)±√((|X2|+|X3|+|X4|)^2+2*|X2|*(|X3|+|X4|)+2*|X3|*|X4-|X2|^2-|X3|^2-|X4|^2)
3変数のときのみ
√|X1|=√|X2|±√|X3|であらわされ
4変数以上のとき
|X1|=(|X2|+|X3|+|X4|)±2*√(|X2|*|X3|+|X2|*|X4|+|X3|*|X4|)
|X1|=(|X2|+|X3|+|X4|+|X5|)±2*√(|X2|*|X3|+|X2|*|X4|+|X3|*|X4|+|X5|*|X1|+|X5|*|X2|+|X5|*|X3|)
|X1|と|X2|と|X3|の乗数が6以上の偶数のとき
|X1|^3=|X2|^3±|X3|^3
|X1|^6=(|X2|^6+|X3|^6+|X4|^6)±2*√(|X2|^6*|X3|^6+|X2|^6*|X4|^6+|X3|^6*|X4|^6)
|X1|^3=|X2|^3±|X3|^3これを満たす整数の組み合わせはないため
|X1|^6=(|X2|^6+|X3|^6+|X4|^6)±2*√(|X2|^6*|X3|^6+|X2|^6*|X4|^6+|X3|^6*|X4|^6)において
|X1|か|X2|か|X3|か|X4|のうちひとつが0だとすると
それ以外の3変数をみたす整数が存在しないことになる
0=(|X2|^6+|X3|^6+|X4|^6)±2*√(|X2|^6*|X3|^6+|X2|^6*|X4|^6+|X3|^6*|X4|^6)
を満たす3変数の整数の組み合わせは存在しない
319:１３２人目の素数さん
18/09/15 13:44:04.32 uRXZm+Vq.net
0=(|a|^2n+|b|^2n+|c|^2n)±2*√(|a|^2n*|b|^2n+|b|^2n*|c|^2n+|c|^2n*|a|^2n)
(a^2n+b^2n+c^2n)=2*(a^2n*b^2n+b^2n*c^2n+c^2n*a^2n)
nが3以上の整数のときこれをみたすa,b,cの組み合わせは存在しない
(1/2)*(a^6+b^6+c^6)=(a*b)^6+(b*c)^6+(c*a)^6
320:１３２人目の素数さん
18/09/15 13:46:15.51 uRXZm+Vq.net
0=(|a|^2n+|b|^2n+|c|^2n)±2*√(|a|^2n*|b|^2n+|b|^2n*|c|^2n+|c|^2n*|a|^2n)
(a^4n+b^4n+c^4n)=2*(a^2n*b^2n+b^2n*c^2n+c^2n*a^2n)
nが3以上の整数のときこれをみたすa,b,cの組み合わせは存在しない
(1/2)*(a^12+b^12+c^12)=(a*b)^6+(b*c)^6+(c*a)^6
321:majimanji
18/09/16 08:47:22.32 glitZqm0.net
f_φ(ω,0)(n)くらいの関数作ろうぜ
322:カープファン
18/09/17 21:05:55.68 pu1PM2Ka.net
ε＿0以上のものを作ろうと思ったらいろんな発想が要ると思うな
323:majimanji
18/09/18 16:29:17.73 wvwGTeyW.net
φ(ω,0)は
URLﾘﾝｸ(googology.wikia.com)
位だからな
まあ頑張るか
324:学術
18/09/18 23:08:55.66 bdccv7Cm.net
アウラデーン
325:１３２人目の素数さん
18/09/19
326:14:33:39.60 ID:RUXqakpI.net
327:１３２人目の素数さん
18/09/19 18:39:46.92 N+F2ylua.net
さぬきうどん界におちる
328:majimanji
18/09/19 20:26:49.01 mFccU6dC.net
>>317
>>318
ここは巨大数論をやるところです。
329:majimanji
18/09/21 18:45:54.29 7w8o+PjR.net
とりあえず頑張る
{a,b,c,...d,e}={a-1,{b-1,c...,d,e},{b,c-1,...d,e},...{b,c,...d-1,e},{b,c,...d,e-1}}
配列中の弌は、切り捨てる。
...これ、計算終了する?
330:１３２人目の素数さん
18/09/21 21:15:22.29 mBnD0VuF.net
>>4の拡張をどんどん推し進めるとブーフホルツのヒドラにたどり着いたりする？
331:１３２人目の素数さん
18/09/21 22:30:48.81 w/v3JaGt.net
x^2/(2S)-y^2/(2S)=1
x=(S+1)/√2 y=(S-1)/√2
Sが素数のとき
√2S < x 区間で(x,y)の整数の組み合わせは存在しない
x^2n=(2S+y^2)^n
条件満たす(x,y,z)の整数の組み合わせは存在しない
(x^2n+y^2n+z^2n-2*((xy)^n+(xz)^n+(yz)^n))=0
(x^n-y^n)^2=(2*y^n+2*x^n-z^n)*z^n
x^n/(2S)^(n/2)-y^n/(2S)^(n/2)=√((2*y^n+2*x^n-z^n)*z^n/(2S)^n)=1
x^2/(2S)-y^2/(2S)=√((2*y^2+2*x^2-z^2)*z^2/(2S)^2)=1
((2*y^2+2*x^2-z^2)*z^2/(2S)^2)=1
Sが素数のとき
√((2*y^2+2*x^2-z^2)*z^2)=(2S)をみたす(x,y,z)の整数の組み合わせは存在しない
332:majimanji
18/09/22 10:42:52.64 /3Jwc0Fz.net
>>320
言い忘れたが
{a,b}=a^b
333:カープファン
18/09/22 20:56:45.56 gss3ATdl.net
>>320
たぶん計算終了するが
多変数アッカーマン関数程度になるとおもう
334:１３２人目の素数さん
18/09/23 00:07:28.09 26vGAKmn.net
ω^ω程度ってことか。。
335:majimanji
18/09/23 06:19:10.27 fCPc+ArO.net
多分、多変数アッカーマン<この関数<s(n)変換程度だと思う
336:カープファン
18/09/23 21:04:16.04 ocRKI3Qk.net
多変数アッカーマンもｓ(ｎ)変換も同じ Ｆ＿ω＾ω だよ
337:majimanji
18/09/24 06:53:30.15 Ori7e7ek.net
>>327
同じω^ωでも近似が違う
338:１３２人目の素数さん
18/09/24 09:35:58.63 EcOyTpiR.net
誤差
339:majimanji
18/09/24 16:36:59.43 Ori7e7ek.net
もうちょい拡張
a()b={a,a,a・・b回・・,a,a,a}
a()_c b=a()_c-1 a()_c-1 a() a()_c-1 a,ただし()_1は()とする
340:１３２人目の素数さん
18/09/25 10:46:10.69 tqU4ziv0.net
グラハム数とか形而学上の数字じゃん。純粋数学の研究者はいっぺん死ね。
ノーベルが数学賞を作らなかったのは人類に直接貢献しない机上の学問だからだろw
ゴールプレックスとかいう糞単位あるなら、超・不可説不可説転
(1の後に0が不可説不可説転・個続く）とか、超超不可説不可説転、
＝不可説不可説転の不可説不可説転乗した数とか任命しろよ。
なんだよ、鬼畜米英に負けて恥ずかしくないの？
この宇宙の陽子の数でさえ10＾80しかないのに。将棋の局面数も6.15＊（10＾69）
＝（65無量大数）だってさ。
グラハム数なんて不要。特売の安売りのハムのほうが人類には必要だ！！
実用性 物理数学
形而上学 (純粋数学、神学、妄想、脳内IF）
341:１３２人目の素数さん
18/09/25 11:42:00.66 9LqJQDDM.net
>>331
君はノーベル数学賞がない理由を無根拠に述べているが、
それは脳内の妄想
342:ではないのかい？
343:１３２人目の素数さん
18/09/25 12:36:06.63 mW/1i8DR.net
ノーベル数学賞が無いのは、ノーベルが数学者に恋人を取られた怨みからなんだってね
トリビアの泉で観たぞ
344:１３２人目の素数さん
18/09/25 13:07:51.45 DYrI6Bit.net
ハイパー演算を位取り表記してみたい
345:１３２人目の素数さん
18/09/25 13:14:15.83 nFFW1O8s.net
物理も量子力学とかなると先に机上の論を出して実証されるのがずいぶん後からになる。
重力波とか
ディープラーニングも一昔前までは実現できなくて机上だけの理論だったな
ほかにあえて実用に利きそうなのをあげれば型なんかの計算支援システムとか？
グーゴロジストが実用的かを気にしてるとは思えんが
346:１３２人目の素数さん
18/09/25 15:29:27.14 Yq/KSC21.net
3＾3=27
3＾3＾3= 3＾27=7625597484987
3＾3＾3＾3= 3＾7625597484987＝？？？
3＾10，000＝1.6313E 4771 (4771桁）
常用対数（3）＝0.4771*10000=4771(桁）を踏まえて、
3＾3＾3＾3= 3638334640024桁か！？ 、多分大体あっている･･･と思う。
3＾3＾3＾3＾3 ＝10915003920072 桁？？
あっているか自信ないが、不可説不可説転はこの段階では超えてないナ？。
一体グラハム数は何桁になるんだ？
347:１３２人目の素数さん
18/09/25 20:02:34.82 FalK2Sre.net
あれ？そんなちっちゃかったっけ？
348:１３２人目の素数さん
18/09/25 21:08:11.05 dE8ZYKvG.net
素直にウィキペディアのグラハム数を見たけど、
3＾3＾3＾3＾3 の段階で計算不能になった。恐ろしすぎ。
349:１３２人目の素数さん
18/09/25 23:15:55.01 n9xi8Kur.net
条件満たす(x,y,z)の整数の組み合わせは存在しない
(x^2n+y^2n+z^2n-2*((xy)^n+(xz)^n+(yz)^n))=0
(x^n-y^n)^2/z^n=(2*y^n+2*x^n-z^n)
x^n=y^n+z^(n/2)*√(2*y^n+2*x^n-z^n)
mが整数のとき
z^(n/2)*√(2*y^n+2*x^n-z^n)=m^n をみたすx,y,zの整数の組み合わせは存在しない
√(x^12+y^12+z^12-2*(x^6*y^6+x^6*z^6+z^6*y^6))≠0
kが整数のときかつaが3以上の整数のとき
√(2*y^(2a)+2*x^(2a)-z^(2a))=kをみたすx,y,zの整数の組み合わせは存在しない
350:１３２人目の素数さん
18/09/26 13:50:49.36 4s0aeEYa.net
２↑↑６ ＝ ２＾２＾２＾２＾２＾２
２↑↑ ＝ 1
２↑↑１ ＝ 2
２↑↑２ ＝ 4
２↑↑３ ＝ 16
２↑↑４ ＝ 65536
２↑↑５ ＝ 2＾65536 ＝ 2.0035299304068464649790723515603e 19728
≒ 2*（10＾19728） ← フリーソフトの多倍長電卓 Ver2.17で計算した。
２↑↑６ ≒ 2＾（10＾20000） ≒ 俺の頭がオーバーフロー。
２でさえ手に余る。計算すらできない数に意味はあるのでしょうか？
351:１３２人目の素数さん
18/09/26 14:14:58.81 48jin0py.net
>>340
２↑↑６くらいならまだ機械で計算できる
やってみたら 2,003,529,930,…(19710桁省略)…,719,156,736 ってなった
352:１３２人目の素数さん
18/09/26 14:17:28.54 48jin0py.net
>>341
すまん
２↑↑５を計算してた
353:１３２人目の素数さん
18/09/26 15:04:37.06 vzwcZrFZ.net
2↑↑6 = 10^10^19727.78040560677
354:１３２人目の素数さん
18/09/26 20:12:48.12 DZ/EMSy6.net
グーゴロジストには数そのものに興味を持つタイプと数そのものはわりとどうでもよくてそこに
たどり着くまでの過程に興味があるやつに分けられると寿司屋の親父が言っててな
355:１３２人目の素数さん
18/09/26 21:35:39.88 AIYMhUuz.net
>>343
6段目でゴーグルを超えて1ゴーグルプレックスも超えしまうのか。
想像を絶する。恐るべし巨大数。
10^10^19727.78040560677 ＝ 10^10^（140.4556172＾2）
・・・ 10＾10＾100が１ゴーグルプレックスだから、えーと・・・
その何倍の大きさだ？ 10＾140倍？
指数の計算さえ出来なくなってるわ。 あなた、よく計算できましたね。
スゴイわー！。数学科ですか？ やっぱり理系は凄い！
しかし、不可説不可説転、ゴーグルプレックスは単位だからまだ理解できる
のだが、3↑↑64 なんて実際には計算も想像もできないので、
グラハム”数”ではなく、グラハム”計算式”と呼ぶべきじゃないのか？ マジで。
ググってもグラハム数の説明があるだけで桁数書いてない。桁数すら不明ってｗ
現在知られている最大のメルセンヌ素数 ２＾77232917－１は2324万9425桁
現代知られている円周率の桁数小数点以下 22兆4591億5771万8361桁・・・
356:majimanji
18/09/27 06:18:21.72 1ZrBcRf3.net
グラハム関数をもう少し拡張してみました。
定義
G(a,b,c)=a↑↑↑(b回)↑↑↑c
追記:これってf_ω*2(n)くらいでしょうか
357:１３２人目の素数さん
18/09/27 11:05:05.87 OjwxhPLJ.net
a↑b = a^b
a↑↑1 = a
a↑↑2 = a↑a
a↑↑3 = a↑a↑a
a↑↑b = a↑a↑a...(b回繰り返す)...a↑a↑a
a↑↑↑1 = a
a↑↑↑2 = a↑↑a
a↑↑↑3 = a↑↑a↑↑a
a↑↑↑b = a↑↑a↑↑a...(b回繰り返す)...a↑↑a↑↑a
a↑↑↑↑1 = a
a↑↑↑↑2 = a↑↑↑a
a↑↑↑↑3 = a↑↑↑a↑↑↑a
a↑↑↑↑b = a↑↑↑a↑↑↑a...(b回繰り返す)...a↑↑↑a↑↑↑a
a↑^[1]b = a↑b
a↑^[2]b = a↑↑b
a↑^[3]b = a↑↑↑b
a↑^[4]b = a↑↑↑↑b
a↑^[5]b = a↑↑↑↑↑b
G^0(4) = 4
G^1(4) = 3↑^[G^0(4)]3 = 3↑↑↑↑3
G^2(4) = 3↑^[G^1(4)]3 = 3↑↑...(↑が3↑↑↑↑3個)...↑↑3
G^3(4) = 3↑^[G^2(4)]3 = 3↑↑...(↑がG^2(4)個)...↑↑3
G^4(4) = 3↑^[G^3(4)]3 = 3↑↑...(↑がG^3(4)個)...↑↑3
中略
G^61(4) = 3↑^[G^60(4)]3 = 3↑↑...(↑がG^60(4)個)...↑↑3
G^62(4) = 3↑^[G^61(4)]3 = 3↑↑...(↑がG^61(4)個)...↑↑3
G^63(4) = 3↑^[G^62(4)]3 = 3↑↑...(↑がG^62(4)個)...↑↑3
G^64(4) = 3↑^[G^63(4)]3 = 3↑↑...(↑がG^63(4)個)...↑↑3
G^64(4)がグラハム数
358:１３２人目の素数さん
18/09/27 23:31:40.87 lndn6eGQ.net
a^6=(b^6+c^6+d^6)+2*√(b^6*c^6+b^6*d^6+c^6*d^6)を満たす整数の組み合わせ(a,b,c,d)は存在しない
359:１３２人目の素数さん
18/09/28 00:48:25.57 DBFmb8cu.net
(10^(7*2^122))^(10^(7*2^122))は10^10^10^6より大きく10^10^10^10^6より小さい
360:majimanji
18/09/29 16:57:53.73 f9DfA25F.net
>>349
100^2=10^4
1000^2=10^6
という風に、(10^a)^b=10^(a*b)なので、不可説不可説転↑↑2=
10^(372183838819776444413065976878496481295*10^372183838819776444413065976878496481295)
ドキリオンより大きくトラダキリオンより小さい
361:gaoji
18/09/30 02:25:31.39 6py1Ll9T.net
はじめて巨大数作った！！
fω(n)程度だったけど、たのしいね
362:majimanji
18/09/30 06:33:54.12 Cjk6Fs+m.net
>>351
どんなやつですか?
363:１３２人目の素数さん
18/09/30 07:58:09.57 iZ8wj/72.net
無量大数を無量大数回掛けた数、すなわち、無量大数＾無量大数は 10＾（10＾68）
不可説不可説転【10＾（3.7×10＾37）】の2.7×10＾30倍大きい。
2.7に※ 100穣を掛けた倍数。つまり 2.7を掛けた1000兆の1000兆倍大きい。
しかし、1ゴーグルプレックス【10＾（10＾100）】より、1溝分の一小さい。
1ゴーグルプレックスを1京で割ってもう一回1京で割った数。
2＾12= １兆、2＾16= １京、2＾20= １垓、2＾24= １??、2＾28= 穣、10＾32＝ 1溝
※ 10＾30= 100穣
1ゴーグルプレックス＞無量大数の無量大数乗＞不可説不可説転
以上であってるかな？
364:１３２人目の素数さん
18/09/30 09:58:52.64 4F81Efsa.net
全より大きいものは存在しない。
365:１３２人目の素数さん
18/09/30 11:17:02.48 iZ8wj/72.net
なにそれ？ グラハム数より大きいの？
366:１３２人目の素数さん
18/09/30 11:29:15.23 NZlX+Isg.net
全は無限基数より大きいからルール違反
367:gaoji
18/09/30 11:39:22.79 6py1Ll9T.net
>>352
床�
368:ｮいかないとだから、後でね
369:カープファン
18/09/30 15:49:12.24 lQIB0nF6.net
凄い大きいのがつくれたらいいなあ
370:学術
18/09/30 15:51:32.32 L25jHE+s.net
野球禁止です。有事の時以外は。
371:gaoji
18/09/30 16:13:14.91 6py1Ll9T.net
「ハイパーa進作用システム」
a,b
a : 作用進数, b : 構造数 (a進数)
ルールの一般化が慣れてなくて難しいので、とりあえず例だけ
例えば、3進作用システムだと
3,0 = 0
3,1 = 0+1
3,2 = 0+1+1
3,10 = 0+1+1+1 ≡ a
3,20 = a+a
3,100 = a+a+a ≡ a_1
3,1000 = a_1 * a_1 * a_1 ≡ a_2
3,10000 = a_2↑ a_2 ↑ a_2 ≡ a_3
3,222222 = a_3↑↑ a_3↑↑( a_2↑ a_2↑( a_1↑ a_1↑(a*a*(a+a+(1+1)))))
3,10...0(0がm個)
= a_(m-1) ↑...(m-2)...↑3
つまり、
n,10...0(0がn個)≡n,10n
= a_(n-1) ↑...(n-2)...↑n
だから
n,10n < Ack(n,n) < fω(n)
これ色々応用できそう？だよね
グッドスタイン風にしてもいいし、
適当な二項演算子に適用させてもいいし、このシステム自体に再帰的に作用させてもいいし
372:gaoji
18/09/30 18:04:27.62 aLuXPrG3.net
間違えた
3,0 = 0
3,1 = 0+1
3,2 = 0+1+1
3,10 = 0+1+1+1 ≡ a
3,20 = a+a
3,100 = a+a+a ≡ a_2
3,1000 = a_2 * a_2 * a_2 ≡ a_3
3,10000 = a_3↑ a_3 ↑ a_3 ≡ a_4
3,100000 = a_4↑↑ a_4 ↑↑ a_4 ≡ a_5
3,222222 = a_5↑↑↑ a_5↑↑↑( a_4↑↑ a_4↑↑( a_3↑ a_3↑(a_2*a_2*(a+a+(1+1)))))
3,10...0(0がm個)
= a_(m-1) ↑...(m-2)...↑3
つまり、
n,10...0(0がn個)≡n,10n
= a_(n-1) ↑...(n-2)...↑n
だから
n,10n < Ack(n,n) < fω(n)
373:グラハム数を計算してみた（笑）
18/10/01 10:42:54.66 I7aRCNgE.net
3↑↑1= 3
3↑↑2= 27
3↑↑3= 7625597484987
3↑↑4= 3＾7625597484987＝
1.258014290627491317860390698203281215518046714... × 10^3638334640024
≒ 10^(10^12.56090264130034)
3↑↑5= 10^(10^(10^12.56090264130030))
3↑↑6= 10^(10^(10^(10^12.56090264130030)))
3↑↑7= 10^(10^(10^(10^(10^12.56090264130030))))
3↑↑8= 10^(10^(10^(10^(10^(10^12.56090264130030)))))
3↑↑9= 10^(10^(10^(10^(10^(10^(10^12.56090264130030)))))
･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･ ･･･。
3↑↑64 ―グラハム数― は、”10＾（ ” が61回現れて最後が（10^12.56090264130030）になる
ことが確定した。あくまで近似値だが。
374:１３２人目の素数さん
18/10/01 12:44:10.03 zItLnLk5.net
レベル下がりすぎwww
375:gaoji
18/10/01 13:16:14.14 w4cwYKa3.net
確かに「レベルの高い議論が無さすぎて」退屈だよな
どうすればいいだろうな
レベルの高い議論をすればいいよな
じゃあ何でしない？
376:１３２人目の素数さん
18/10/01 13:27:11.06 I7aRCNgE.net
とか >>363は言うけど、日常では最大でも、スーパーコンピュータの「京」（10＾12）
の演算速度とか、情報量 1ペタバイト＝ 1000兆バイト= 10＾15 バイトとか、
化学でもアボガドロ数、炭素１２ｇ中に含まれている炭素原子の数は、
12÷(2.0×10?23)= 6.0×10＾23、
とか、最大の数詞は「無量大数」までで言えるぜとかそんなレベル。
「不可説不可説転」を知っているのは極少数。（俺も最近知った）
グラハム数も、知っているの理系か、少し算数が好き物好きなレベル。
フィッシュ氏が論文『巨大数論』で「近年。巨大数への注目が特に集まっています」
なんて書いていても、「？」としか思わなかった件について。
っていうか、グラハム数とか数が巨大すぎて、想像すらできない数で逆に興味を失うわ。
10＾（10＾（10＾…… を積み上げただけで、最後は近似値の 10^12.56090264130030
になる。本当にあほくさい。
377:１３２人目の素数さん
18/10/01 15:36:01.07 Vw6TxOW4.net
3↑↑64はグラハム数じゃない
378:１３２人目の素数さん
18/10/01 15:44:32.29 Ic
379:LFGy3z.net
380:majimanji
18/10/01 16:01:24.70 MNq3pb8d.net
>>362
グラハム数=g_0=4 g_n=3↑^[g_n-1]3 とした時のg_64だぞ゙
381:gaoji
18/10/01 18:48:31.64 RUBVTmzg.net
>>360
強くするのムズい
構造数の0の数がそのまま矢印の本数になるんだが、見積もるのが困難になる
382:１３２人目の素数さん
18/10/01 21:08:17.71 ko/TrSXe.net
ウィキペディア見てるけど、さっぱりわからん。ニコニコ大百科では、
＞ 3↑↑↑↑3を土台（1段階目）とする。この土台の数は既に、
＞ 3↑↑3↑↑…（3＾3…(7625597484987回)…3回)…↑↑3↑↑3
＞さらにその数だけ3と3の間に↑を挟んだ数が第3段階・・・
＞と繰り返していった64段階目の数、これがグラハム数である。
う・・・頭が・・・ 俺には、やはり理解不可能だったようだ。
3↑↑64でも、「なんじゃそれ！」って思ってたのに。
1段階目で 3↑↑7625597484987 だと！？ それを64回も・・・・・・
もうね。数の暴力、テロリズムだよね、これ。
あるいは数の核爆発って言ってもいいと思う。いや、数のビッグバンかな。
383:１３２人目の素数さん
18/10/01 22:51:51.93 nbaoub5A.net
ζ(x+i*y)=1+1/2^(x+i*y)+1/3^(x+i*y)+1/4^(x+i*y)+・・・+1/k^(x+i*y)+・・・
y*log(k) mod 2πが最も小さくなるときの整数k
(1+cos(y*logk)/k^x),sin(y*logk)/k^x
(0,0)座標と(1,0)座標と((1+cos(y*logk)/k^x),sin(y*logk)/k^x)座標を通過する円がx=1/2の直線状に存在するとき
(x-1/2)^2+(y-√(R^2-1/4))^2=R^2
(1/2+cos(y*logk)/k^x)^2+(sin(y*logk)/k^x-√(R^2-1/4))^2=R^2
1/4+cos(y*logk)/k^x+cos(y*logk)^2/k^(2x)+sin(y*lognk^2/k^(2x)-2*√(R^2-1/4)*sin(y*logk)/k^x+R^2-1/4=R^2
1/k^(2x)+cos(y*logk)/k^x-2*√(R^2-1/4)*sin(y*logk)/k^x=0
1/k^(2x)+cos(Φ)*cos(y*logk)-sin(Φ）*sin(y*logk)=0
cos(Φ)=(1/k^x)/√(1/k^(2x)+4*(R^2-1/4)*1/k^(2x))
sin(Φ)=(2*√(R^2-1/4)*1/k^x)/√(1/k^(2x)+4*(R^2-1/4)*1/k^(2x))
1/k^(2x)/√(1/k^(2x)+4*(R^2-1/4)*1/k^(2x))+cos(y*logk+Φ)=0
1/√(k^(2x)+4*(R^2-1/4)*k^(2x))+cos(y*logk+Φ)=0
y*logk mod 2π → 0
1/√(k^(2x)+4*(R^2-1/4)*k^(2x))+cos(Φ)=0
1/√(k^(2x)+4*(R^2-1/4)*k^(2x))+1/√(1+4*(R^2-1/4))=0
1+k^x=0
k=A*e^(i*2nπ)
とおくときx=1/2で
1+A^(1/2)*e^(i*nπ)=0
e^(i*nπ)=-1,1となるため-1のとき条件を満たす
384:gaoji
18/10/01 22:53:30.05 ySOhluKF.net
>>369
なんとか回避できそう
385:１３２人目の素数さん
18/10/01 23:07:57.24 Enkk5mWz.net
お前が作るんやで
386:１３２人目の素数さん
18/10/02 10:14:05.44 YTdxTe9j.net
>>367
ないない文句ばっか言ってないで作ったら？
387:１３２人目の素数さん
18/10/02 11:04:07.81 fzoBx/cg.net
>>374
作るほど理解できてないから作ってほしいんだが
388:１３２人目の素数さん
18/10/02 11:33:26.67 64C25ilR.net
>>365
寿司が連載されてた頃の巨大数は盛り上がりを見せてたようだけど最近落ち着いてる感じだ
ある程度のレベルになると巨大数そのものにはあまり注目されないで、
順序数解析とか形式体系の強さとか公理系の追究とか、そっちがメインになる、
巨大数はおまけみたいなあつかい
389:１３２人目の素数さん
18/10/02 13:26:31.45 GjRrSpe6.net
G=グラハム数
X=0個以上の0以上の整数
a,b,n=0以上の整数
a→b=コンウェイのチェーン表記
a#b=b個のa
A()=G
A(0#[n+1])=A(0#n)→A(0#n)→…{A(0#n)個}…→A(0#n)→A(0#n)
A(a+1)=A(0#A(a))
A(0#[n+1],a+1)=A(A(0#[n+1],a)#[n+1])
A(X,b+1,0#[n+1])=A(X,b,A(0#[n+1])#[n+1])
A(X,b+1,0#n,a+1)=A(X,b,A(X,b+1,0#n,a)#[n+1])
390:学術
18/10/02 13:28:49.57 qfVJ5oyJ.net
コスメティック イルマ シンドラー オスカール
391:１３２人目の素数さん
18/10/02 14:51:53.78 GjRrSpe6.net
>>377
H=A(G#G)
392:１３２人目の素数さん
18/10/02 21:08:08.35 XxrhWKK1.net
アッカーマンは神
チェーンはゴミ
異論ある？
393:gaoji
18/10/02 21:18:23.25 7QGtK1nR.net
拡張のしやすさで考えるやつ？
394:カープファン
18/10/02 21:44:46.87 ix/4CkWt.net
とりあえず誰かε＿0以上のを作ろうよ
395:gaoji
18/10/02 21:49:59.00 Z6CJ4nlr.net
ハイパー演算子を作用システムに入れたら新しい演算子が出力され、演算子1つでfω(n)
その演算子を作用システムに入れたら新しい演算子ができて、それ1つでfω^2(n)
作用回数で対角化すればfω^ω(n)ぐらいになるかも
396:１３２人目の素数さん
18/10/02 21:55:25.37 oOcFnVcY.net
1/k^(2x)+cos(y*logk)/k^x-2*√(R^2-1/4)*sin(y*logk)/k^x=0
1/k^(x)+cos(y*logk)-2*√(R^2-1/4)*sin(y*logk)=0
1/(2*R)*1/k^(x)+1/(2*R)*cos(y*logk)-√(1-1/(4*R^2))*sin(y*logk)=0
1/(2*R)*1/k^(x)+cos(y*logk+arctan(√(4R^2-1)))=0
arctan(√(4R^2-1))→π/2
1/(2*R)*1/k^(x)+cos(y*logk+arctan(√(4R^2-1)))=0
1/(2*R)-k^(x)*sin(y*logk)=0
1/(2*R)-k^(x)*sin(y*logk)≒1/(2*R)-k^(x)*(y*logk mod 2π)=0
log(1/(2*R)*1/(y*logk mod 2π))*1/log(k)=x
397:１３２人目の素数さん
18/10/03 12:26:38.31 zZyY9BLt.net
ハイパー原始数列数のワーム
[]=1
[][]=2
[][][]=3
[][[]]=ω
[][[]][[][]]=ω^ω
[][[]][[][]][[][][]]=ω^ω^ω
[][[][]]=ε_0
[][[][]][[][]]=ε_1
[][[][]][[][]][[][]]=ε_2
[][[][]][[][][]]=ε_ω
[][[][]][[][][]][[][][][][]]=ε_ε_0
[][[][]][[][][][]]=ζ_0
[][[][]][[][][][]][[][]][[][][][]]=ζ_1
[][[][]][[][][][]][[][][][]]=η_0
[][[][]][[][][][]][[][][][][][]]=Γ_0
398:１３２人目の素数さん
18/10/03 18:31:52.10 zMn61r2M.net
>>370
ニコニコ動画にあるAetonさんの動画シリーズは割と分かりやすいぞ
グラハム数の解説動画も上がってて一気に理解が進んだ
ただ仕組みは理解できても具体的な大きさのイメージは無理です(白目)
399:majimanji
18/10/03 18:59:16.43 8nsr1vDz.net
>>385
φ(ω,0)はどうやって表記するのですか?
400:gaoji
18/10/03 19:47:21.92 7vgBhF7M.net
作用システムを適用した回数に作用システムを一回組み込んでfε0(n)
もっと強くできそう
401:１３２人目の素数さん
18/10/03 20:22:57.38 o70MBvQP.net
[][[]][[][]]=ω^ω
[][[][]]=ε_0
下のほうが括弧の数少ないのに大きいのか…
法則がいまいち理解できにぃ
402:１３２人目の素数さん
18/10/04 09:40:39.86 R5MTMMqP.net
>>387
[][[][]][[][][][]][[][][][]][[][][][]]=φ(4,0)
[][[][]][[][][][]][[][][][]][[][][][]][[][][][]]=φ(5,0)
[][[][]][[][][][]][[][][][][]]=φ(ω,0)
>>85 のハイパー原始数列を[]に置き換えただけだから
詳しくは >>85 にハイパー原始数列について質問した方が良い
403:１３２人目の素数さん
18/10/04 10:07:20.57 R5MTMMqP.net
ちなみにワームを使うと
(0,n)=ψ(Ω_ω) を
[[[]]]=ψ(Ω_ω) と表現出来る
404:１３２人目の素数さん
18/10/04 10:09:38.07 R5MTMMqP.net
>>391 は間違い
[][[[]]]=ψ(Ω_ω)
405:１３２人目の素数さん
18/10/04 11:03:27.05 R5MTMMqP.net
>>392も間違い
こっちの方が自然な拡張だな
[][[][[]]]=ψ(Ω_ω)
[][[][[]][]]=ψ(Ω_(ω+1))
[][[][[]][][]]=ψ(Ω_(ω+2))
[][[][[]][][[]]]=ψ(Ω_(ω×2))
[][[][[]][[]]]=ψ(Ω_(ω^2))
[][[][[]][[][]]]=ψ(Ω_(ω^ω))
[][[][[]][[][]][[][][]]]=ψ(Ω_(ω^ω^ω))
ハイパー原始数列の場合
(0,(0,1))=ψ(Ω_ω)
(0,(0,1,0))=ψ(Ω_(ω+1))
(0,(0,1,0,0))=ψ(Ω_(ω+2))
(0,(0,1,0,1))=ψ(Ω_(ω×2))
(0,(0,1,1))=ψ(Ω_(ω^2))
(0,(0,1,2))=ψ(Ω_(ω^ω))
(0,(0,1,2,3))=ψ(Ω_(ω^ω^ω))
406:gaoji
18/10/04 16:57:03.92 YRU
407:o9U4b.net
408:gaoji
18/10/04 19:32:47.41 YRUo9U4b.net
FGHについて質問なんだが、こんなイメージでいいの？
URLﾘﾝｸ(imgur.com)
409:１３２人目の素数さん
18/10/04 21:56:58.53 HrE2JTCX.net
ωのところnにすれば
410:カープファン
18/10/04 21:59:23.07 42DbX36p.net
ハイパー原始数列おもしろそう
411:gaoji
18/10/04 22:16:33.77 LJGZK1+N.net
あー。。。
やっぱりか
いま作ってるの4変数でf_ω^2(n)だからチェーン表記ぐらいだったわ
多分n変数でfω^ω(n)だな
悲しい
412:１３２人目の素数さん
18/10/04 23:16:10.94 Xx8m4hSb.net
X^12+Y^12+Z^12=2*(X^6*Y^6+Y^6*Z^6+Z^6*X^6)
1+(Y/X)^12+(Z/X)^12=2*((Y/X)^6+(Z/X)^6+(Y/X)^6*(Z/X)^6)
(Y/X)=A
(Z/X)=B
1+A^12+B^12-2*(1+B^6)*A^6-2*B^6=0
A^12-2*(1+B^6)*A^6+(B^6-1)^2=0
B^12-2*(1+A^6)*B^6+(A^6-1)^2=0
A^6=(1+B^6)±2B^6
B^6=(1+A^6)±2A^6
A^6+B^6=1
A^12+B^12-2*B^6*A^6-1=0
(A^6-B^6)^2=1
A^6-B^6=1
A^6+B^6=1とA^6-B^6=1を満たすA≠0 B≠0の有理数がないため
X^12+Y^12+Z^12≠2*(X^6*Y^6+Y^6*Z^6+Z^6*X^6)
X^2/√(2S)-Y^2/√(2S)=1をみたす整数(X.Y,S)の組み合わせがないときS=素数
X^3/Z^3-Y^3/Z^3=1
√(X^8+Y^8+Z^8-2*(X^4*Y^4+Y^4*Z^4+X^4*Z^4))=0
X^2=Y^2+Z^2
Z=(2*S)^(1/4)
√(X^8+Y^8+(2*S)^2-2*(X^4*Y^4+Y^4*(2*S)+X^4*(2*S)))=0
Sが素数のとき
√(X^8+Y^8+(2*S)^2-2*(X^4*Y^4+Y^4*(2*S)+X^4*(2*S)))=0をみたす
整数(X,Y)の組み合わせは存在しない
413:１３２人目の素数さん
18/10/05 17:21:06.98 +kjzt3jR.net
この順序数の記号の使い方の認識ってあってる？
ϕ(0,0)=1
ϕ(0,1)=ω
ϕ(0,2)=ω^2
ϕ(0,ϕ(0,1))=ω^ω
ϕ(0,ϕ(0,2))=ω^ω^2
ϕ(0,ϕ(0,ϕ(0,1)))=ω^ω^ω
ϕ(1,0)=ε_0=ω^ε_0=ϕ(0,ϕ(1,0))=ψ(0)
ϕ(1,1)=ε_1=ε_0^ε_1=ψ(1)
ϕ(1,2)=ε_2=ε_1^ε_2=ψ(2)
ϕ(1,ϕ(0,1))=ε_ω=ψ(ω)
ϕ(1,ϕ(0,1)+1)=ε_(ω+1)=ε_ω^ε_(ω+1)=ψ(ω+1)
ϕ(1,ϕ(0,1)+2)=ε_(ω+2)=ε_(ω+1)^ε_(ω+2)=ψ(ω+2)
ϕ(1,ϕ(0,1)×2)=ε_(ω×2)=ψ(ω×2)
ϕ(1,ϕ(0,2))=ε_(ω^2)=ψ(ω^2)
ϕ(1,ϕ(0,ϕ(0,1)))=ε_(ω^ω)=ψ(ω^ω)
ϕ(1,ϕ(1,0))=ε_ε_0=ψ(ε_0)
ϕ(2,0)=ζ_0=ε_ζ_0=ϕ(1,ϕ(2,0))=ψ(Ω)
ϕ(2,1)=ζ_1=ζ_0^ζ_1=ψ(Ω×2)
ϕ(2,2)=ζ_2=ζ_1^ζ_2=ψ(Ω×3)
ϕ(2,ϕ(0,1))=ζ_ω=ψ(Ω×ω)
ϕ(2,ϕ(1,0))=ζ_ε_0=ψ(Ω×ε_0)
ϕ(2,ϕ(2,0))=ζ_ζ_0=ψ(Ω×ζ_0)
ϕ(3,0)=ϕ(2,ϕ(3,0))=ψ(Ω^2)
ϕ(4,0)=ϕ(3,ϕ(4,0))=ψ(Ω^3)
ϕ(ϕ(0,1),0)=ϕ(ω,0)=ψ(Ω^ω)
ϕ(ϕ(1,0),0)=ϕ(ε_0,0)=ψ(Ω^ε_0)
ϕ(ϕ(2,0),0)=ϕ(ζ_0,0)=ψ(Ω^ζ_0)
ϕ(ϕ(ϕ(1,0),0),0)=ϕ(ϕ(ω,0),0)=ψ(Ω^φ(ω,0))
ϕ(1,0,0)=Γ_0=ϕ(Γ_0,0)=ϕ(ϕ(1,0,0),0)=ψ(Ω^Ω)
414:１３２人目の素数さん
18/10/06 01:05:18.17 MZuQkQSn.net
√(X1^2+X2^2+X3^2+X4^2-2*(X1*(X2+X3+X4)+X2*(X3+X4)+X3*X4))=0
X1=(X2+X3+X4)±2*√(X2*(X3+X4)+X3*X4)
X1=(X2+X3+X4)+2*√(X2*(X3+X4)+X3*X4)
X2=X1-X3-X4+2*√(X2*(X3+X4)+X3*X4)
X2=(X1+X3+X4)±2*√(X1*(X3+X4)+X3*X4)
X2=(X1+X3+X4)-2*√(X1*(X3+X4)+X3*X4)
-X3-X4+2*√(X2*(X3+X4)+X3*X4)=+X3+X4)-2*√(X1*(X3+X4)+X3*X4)
√(X2*(X3+X4)+X3*X4)+√(X1*(X3+X4)+X3*X4)=(X3+X4)
(X2*(X3+X4)+X3*X4)^3+(X1*(X3+X4)+X3*X4)^3≠(X3+X4)^6
415:１３２人目の素数さん
18/10/06 01:52:04.99 MZuQkQSn.net
√(X2*(X3+X4+X5)+X3*(X4+X5)+X4*X5)+√(X1*(X3+X4+X5)+X3*(X4+X5)+X4*X5)=(X3+X4+X5)
X4=X5=0のとき
√(X2*X3)+√(X1*X3)=X3
√(X2)+√(X1)=√(X2)
X4=1 X5=-1のとき
√(X2*X3-1)+√(X1*X3-1)=X3
X1=1 X2=2 X3=5
X1=13 X2=2 X3=5
X1=13 X2=2 X3=25
X1= X2=2 X3=25
X1=37 X2=1 X3=50
416:１３２人目の素数さん
18/10/07 08:59:33.75 PhVSOUGy.net
X+2*√(XY-1)+Y=Z
417:１３２人目の素数さん
18/10/07 09:23:43.02 PhVSOUGy.net
√(X2*(X3+X4+X5+X6)+X3*(X4+X5+X6)+X4*(X5+X6)+X5*X6)+√(X1*(X3+X4+X5+X6)+X3*(X4+X5*+X6)+X4*(X5+X6)+X5*X6)=(X3+X4+X5+X6)
√(X2*X3-3)+√(X1*X3-3)=X3
X1=X3+2*√(X2*X3-3)+X2
X2=1 X3=19 X1=28
X2=28 X3=19 X1=93
X2=93 X3=28 X1=223
X2=223 X3=93 X1=604
X2=223 X3=604 X1=1561
X1=X3+2*√(X2*X3-11)+X2
X2=3 X3=5 X1=12
X2=12 X3=5 X1=31
X2=31 X3=12 X1=81
X2=81 X3=31 X1=212
X2=√(X1*X3-11)
81=√(31*212-11)
X1=X3+2*√(X2*X3-n)+X2
nが任意の整数のとき
上記の式で生成される３つの整数の組み合わせは
X1=√(X2*X3-n)
X2=√(X1*X3-n)
X3=√(X1*X2-n)
の3式で表される
418:majimanji
18/10/07 11:41:26.50 GZvuiL6D.net
>>401->>404
方程
419:式はほかの場所でやってください
420:１３２人目の素数さん
18/10/07 18:28:42.04 S6h9JtRR.net
何かが正しいと言うときに、その理由を言う必要があり、その理由が正しい理由を言う必要があり、...
どこかで理由無しに正しいと言える前提を置くことになるのは避けられず、数学ではそれを公理と呼ぶ。
前スレでも指摘されたように、計算不能関数は真の算術みたいな人間には扱えない公理をもってこないと返り値が具体的にいくつかは定まらない場合が必ず生じる。
ゲーデルの不完全性定理から証明も否定の証明もできないような命題があるのは避けられないが、
そういう決定不能な命題でも真とするか偽とするかどっちのほうが"自然"かはあるはずで、真としたほうが"自然"な命題をすべて集めた公理もまたあって、
計算不能関数の返り値はそのような公理のもとで初めて具体的な値が定まる関数なのだ、と主張するのは可能だ。
しかし、これはもうプラトンの実在論とかイデア論の範囲というか、人間には決して真偽を判定できないけど真偽は決まっている、
というのを信じるか信じないかの話になってしまう。
421:１３２人目の素数さん
18/10/07 18:29:20.91 S6h9JtRR.net
一方で計算可能関数の方も、計算可能関数であると言うために任意の入力について計算が停止することを証明しないといけないが、
その証明のためにどこまで強い公理を使っていいか、ということが重大な制約になる。
逆数学の創始者Harvey Friedmanは数学上重要な定理の多くが、アッカーマン関数の全域性も証明できないほど弱い2階算術の断片RCA0から証明できるか、
H[Ψ(Ω_ω)](n)以上の計算可能関数の全域性を証明できないほど弱い2階算術の断片
WKL0, ACA0, ATR0, Π^1_1CA0のいずれかと同値であることをRCA0から証明できることを発見した。
さらにFriedmanはフェルマーの最終定理を含む数学上重要な算術の定理が、テトレーションの全域性も証明できない公理EFAで十分証明できるだろうと予想した。
(Friedman's Grand Conjecture)
多くの有用な定理が高々Π^1_1CA0で証明可能であるというFriedmanやSimpsonらの成果にもかかわらず、ただ巨大関数の全域性を示すためだけに、
Π^1_1CA0を超える、通常の数学ではまず使う必要の無いほど強い公理を持ち出す行為をどうして正当化できるだろうか。
ある意味、巨大数探索は既に完了している。EFAレベルの公理までしか認めない立場から見ればテトレーション以上はありえず、
(実際、AvigadのURLﾘﾝｸ(pdfs.semanticscholar.org)
によると、EFA(論文中ではEA)と同程度の無矛盾性の公理でも多くのことができる)
ヒルベルトの有限の立場、あるいはRCA0, WKL0までしか認めない立場から見ればアッカーマン関数以上はありえない。
標準的な自然数論=ペアノ算術、またはACA0までならH[ε_0](n)以上の関数はありえない。
そして、証明にATR0以上を要する重要な定理は数に関するものというよりもむしろ集合論的な命題に限られてくる。
多くの数学で扱われる定理には不釣り合いなほど強力な公理を前提としない限り、もう探すべき関数は無いと言っていい。
422:１３２人目の素数さん
18/10/07 18:39:20.68
423:VBRA5du0.net
424:１３２人目の素数さん
18/10/07 18:40:40.80 mlaXTI3t.net
>>406
数学的プラトニズムは知ってたけど、platnist universeはそういう様々な論理式に対して、自然と思われる解釈が完全に済んでいる宇宙、ということなのかな
それでも計算不可能レベルの巨大数にどう影響するのかはよく分からないけど
425:１３２人目の素数さん
18/10/07 19:00:37.08 VBRA5du0.net
たしかに巨大数論の上の方って巨大基数公理や集合論や基礎論なんかの研究になってるきらいはある
426:１３２人目の素数さん
18/10/07 19:37:12.03 RghLF5RS.net
集合論ともうほとんど融合してる感ある
427:１３２人目の素数さん
18/10/08 09:55:13.85 noBjNevh.net
>>405
5431-2*√(5431*94-1*2*3*5*7*11*13*17)-94=5433
42919-2*√(226*42919-1*2*3*5*7*11*13*17*19)-226=42689
428:majimanji
18/10/08 09:59:51.98 l2JSbG63.net
>>412
それをどう巨大数論に役立てるのかな？
429:１３２人目の素数さん
18/10/08 14:07:41.67 noBjNevh.net
>>413
X*Y=Z^2+n
をみたす整数XYZが無限に生成できる
X(2k)+2*√(X(2k)*Y(2k)-n)+Y(2k)=√(Y(2k+1)*Y(2k+2)-n)=X(2k+2)
X(1)=2 Y(1)=1 n=1
X(2)=2 Y(2)=5 n=1
X(3)=13 Y(3)=5 n=1
X(4)=13 Y(4)=34 n=1
X(5)=89 Y(5)=34 n=1
X(6)=89 Y(6)= 233 n=1
X(7)=610 Y(7)= 233 n=1
X(8)=610 Y(8)= 1597 n=1
X(9)=4181 Y(9)= 1597 n=1
X(10)=4181 Y(10)= 10946 n=1
X(11)=28657 Y(11)= 10946 n=1
X(12)=28657 Y(12)= 75025 n=1
X(13)=196418 Y(13)= 75025 n=1
X(14)=196418 Y(14)= 514229 n=1
430:majimanji
18/10/08 14:58:48.54 l2JSbG63.net
>>413
おまい何回もスレ違いしてただろ
431:１３２人目の素数さん
18/10/08 22:03:04.36 noBjNevh.net
ζ(s)=1/(1-1/2^s)*/(1-1/3^s)*1/(1-1/5^s)*1/(1-1/7^s)*・・・
X*Y=ζ(s)
X<Yのとき
X+2*√(X*Y-n)+Y=X+2*√(ζ(s)-n)+ζ(s)/X
√(X^2+2*X*√(ζ(s)-n)+(ζ(s)-n))=X+√(ζ(s)-n)=Y
√(ζ(s)-n)+(X-ζ(s)/X)=0
(1-ζ(s)/X^2)+i*√(n/X^2-ζ(s)/X^2)=0
(1-ζ(s)/X^2)=0のとき
√(n/X^2-1)=0
X=a^s/(a^s-1)*b^s/(b^s-1)*・・・
nの次数が1のとき
s=x+i*y=1/2+i*yでないと次数が合わない
432:１３２人目の素数さん
18/10/08 22:05:08.57 noBjNevh.net
4181+√(4181*10946-1)=10946
196418+√(196418*514229-1)=514229
433:majimanji
18/10/09 06:38:05.83 qDu27diO.net
>>416-417
頼むからここでやるなああぁぁぁぁぁ
434:AIUEO700
18/10/09 07:23:09.37 8kvT9zIX.net
lヽY"⌒`.,･
,;::"´./ゞ:;'` ‐ "丶、
〃. ヽ,
.,". .-‐、 .,,,‐-. ;；
;i -･ｰ,!. ｰ･-､ ；
.i´ " ノ/ i＼` i.
ヾ. ＼{10月8日}/ ,i
ヽ,. ｛＿＿＿｝ .ﾉ＿_
`''-､,,,_.,,,,, _,,,,,,,,-ﾞ´:::::::::::::::::ヾ
／ ﾞ／::,/"`''"))ﾘﾉ~~''ヽ::ヽ
／ ／|:::::/ ﾞl::ヽ
／ ／ |:::::| ,-‐、 .,,,‐-, l::::l
／ ／ .i::::l ゛-･ｰ,!. ｰ･- l:::! ＜カルト体育の日だキチゲェども！
＼ ＼ ／|`:::| " ノ/ i＼` |/
/ ＼ ＼ i'' ＼{￣￣￣￣}／|
/ ／ ＼ ヽ ヽi { } |
/ ／ ＼ ｀ヽ {＿＿＿＿} /
／ ／ ヽ ⌒ ⌒＼
／ ‐=≡ ﾉ ／ ￣ > >
‐=≡ / ／ 6三ﾉ
‐=≡ / / ＼ ＼ `￣
‐= / ん、 ＼ ＼
（＿＿ （ > ）
`し' ／ ／
435:majimanji
18/10/10 18:07:55.02 hMQh79Zd.net
>>419
Ascii Artはここでやるなあああ
436:１３２人目の素数さん
18/10/10 19:36:50.98 AXkT/G7C.net
BEAFが偉大すぎる事に気付いたわ
自分で巨大数を作ろうとして初めてテトレーション配列に到達するまでの苦労を垣間見た
437:１３２人目の素数さん
18/10/10 22:19:45.17 pjO0m+2R.net
BEAFって何回説明読んでもワカンねぇんだよなぁ
そもそも上のほうは厳密に定義されてないんだっけ？
438:１３２人目の素数さん
18/10/10 22:25:31.04 r0mABw6G.net
ペンテーション配列とそれより先のは具体的に与えられてないけどしょうがない
ハイパー演算子の性質を配列にまとめたのはすごいわ
439:１３２人目の素数さん
18/10/10 22:28:57.20 PNPbbdX1.net
途中から具体的に定義できなくてもいいのなら俺はもっと強いの作れる
440:１３２人目の素数さん
18/10/10 23:18:11.92 66jDHJAN.net
>>418
1+2*√(1*5-14)+5=6+6i
(6+6i)+2*√((6+6i)*5-14)+(6+6i)=22+18i
441:１３２人目の素数さん
18/10/10 23:49:41.80 r0mABw6G.net
Hyp cos の 一連の配列表記も日本語で解説してほしいねBEAFみたいに
442:１３２人目の素数さん
18/10/11 02:59:28.89 sFTkpsnw.net
,.,.,.,.,.,.,.,.,__
.,,;f::::::::::::::::::::::ヽ
i::::::::./'"￣￣ヾi
|:::::::| ,,,,,_ ,,,,,,|
|r-==（●);（●)
( ヽ :::__)..:: }
ヽ ｀ﾄｪｪｪｲ'./
＼_｀ﾆﾆ´_! うんこの力で、五体不満足さ～
ﾉ `ｰ―i´
.¨.､,_,,､_,,r_,ノ′
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
/;i;i; '',',;;;_~⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′..ヽ
ﾞ{y､､;:...:,:.:.､;､;:.:,:.:. ._ .､） ､｝
".¨ｰ=v ''‐ .:v､冫_._ .､,_,,､_,,r_,ノ′
/i;i; '',',;;;_~υ⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′.ｿ.ヽ
ﾞ{y､､;:..ゞ.:,:.:.､;:.ﾐ.:,:.:. ._υﾟo,,'.､） ､｝
ヾ,,..;::;;;::,;,::;):;:;:; .:v､冫_._ .､,_,,､_,,r_,ノ′
443:majimanji
18/10/11 06:03:10.80 EnrCohkp.net
>>425
おいやめろ
それ以上やると>>1さん呼ぶぞ
444:１３２人目の素数さん
18/10/11 12:11:21.08 nP+Zz4nV.net
原始数列から具体的な原始数列数を算出する関数
(Y)は、原始数列
Xは、0個以上の0以上の整数
a,b,nは、0以上の整数
cは、自然数
f(a)は、原始数列に対応する初期関数
a#nは、n個のa
(Y)[0#n,a]=f(a)
(Y)[X,b+1,0#{n+1}]=(Y)[X,b,1#{n+1}]
(Y)[X,b+1,0#n,a+1]=(Y)[X,b,(Y)[X,b+1,0#n,a]#{n+1}]
()[c]=c+1
(0)[c]=()[c#c]
(0,0)[c]=(0)[c#c]
(0,0,0)[c]=(0,0)[c#c]
(0,1)[c]=(0#c)[c#c]
(0,1,0)[c]=(0,1)[c#c]
(0,1,0,0)[c]=(0,1,0)[c#c]
(0,1,0,1)[c]=(0,1,0#c)[c#c]
(0,1,0,1,0,1)[c]=(0,1,0,1,0#c)[c#c]
(0,1,1)[c]=({0,1}#c)[c#c]
(0,1,1,1)[c]=({0,1,1}#c)[c#c]
(0,1,2)[c]=(0,1#c)[c#c]
(0,1,2,0)[c]=(0,1,2)[c#c]
(0,1,2,1)[c]=(0,1,2,0#c)[c#c]
(0,1,2,1,2)[c]=(0,1,2,1#c)[c#c]
(0,1,2,2)[c]=(0,{1,2}#c)[c#c]
(0,1,2,2,2)[c]=(0,{1,2,2}#c)[c#c]
(0,1,2,3)[c]=(0,1,2#c)[c#c]
(0,1,2,3,4)[c]=(0,1,2,3#c)[c#c]
(0,2)[a]=(0,1,2,...,c-2,c-1,c)[c#c]
445:１３２人目の素数さん
18/10/11 21:41:42.28 MUwZeyd7.net
ハイパー原始数列の作者です
分からないことがあったらどんどん聞いてください
あと、それを少し捻って拡張した「Y数列」というものが、バシク行列と1対1対応することが判明しました
446:１３２人目の素数さん
18/10/11 22:38:50.67 vaeuvRID.net
ハイパー原始数列じゃなくてまず原始数列について教えてほしいんだけど
ヒドラの入れ子構造を平らにして1次元
447:配列で表せるってことだよね？ どういう理屈でそんなことができるのかまだ理解できてないけど
448:１３２人目の素数さん
18/10/12 11:45:14.28 LHuWWr6L.net
>>431
例えば、( (()) () )というのを考えます
より内側にある入れ子を、大きな数字に対応させます
まず、1番外側の()を、0に対応させます
1番外側の()の中には、(())と()がありますが、このうち(())について考えると、外側の()が1、内側が2となります。
もうひとつの()は1となるので、( (()) () )は
(0,1,2,1)と表すことが出来ます。
449:１３２人目の素数さん
18/10/12 11:49:52.72 LHuWWr6L.net
>>432の続き
( (()) () )は、枝とノード(○のこと)を使ったヒドラで表すとこんなふうになります
左側の数字は、ノードの高さを表します
2. ○
1. ○┘○
0.○┴─┘
なので、これを左から高さを抜き出して書くと
(0,1,2,1)となるのです
450:１３２人目の素数さん
18/10/12 11:51:34.41 LHuWWr6L.net
やばい、ミスった
2.××○
1.×○┘○
0.○┴─┘
空白が上手くいかないので、バツで表しています
451:１３２人目の素数さん
18/10/12 18:09:39.29 Io0vjydg.net
>>430
原始数列と順序数の対応はこれであってる？
(0)=ω^0=1
(0,1)=ω^1=ω
(0,1,1)=ω^2
(0,1,1,1)=ω^3
(0,1,1,1,1)=ω^4
(0)=1
(0,1)=ω
(0,1,2)=ω^ω
(0,1,2,3)=ω^ω^ω
(0,1,2,3,4)=ω^ω^ω^ω
(0,1,2,3,4,5)=ω^ω^ω^ω^ω
(0,2)=ε_0
(0,2,1)=ε_0×ω
(0,2,1,3)=ε_0×ε_0=ε_0^2
(0,2,1,3,2)=ε_0^ω
(0,2,1,3,2,4)=ε_0^ε_0
(0,2,1,3,2,4,3)=ε_0^ε_0^ω
(0,2,1,3,2,4,3,5)=ε_0^ε_0^ε_0
(0,2)=ε_0
(0,2,2)=ε_1
(0,2,2,2)=ε_2
(0,2,2,2,2)=ε_3
(0,2,2,2,2,2)=ε_4
(0,2)=ε_0
(0,2,3)=ε_ω
(0,2,3,5)=ε_ε_0
(0,2,3,5,6)=ε_ε_ω
(0,2,3,5,6,8)=ε_ε_ε_0
(0,2,3,5,6,8,9)=ε_ε_ε_ω
(0,2,3,5,6,8,9,11)=ε_ε_ε_ε_0
(0)=φ(0,0)=1
(0,2)=φ(1,0)=ε_0
(0,2,4)=φ(2,0)=ζ_0
(0,2,4,4)=φ(3,0)=η_0
(0,2,4,4,4)=φ(4,0)
(0,2,4,4,4,4)=φ(5,0)
(0,2)=ψ(0)=ε_0
(0,2,4)=ψ(Ω)=ζ_0
(0,2,4,6)=ψ(Ω^Ω)=Γ_0
(0,2,4,6,8)=ψ(Ω^Ω^Ω)
(0,2,4,6,8,10)=ψ(Ω^Ω^Ω^Ω)
(0,2,4,6,8,10,12)=ψ(Ω^Ω^Ω^Ω)
452:majimanji
18/10/12 18:19:06.34 DE0QYymf.net
新しい巨大数を考えたよ～
[n]m,f(k)=[n-1]f^m(m),f^m(m)
[1]m,f(k)=f^m(m)
{n}m,f(k)=[[・・・n回・・・[[n]m,f(k)]m,f(k)]]・・・n回・・・]]m,f(k)
{10]10,10^kをTrES-2数とする
453:１３２人目の素数さん
18/10/12 18:21:32.82 Io0vjydg.net
あと(0,3)以降が理解していないんで
できれば(0,3)以降の解析サンプルの書き込みをお願いします
454:１３２人目の素数さん
18/10/12 20:07:13.80 v2LcUaFb.net
うーん。
順序数をちゃんと理解できてないから巨大関数の構造も理解できないんだろうか？
すべての基本は順序数にある？
455:１３２人目の素数さん
18/10/12 21:14:57.20 0e2WxOi3.net
>>435
(0,2,4,6,8,10,12)=ψ(Ω^Ω^Ω^Ω^Ω)ですね、それ以外は合っています
456:１３２人目の素数さん
18/10/12 21:22:16.70 0e2WxOi3.net
>>437
以下、UNOCFで対応させます
(0,3)=ψ(Ω_2)
(0,3,1)=ψ(Ω_2)×ω=ψ(Ω_2+1)
(0,3,1,2)=ψ(Ω_2+ω)
(0,3,1,2,3)=ψ(Ω_2+ω^ω)
(0,3,1,3)=ψ(Ω_2+ψ(Ω))
(0,3,1,3,5)=ψ(Ω_2+ψ(Ω^2))
(0,3,1,3,5,7)=ψ(Ω_2+ψ(Ω^Ω))
(0,3,1,4)=ψ(Ω_2+ψ(Ω_2))
(0,3,1,4,2)=ψ(Ω_2+ψ(Ω_2+1))
(0,3,1,4,2,5)=ψ(Ω_2+ψ(Ω_2+ψ(Ω_2)))
(0,3,2)=ψ(Ω_2+Ω)
(0,3,2,2)=ψ(Ω_2+Ω×2)
(0,3,2,3)=ψ(Ω_2+Ω×ω)
(0,3,2,3,5)=ψ(Ω_2+Ω×ψ(Ω))
(0,3,2,3,6)=ψ(Ω_2+Ω×ψ(Ω_2))
(0,3,2,4)=ψ(Ω_2+Ω^2)
(0,3,2,4,6)=ψ(Ω_2+Ω^Ω)
(0,3,2,5)=ψ(Ω_2+ψ_1(Ω_2))
(0,3,2,5,3)=ψ(Ω_2+ψ_1(Ω_2+1))
(0,3,2,5,4)=ψ(Ω_2+ψ_1(Ω_2+Ω))
(0,3,2,5,4,7)=ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2)))
(0,3,3)=ψ(Ω_2×2)
457:１３２人目の素数さん
18/10/12 21:28:32.73 0e2WxOi3.net
>>440続き
(0,3,3,3)=ψ(Ω_2×3)
(0,3,4)=ψ(Ω_2×ω)
(0,3,4,5)=ψ(Ω_2×ω^ω)
(0,3,4,6)=ψ(Ω_2×ψ(Ω))
(0,3,4,7)=ψ(Ω_2×ψ(Ω_2))
(0,3,4,7,8,11)=ψ(Ω_2×ψ(Ω_2×ψ(Ω_2)))
(0,3,5)=ψ(Ω_2×Ω)
(0,3,5,7)=ψ(Ω_2×Ω^Ω)
(0,3,5,8)=ψ(Ω_2×ψ_1(Ω_2))
(0,3,6)=ψ(Ω_2^2)
(0,3,6,9)=ψ(Ω_2^Ω_2)
(0,4)=ψ(Ω_3)
こんな感じになります
こことここの間がやべぇよってのがあったら、また載せるので言ってください！
458:１３２人目の素数さん
18/10/12 21:30:49.65 0e2WxOi3.net
あ”、ちなみにこのψ関数は、ψ(Ω)=ε_0となるψ関数を使っています
ψ(Ω^ω)以降は、「ψ(0)=ε_0となるψ関数」と同じ大きさなので、そんなに気にしなくてもいいかな？
459:majimanji
18/10/13 07:09:37.50 BTCeDYVJ.net
>>436
解析開始
[n]m,f(k)をGSC 03549-02811変換とする。
GSC 03549-02811変換の大きさは[n-1]を対角化するので、あーもう分からん
460:１３２人目の素数さん
18/10/13 09:41:52.57 OWv4LVVO.net
√(X^2n+Y^2n+Z^2n-2*((X*Y)^n+(X*Z)^n+(Z*Y)^n))=0
√((X^n+Y^n+Z^n)^2-4*((X*Y)^n+(X*Z)^n+(Z*Y)^n))=0
n=2k (k≧3の整数)のとき
(X^2n+Y^2n+Z^2n)*2=(X^n+Y^n+Z^n)^2
をみたす整数X,Y,Zの組み合わせは存在しない
(d/dX)*(X^2n+Y^2n+Z^2n)*2=(d/dX)*(X^n+Y^n+Z^n)^2
(2n)*X^(2n-1)*2=2*n*X^(n-1)*(X^n+Y^n+Z^n)
2*X^n≠X^n+Y^n+Z^n
ζ(s)=√(1+1/2^2x+1/3^2x+1/4^2x・・・+2*(cos(y*log2)/(1*2)^x+cos(y*log3)/(1*3)^x+・・・+cos(y*log(3/2))/(3*2)^x+・・・))
ζ(s)=√(Σ1/k^2x+2*(Σcos(y*log(m/n))/(n*m)^x)) (k≧1 m>n≧1)
√(X^2+Y^2+Z^2-2*((X*Y)+(X*Z)+(Z*Y)))=0
Σ1/k^2x=1/1^2x+1/2^2x+1/3^2x+1/4^2x・・・をX^2,Y^2,Z^2の三つに区分する
X^2=Σ1/a^2x Y^2=Σ1/b^2x Z^2=Σ1/c^2x
Σ1/k^2x=Σ1/a^2x+Σ1/b^2x+Σ1/c^2x=X^2+Y^2+Z^2
X^(1/2)=Y^(1/2)+Z^(1/2)
(Σ1/a^2x)^(1/4)=(Σ1/b^2x)^(1/4)+(Σ1/c^2x)^(1/4)のとき
√(Σ1/a^2x+Σ1/b^2x+Σ1/c^2x-2*((Σ1/a^2x*Σ1/b^2x)+(Σ1/a^2x*Σ1/c^2x)+(Σ1/c^2x*Σ1/b^2x)))=0
またζ関数が0のとき
Σcos(m/n)/(n*m)^x+(Σ1/a^2x*Σ1/b^2x)+(Σ1/a^2x*Σ1/c^2x)+(Σ1/c^2x*Σ1/b^2x)=0
Σcos(y*log(m/n))/(n*m)^x+((Σ1/b^2x)^(1/4)+(Σ1/c^2x)^(1/4))^4*(Σ1/b^2x+Σ1/c^2x)+(Σ1/c^2x*Σ1/b^2x)=0
461:majimanji
18/10/13 10:23:25.39 BTCeDYVJ.net
>>444
お前IDが変わらないうちに早く謝れ!
じゃねえと1さん呼ぶぞ本気で!
462:１３２人目の素数さん
18/10/13 17:07:43.65 SmrLdBOq.net
１さんて誰だよ？
殺し屋？
463:majimanji
18/10/13 17:34:41.19 BTCeDYVJ.net
>>446
ID:oiBRnoEVの人
464:１３２人目の素数さん
18/10/15 09:40:07.09 puhagpUd.net
>>439
指摘ありがとう
>>440-441
なんとなく理解できそうな…
頑張って理解してみます
サンプルありがとう
465:１３２人目の素数さん
18/10/15 12:59:08.20 hOtEUWAN.net
>>448
ψ(Ω_2+Ω^Ω^Ω^,,,)=ψ(Ω_2×2)ではないので、気をつけてくださいね〜