Rayo's function defined in english: $\\operatorname{rayo}(n)$ is the smallest positive integer bigger than any finite positive integer named by an expression in the language of first order. Rayo's function doesn't relate at all to the busy beaver function.
Rayo Vallecano vs Celta Vigo Live Stream & Tips LowScoring Game in
例如最近很火的葛立恒函数g (x)，其增长率为ω+1 如增长率更快的tree函数，定义更复杂的rayo函数，增长率都是怎么估计出来的？ 这里我随便写了四… 显示全部 Rayo's number is really just a complicated way of saying that it is the smallest number which larger than all those numbers definable in the set theoretic universe with a formula of at most. I was reading about large numbers, and came across rayo's number which is defined to be the smallest integer that is not nameable by any expression in the language of set theory that.
从 2007 年被 agustín rayo 提出以来，「rayo 数」长时间都被认为是人类创造的增长率最快的函数，2013 年时，日本人 fish 创造了「fish number 7」，虽然名义上比 rayo 数增长更.
