拉約數
拉約數(英語:Rayo's number),是一個由阿古斯丁·拉約(Agustín Rayo)所創造並命名的大數[1][2]。這個數在當時比其他任何數都來得大(後來出現一個叫做BIG FOOT的大數比它更大[3][4][5]),就算是葛立恆數,跟拉約數比起來也是微不足道的。[6][7]這個數是在麻省理工學院在2007年1月26日舉辦的一場「大數戰鬥」中被定義的。[8][9]
定義编辑
拉約數最初被定義為:[10]
後來它被重新定義為「符合『大於任何使用一階邏輯語言,並用不超過古戈爾個符號所能表示的數』的最小數」。[9]
這個數的正式定義使用了二階邏輯,在下式中, 為哥德爾編號,而 則代表一個可被賦值的變數:[10]
∀R {{for any (coded) formula [ψ] and any variable assignment t(R([ψ], t) ↔(([ψ] = `x_i ∈ x_j' ∧ t(x_1) ∈ t(x_j)) ∨([ψ] = `x_i = x_j' ∧ t(x_1) = t(x_j)) ∨([ψ] = `(∼θ)' ∧ ∼R([θ], t)) ∨([ψ] = `(θ∧ξ)' ∧ R([θ], t) ∧ R([ξ], t)) ∨([ψ] = `∃x_i (θ)' and, for some an xi-variant t' of t, R([θ], t')))} →R([φ], s)}
參考文獻编辑
- ^ CH. Rayo's Number. The Math Factor Podcast. [2014-03-24]. (原始内容存档于2014-03-24).
- ^ Kerr, Josh. Name the biggest number contest. 2013-12-07 [2014-03-27]. (原始内容存档于2016-03-20).
- ^ Googology Wiki. [2015-03-14]. (原始内容存档于2018-08-31).
- ^ Wojowu and Nathan Ho. First-order oodle theory. snappizz.com. [2014-11-11]. (原始内容存档于2014-11-05).
- ^ FOOT is not as strong as I thought. LittlePeng9's user blog. [2017-04-20]. (原始内容存档于2017-05-18).
- ^ CH. Rayo's Number. The Math Factor Podcast. [2014-05-24]. (原始内容存档于2014-03-24).
- ^ Kerr, Josh. Name the biggest number contest. 2013-12-07 [2014-03-27]. (原始内容存档于2016-03-20).
- ^ Elga, Adam. Large Number Championship (PDF). [2014-03-24]. (原始内容存档 (PDF)于2014-01-23).
- ^ 9.0 9.1 Manzari, Mandana; Nick Semenkovich. Profs Duke It Out in Big Number Duel. The Tech. 2007-01-31 [2014-05-24]. (原始内容存档于2014-07-16).
- ^ 10.0 10.1 Rayo, Augustin. Big Number Duel. [2014-03-24]. (原始内容存档于2014-02-27).
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄