A Wonderful Idea: Metagrammatical Numbers

Apply Cantor’s diagonal argument to the list of describable numbers, and one arrives at a description of a number which is not describable.  A paradox? Not at all.  Merely proof that higher orders of description exist. That is, some numbers are metagrammatical.  They can be described and computed to arbitrary precision, but necessarily the description is meta to whatever grammar one begins with.  This is delightful!

 

Details:  We call a number describable if it can be described by a finite expression, with a specified alphabet and a specified grammar, which decides how to compute the number from the description if it is grammatical, and discards expressions which are not grammatical (i.e., we are using ”grammar” to mean both what is admissible as a description, and given an admissible description, what is the protocol to compute the number which is described).  For example, consider the set 

\{1,-,(,),/\}

With this set we can describe every rational number, since we can write a rational number as an expression using just these 5 characters.  (If we are careful we can get rid of the parentheses). The grammar throws out nonsensical expressions like 1--/-, and computes the others. Allowing iterative operators (e.g., \Pi, \Sigma), quantifiers (\forall,~\exists), a countable number of variable (v_1,\ldots v_n,\ldots), et cetera, we get descriptions of algebraic numbers and a lot of common transcendental numbers. Still, even with a countable alphabet we can enumerate the number of finite strings of characters, so that the set of describable numbers is countable. This is not too surprising, but if you have never thought about it, it is worth pondering. This set of numbers is a field, for example, and not a trivial example either! Indeed (almost) all numbers that are useful at all are describable. Of course, picking one at random (with equal distribution) is impossible, so probabilists, among others, demand the existence of indescribable numbers.

Let us make a list of all descriptions on the left hand side of our paper, and on the right we will make the corresponding list of numbers, written in binary (which frequently do not terminate, but that’s allowed). Now we’ll construct a number, \chi, that can be computed but is not on our list. Let \chi have as its nth diadic (“diadic” is like “digit” but for base two and not base ten) a 0 if the nth description has a 1 in its nth diadic, and a 1 if the nth description has a 0 in its nth diadic. That is, go down the diagonal of the list of numbers and make the number which has switched each diadic in the diagonal. Have we not described \chi? But it cannot be on our list, since it differs from every number on our list in at least one diadic.

The point is we can never nest a description of a grammar within the grammar itself, although we can nest one grammar inside another. If we could nest a grammar inside itself, we could, in grammar G, write the description

the nth diadic of this number is the opposite (base 2) of the nth diadic of the nth description in G,

and we would have produced the paradoxical situation of having a number which both is and is not on a countable list.

More specifically, let some huge N be the number in an ordering of G, so that the Nth description is the one in the above blockquote, and let it correspond to the real number \chi, which it describes. If such a description can be written, it must be written in a finite number of characters, and so there must be some such number N. Now we ask what is the first diadic in \chi? No problem, our grammar just asks itself what the 1st diadic in the first description is, and adds 1 (mod 2) to it, next it asks what the 2nd diadic in the second description is, and adds 1 (mod 2) to it. Eventually it gets to N and it asks itself about the Nth description, but the Nth description requires it make a list of the first N descriptions to get to the Nth diadic in that number, so the grammar tries to reference itself, and in doing so must reference itself again, in a nested infinite recursive loop. So forget about the fact that the grammar is paradoxically trying to switch one of its own diadics. Forget the paradox that the number is both on and not on the countable list. The first problem is that the grammar goes into an infinite recursion.

In fact, lets go back and do the same thing except instead of switching the nth diadic of the nth describable number, we use the nth diadic of the nth describable number as the nth diadic in our number, say \chi_0. Can you think of a more agreeable number to have on our list? \chi_0 could be any of the countable numbers on our list. Suppose it is the Nth number. What does it have for its Nth diadic? Well, either 0 or 1, since this number must merely be equal to itself. But then \chi_0 is not describable, since its description does not produce a unique value!

This is, essentially, how one approaches the Berry Paradox. In short,

definable in this system

is just never a logical definition (or clause thereof) in that system.

However, once we agree on what a definition or a description is, then these examples tell us that there are deterministically producible, unambiguously definable, finitely expressible numbers and strings which can only be expressed with a grammar meta to the one first chosen.

What a delight!

Advertisements

One Response to A Wonderful Idea: Metagrammatical Numbers

  1. typeblite says:

    Hello. Your site displays incorrectly in Explorer, but content excellent! Thank you for your wise words:)

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: