【数学】巨大数 広報
世界最高峰の巨大数イベント「東方巨大数4」の開催決定しました。2021年7月23日スタート!
巨大数の大きさごとにランク分けされるので、素人でもランクの中で1位の可能性あり!
精鋭による解析により、自分の作った巨大数の大きさを知ることが出来る!
詳しいことは以下!
https://docs.google.com/document/d/1yfrdN5ewHQBjYZDIM16JNc84UbPyEf7Mpo8xFYVOr1o/edit
【数学】巨大数 プチ講座
極めて初歩的な入門方法としては‥
急増加関数
f ω^ω (3)
の展開方法を理解して「ω^ω」の部分の構造を理解するのがよいです。
極限順序数「ω^ω 」が後続順序数になるまで、その基本列の3番目をとり続けます。基本列はワイナー階層です。
f ω^ω (3) =
f ω^3 (3) =
f ω^2×ω (3) =
f ω^2×3 (3) =
f ω^2+ω^2+ω^2 (3) =
f ω^2+ω^2+ω×ω (3) =
f ω^2+ω^2+ω×3 (3) =
f ω^2+ω^2+ω+ω+ω (3) =
f ω^2+ω^2+ω+ω+3 (3) =
ここで後続順序数になりました。後続順序数からは「1」を引くことが可能なので、急増加関数を動かすことが出来ます。
急増加関数
f 0 (n) = n+1
f a (n) = f^n a-1 (n)
です。
f ω^2+ω^2+ω+ω+3 (3) =
f ω^2+ω^2+ω+ω+2 (f ω^2+ω^2+ω+ω+2 (f ω^2+ω^2+ω+ω+2 (3))) =
です。
【数学】巨大数 プチ講座
巨大数は「巨大関数」で出力されます。
例えば「足し算」よりも「掛け算」の方がより効率的に大きな数を作れます。同様に「掛け算」とりも「累乗」の方がより効率的に大きな数を作れます。
この「足し算」「掛け算」「累乗」の関係を見ると‥
「累乗」は「掛け算」の連続である。
「掛け算」は「足し算」の連続である。
という法則があります。この法則を幾重にも繰り返して「足し算」を強化していくのが巨大関数の基礎ですが‥
実はこれらは「急増加関数」を介することで「可算順序数(基本列が定義されている必要がある)」で一意に評価することができます。
これは裏返せば「より大きな順序数と基本列を定義出来れば、より大きな巨大数を定義できる」ということを意味します。この方法論は、今の巨大数のスタンダードになっています。
ただし、この方向性は、真に高等な数学の世界に踏み入ることになります。
私の場合は「順序数もどき」の研究で、踏み入ってはいませんが、この場合、それが一意に数を出力する保証はないという弊害が強くなります。
【数学】巨大数 東方巨大数4のルール
おおっと、今回は「東方要素」が必須になりましたね。巨大数の名前に東方要素を入れるだけでOK。例。「霊夢数」。
https://docs.google.com/document/d/1yfrdN5ewHQBjYZDIM16JNc84UbPyEf7Mpo8xFYVOr1o/edit
【数学】巨大数 巨大数ランク
私が目指してるのが、この巨大数評価ランク表(日本巨大数協会の主催による)で、ランクAのレベル41のあたりです。
巨大数RANK Ver 1.2.2
https://docs.google.com/spreadsheets/d/1i-yhd1L86og6aUpi_B4bwHbVckfpz_FfHpZXs3BndSw/edit#gid=0
【数学】巨大数 巨報!
7月23日に東方巨大数4の開催がFHLASR主催の村武さんにより宣言されました。巨大数に関心のあるかたは自作の巨大数で参戦してみるのもいいかも。解析してくれますよ。
https://twitter.com/muratake8901341/status/1401463876714106880
【数学】巨大数 f PTO(ZFC)+1(18)円 とは?
ここでは、解説のために「f PTO(ZFC)+1(2)」を使います。
急増加関数f PTO(ZFC)+1(2)は、実際には「f PTO(ZFC)(f PTO(ZFC)(2))」までしか展開できません。順序数「PTO(ZFC)」を展開できる定義がないからです。
この「PTO(ZFC)」は「ZFC公理系でその整列性が証明できない最小の順序数」を意味します。例えば「PTO(PA)」ならば「ペアノ公理でその整列性が証明できない最小の順序数」となり「ω^ω^ω^ω^ω^…∞」であり、カントール標準形(基本列はワイナー階層)で展開することが出来ます。しかし「PTO(ZFC)」に到達したシステムは現存します。P進大好きBotの「巨大数屋敷」です。
では f PTO(ZFC) (n)がどれくらい強いのかと言うと、仮にバシク行列システムの停止性をZFCで証明がかのうであれば f PTO(ZFC) (n)の強さを持つ関数(例えば巨大数屋敷)はそれよりも強いということになる。
つまり f PTO(ZFC)+1(18)円はものすごくでかい。
初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。