SpeedSolving Puzzles Community

P
pTr
Rayo’s Number
THE_V01DL0RD
THE_V01DL0RD
explain it(that's part of the game)
P
pTr
Rayo’s Number is the smallest number larger than any number that can be named by a formula of fewer than 10¹⁰⁰ symbols in a formal language like set theory.
P
pTr
You can define TREE(3), Graham’s Number, Busy Beaver numbers, etc., all with finite symbol strings. Therefore, they all fit inside the set of “numbers definable with fewer than 10¹⁰⁰ symbols.” Rayo’s Number is one larger than the largest of those. And since its definition itself uses fewer than 10¹⁰⁰ symbols, it’s self-contained and valid under its own rule.
THE_V01DL0RD
THE_V01DL0RD
rayos number + 1
THE_V01DL0RD
THE_V01DL0RD
I feel like a rule should be that you cant just say "rayos number". I feel like it should be expressed with some mathematical symbols.
THE_V01DL0RD
THE_V01DL0RD
g64 would be fine as long as you can define the g function I think
THE_V01DL0RD
THE_V01DL0RD
like show your work
Back
Top