雷奥数(拉约)Roya (7-7)

忙碌的海狸大脚小比格登大数花园数不可计算的函数脚注↑ 实际上，如果（f）是在拉约函数的定义中假设的二阶集合论的一阶段中可定义的函数，则谓词（m = f（n））的定义公式（Phi（n，m））给出（text {拉约}（n））的组成的下界以及依赖于被视为（n）上的函数的（exists m 6528 其中（ulcorner n urcorner）是一阶集合论语言中（n）的固定形式。↑ 然而，拉约函数自然可以被（f _ alpha（n））超越，用于快速增长的层次结构中的一些可数（alpha），该层次结构配备了序数的固定基本序列系统（leq alpha）。实际上，它相对于基本序列（ω【n】=文本{拉约}（n））增长了（f _ {ω}（n）。↑ 古彻误解了拉约函数的定义，认为它是“能用n个符号唯一表示的最大整数”一阶算术（语言阿砣算术).".这二阶算术强得多，一阶集合论甚至比它更强。一阶算术的论域是自然数，但一阶集合论的论域被定义为整个冯诺依曼宇宙的集合。事实上，可以证明拉约函数比xi函数强得多。↑ Cookiefonster写道，“尽管Rayo的数量在2013年被超过7号鱼这个数字是否是一个足够好的扩展，可以被视为打破了记录，这是有争议的。",[17]即使后来发现[18]没有人认为7号鱼是一个天真的延伸。注意，Cookiefonster只是同意Vel的观点！，还有Vel！说7号鱼不是一个天真的延伸。↑ 简单的扩展比如text{FOST}^{100}(10^{100}）哪里递归/iteration notation is used are not honored as breaking the record of Rayo's number.

参考↑1.0 1.1 1.2 A.拉约，《大数对决》，2007年↑ 米（meter的缩写））t .曼扎里，“教授们在大数决斗中一决雌雄”，《技术》，第126卷，第64期，2007年↑ A.拉约,“大数字的决斗”,研究和科学,没有。383,科学出版社,2008年。↑ A.拉约，“可选:大数决斗”，在悖论的边缘，麻省理工学院出版社，2019年↑ 简单明了，拉约（n）为0的证明，谷歌百科用户博客。↑ Emk，拉约（10）正好是1（不是下限），谷歌百科用户博客。↑ 简单明了，证明拉约（n）在10到19之间为1，谷歌百科用户博客。↑ Ytosk，拉约函数值界的小改进，谷歌百科用户博客。↑ Ytosk，拉约函数值界的小改进，谷歌百科用户博客。↑ 简单明了，返回65536的拉约字符串，谷歌百科用户博客。↑ 简单明了，65536的一个更短的拉约名字:谁需要有序配对？，谷歌百科用户博客。↑ p進大好きbot，65536的拉约名称，谷歌百科用户博客。↑ Ytosk，65536的拉约名称，包含346个符号，谷歌百科用户博客。↑ Ytosk，拉约函数值界的小改进，谷歌百科用户博客。↑ Emk，一个比BB(10^100更大的Rayo名字），谷歌百科用户博客。↑ 亚当·古彻。ξ函数。检索于2013年3月21日。↑

cookiefonster 2015年7月31日编辑↑ talk:Fish _ number _ 7 # Fish number 7是Rayo数的天真扩展吗？↑ 麻省理工学院哲学系:奥古斯丁·拉约。检索于2013年2月。无法计算的数字忙碌的海狸数量（基于图灵理论）: （适马，1919年）（第1919个忙碌的海狸号）4号鱼（Xi(10^6）（西格玛_{ infty}(10^9））拉约的数字（基于集合论）: 雷奥数（拉约（10100))7号鱼大脚（英尺10(10100))小比格登北美野人大数花园数杂项: 霍伦的号码遗忘完全被遗忘（最终遗忘)

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。