名もなき巨大数研究掲示板 641344

・こちらは、巨大数に関する情報を書き込んだり、自作巨大数を投稿したりできる掲示板です。
・sage機能は実装されてません。
・主なスレッドの一覧はこちら
・意見要望はこちらへ

自作巨大数投稿所

1：abata :
2019/06/02 (Sun) 09:29:10: ■こちらでは、自作巨大数の投稿や自作巨大数についての話題を募集したいと思います。
270：二宮大翔 :
2023/11/24 (Fri) 18:05:56: はい定義を出します。
長文すまん

定義
集合Mを以下のように再帰的に定義する。
1. 0個の0の配列はMの元である。
2. 0のみの数列はMの元である。
3. Mの元で出来た数列はMの元である。
以上の操作の有限回の繰り返しで出来るもののみがMの元である。
Mの元を「ゼロネスト原始数列」と名付け、
最後に0が存在しないゼロネスト原始数列を、「極限ゼロネスト原始数列」と名付ける。
0個の0を∅とする。
q,rをゼロネスト原始数列とする。
s,tを∅ではないゼロネスト原始数列とし、uを極限ゼロネスト原始数列とする。
(例：(0,0,(0,(0),0,(0,(0),0)),0))

SはMの元と非負整数からMの元を生み出す写像である。
+は数列の連結を表す。(例：(0,(0))+((0),0,0)=(0,(0),(0),0,0))
S(∅,n)=∅
S(s+(0),n)=s
S(s+(u),n)=s+S(u,0)+…+S(u,n)
S(q+(0)+r+((0)),n)=q+(0)+r+…+(0)+r
S(q+(t)+r+(t,0),n)=q+(t)+r+…+(t)+r ((t),rがn個)

限界関数
L(n)=(0,(0,(…(0,(0))…))) (0がn個)

N0はMの元と非負整数から、非負整数を生み出す写像である。
計算規則
+を文字列としての連結とする。
1. N0()[n]=n
2. N0(s)[n]=N0(S(s,n+1))[n+1]

巨大関数と巨大数
F(n)=N0(L(n))[n]
F(F(F(F(F(F(F(F(F(9)))))))))を「0-ネスト原始数列数」と名付ける。

気体
F(n)がFGHでf_[SVO](n)またはf_[BHO](n)以上になることを自分で勝手に期待している。