ラヨ数

ラヨ数 (Rayo's number) は、Agustín Rayo と Adam Elga の巨大数決闘で Agustín Rayo が名付けた巨大数である。ラヨ数は、ラヨ自身の言葉によれば、「一階の集合論（一階述語論理）の言葉でグーゴル個以内の記号で表現できるいかなる有限の正の整数よりも大きな最小の正の整数」である。[1][2][3][4] 「グーゴル」を任意の正の整数とすれば、非常に増加速度の大きいラヨ関数 \( \mathrm{Rayo} ( n ) \) を得ることができる。ラヨ関数は計算不可能であり、チューリングマシンによって（そして、チャーチ・チューリングのテーゼによれば、いかなる現代のコンピュータを使っても）、 \( \mathrm{Rayo} ( n ) \)あるいは \( \mathrm{Rayo} ( { 10 } ^ { 100 } ) \) の値を、無限の時間とメ

[Kureduki_Maari]

ラヨ数 - 巨大数研究 Wiki - ウィキア