User blog comment:Alemagno12/Divine Presence/@comment-30754445-20170201102918

Nice idea!

Can you clarify the final paragraph of your definition, though?

The easiest way to do this is by example. Show the definition of a few numbers defined by n symbols along with the appropriate n. They don't even need to be large numbers (finding the actual champion for a given n would be near-impossible anyway if A(n) is uncomputable). Just show a few examples of how the system works.

I also don't understand what RO does exactly. What does "imagine A is [1], then B is [2]" mean?