エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ラヨ数
ラヨ数 (Rayo's number) は、Agustín Rayo と Adam Elga の巨大数決闘で Agustín Rayo が名付けた巨大数... ラヨ数 (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 } ) \) の値を、無限の時間とメ
2014/01/01 リンク