User blog comment:Syst3ms/A sketch for an — actually — formal definition of UNOCF/@comment-30869823-20180804141523/@comment-30754445-20180804193439

I don't get it either.

I completely agree with you that a "non-formal" description in english would be infinitely more useful. Before you actually try to prove your stuff or even define it formally, the first step is to explain in simple words what you're trying to do.

Actually, a concise english explanation with a set of carefully chosen examples, has a far greater potential of clarifying your ideas than a dense page of mathematical symbol. As Albert Einstein once said: If you can't explain your idea to a five-year-old, you don't really understand it yourself.

I mean, come on... I'm a pretty experienced googologist and I also have a very strong background in college level mathematics, and even I can't make heads or tails of the claims that people are writing here - either in english or in "formalease".

So either all these guys are geniuses of such a high caliber that even the pros can't keep up with them, or they are simply not making any f***-ing sense.