User blog comment:Edwin Shade/How High Can You Go ?/@comment-5529393-20170920232027/@comment-32876686-20170921004045

Wow. I just read the first bit of the Wikipedia article and skimmed through the rest, and now I know a little more about the Bachman-Howard Ordinal. I'll check ought the rest of the links you posted of course, but first I have just one question-

When looking at the wikipedia page for Ordinal Collapsing Functions, I realized although these ordinals themselves were huge, they could be described in a finite amount of text. Now, assuming this can be reduced down to a well-defined system of mathematical notation, (think a variation of what's used in Rayo's Function), then that would mean one could diagnolize over the process itself of making bigger ordinals, and make a Rayo's function for transfinite ordinals. Is this possible, or is there some math theorem preventing me from doing this ?