User blog:KthulhuHimself/Library Function

Before deleting the "Norminals" post, I have come up an idea for a function, that will outgrow every other function, computable or not, to date.

Definition
Definition is as follows: "Lib ( n )  is equal to the smallest integer larger than any number generated by a well-defined expression in 'definer' language with n symbols or less."

"Definer" language
"Definer" language is defined as formal english, where the symbols allowed are space, the letters of the english alphabet, the ten decimals, and any other symbol whatsoever, as long as it is defined in "definer" somewhere else in the expression.

The formal definition of "English", for this case, is as described in the "Oxford advanced learner's dictionary", or any purposeful Dictionary for this point.

Paradoxes and their resolution
Coming soon!