User blog comment:KthulhuHimself/Library Function/@comment-4224897-20151105021001/@comment-27014275-20151105121049

I would like to say that your example is exactly the sort of problem my nearly-made revision will solve.

I do not think:

1. that Lib(n) would necessarily dominate any function, as you could devise "stronger" natural languages.

and 2, that formal systems are always required, as one could simply use all the "decent interpretations" instead of demanding one. (I will soon write (in the revision) all about what a "decent interpretation" should be, so don't bother asking.)

BUT MOST IMPORTANTLY, I WANT YOU TO REALIZE THIS: I ACKNOWLEDGE THE FACT THIS FUNCTION IS SILLY, MAYBE EVEN STUPID, BUT THAT IS NOT A REASON TO SAY THAT ITS VERY CONCEPT IS IRRATIONAL, AND JUST WAVE IT OFF AS ANOTHER NOOB ATTEMPT OF CREATING THE "STRONGEST FUNCTION".

IT IS MOSTLY A CONCEPT I AM EXPLORING, NOT MY MOST SINCERE ATTEMPT AT GOOGOLOGY.

(that wasn't rage, btw.)