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

2020年，拉约对处理Rayo号码的方式增加了以下新描述：[1]注意哲学家有时会对集合论做出现实主义的解释。根据这种解释，集合论表达式具有“标准”含义，它为语言的每个句子确定一个确定的真值，而不管原则上是否可能知道这些真值是什么。（例如，参见范恩·麦基的这篇文章。）在比赛期间，亚当和我想当然地认为（二阶）集合论的语言是标准解释的，这保证了最终条目对应于一个确定的数字。如果语言被解释为基于公理系统，最终条目将是无效的。

这是因为该语言的每一个（一致的）公理化都有不同的模型，并且无法保证最终条目对应于不同模型的相同数字。这意味着拉约认为集合论公式的哲学“解释”与现实世界中的“真理”有关，这在数学中是不可形式化的，并且不打算对公理进行特定的选择。它是数学之外的社会学的合理方向之一。另一方面，最后一句话中的问题看起来像是一个借口，解释为什么他们认为不可形式化的“真理”是理所当然的，但这没有意义，因为给定数值对模型的依赖性与“无效性”无关。在数学中，有许多定义明确的概念不是绝对的，即取决于模型，例如唯一的自然数（n）满足（（text{CH}到n= 0）land（neg text { CH }到n=1）。在googology中，有许多取决于模型的大数，例如Busy Beaver函数值，特别是（S（1919）），其中（S）表示最大移位函数。在大数决斗中，没有规则禁止依赖于模型的数，事实上它甚至允许跳过修复公理。历史当雷欧数被定义时拉约和埃尔加的数字对决受到了文章中描述的大量数字竞赛的启发“谁能说出更大的数字？”作者斯科特·阿伦森。在Rayo数被定义后2013年1月，亚当·p·古彻声称（文本{拉约}（n））的增长速度比他的xi函数。[16]然而，事实证明这一说法是错误的。[注3]2013年10月，鱼清晰的7号鱼作为Rayo号码的扩展。[注4]7号鱼与Rayo号鱼有相同的问题，这在公理部分。

2014年10月，Wojowu清晰的大脚使用n阶集合论的非朴素扩展，一阶oodle理论，它被誉为最大的命名数。[注5]然而，大脚原来是2018年界定不清。目前，所有最大的命名数字都共享相同的拉约函数概念，即指自然数的可命名性，以及所有非朴素扩展，如英尺函数。作者数字是由谁发明的奥古斯丁·拉约博士他于2001年在麻省理工学院获得博士学位，是该校语言学和哲学副教授（当时他创造了Rayo数）。[19]

请参见Rayo数在维基百科上。

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