Rayo - Oviedo

Aug 13, 2016i 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. Feb 18, 20230 rayo's number the smallest number bigger than any finite number named by an expression in the language of first-order set theory with a googol symbols or less. Rayo's function doesn't relate at all to the busy beaver function.

(or rather there is an obvious relation - rayo is way way way way way bigger than the beaver - but the busy. Mar 23, 2017rayo'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.

Showing that graham number g64 g 64, tree(3) t r e e (3), loader.c output d5(99) d 5 (99), and rayo(10100) r a y o (10 100) are listed in order of increasing size [duplicate] Dec 2, 2021rayo's number rayo (10100) rayo's number was the record holder in the googology community for a long time and it is defined as "the smallest positive integer bigger than any finite.