Absurd Gödel Numbering
Dec. 12, 2023Let’s take Gödel Numbering and make it ridiculous by attempting to create a single character numbering system.
The Fundamental Theorem of Arithmetic states that every natural number greater than 1 can be written as a product of prime numbers, and that up to rearrangement of the factors, this product is unique.
Here we go one step further and perform the same trick on the exponents, so it’s primes all the way down (or up) while also denoting zeroes and doing the same for them too. It’s a little tricky to explain.
?.
First we need our Prime numbers and their positions.
| Prime | 2 | 3 | 5 | 7 | 11 | 13 | 17 | ... |
|---|---|---|---|---|---|---|---|---|
| Position | 1 | 2 | 3 | 4 | 5 | 6 | 7 | ... |
A.
Then we denote these positions using a padded symbol, eg,
2 = position 1 = A
3 = position 2 = 0A
5 = position 3 = 00A
7 = position 4 = 000A
11 = position 5 = 0000A
etc.
| Prime | 2 | 3 | 5 | 7 | 11 | 13 | 17 | ... |
|---|---|---|---|---|---|---|---|---|
| Position | 1 | 2 | 3 | 4 | 5 | 6 | 7 | ... |
| Padded Symbol Pos. | A | 0A | 00A | 000A | 0000A | 00000A | 000000A | ... |
?A.
That’s an irritating amount of leading zeros, lets truncate those below the line, eg, 11 = 0000A = 4A
| Prime | 2 | 3 | 5 | 7 | 11 | 13 | 17 | ... |
|---|---|---|---|---|---|---|---|---|
| Position | 1 | 2 | 3 | 4 | 5 | 6 | 7 | ... |
| Padded Symbol Pos. | A | 0A | 00A | 000A | 0000A | 00000A | 000000A | ... |
| Denoted Pos. | A | 1A | 2A | 3A | 4A | 5A | 6A | ... |
AA.
Now that we have our Primes primed (ha!) we can look at some natural numbers. Each of these can be written as a product of prime numbers (except 1, which we’ll abstract into ? ), so lets do that. Simple enough, we can be more concise too.
| Natural Number | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
|---|---|---|---|---|---|---|---|---|---|---|
| As Prod. of Primes | ? | 2 | 3 | 2x2 | 5 | 2x3 | 7 | 2x2x2 | 3x3 | 2x5 |
| Concise | ? | 2 | 3 | 22 | 5 | 2x3 | 7 | 23 | 32 | 2x5 |
AA.
We’re getting there, but what about those cool padded symbolic representations we had, lets use those!
| Natural Number | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
|---|---|---|---|---|---|---|---|---|---|---|
| As Prod. of Primes | ? | 2 | 3 | 2x2 | 5 | 2x3 | 7 | 2x2x2 | 3x3 | 2x5 |
| Concise | ? | 2 | 3 | 22 | 5 | 2x3 | 7 | 23 | 32 | 2x5 |
| Symbolic | ? | A | 1A | AA | 2A | A1A | 3A | A1A | 1AA | A2A |
A?A.
This is getting a bit out of hand but lets continue, there are still natural numbers denoting the leading zeroes within those symbols, lets peform the same routine on them too!
| Natural Number | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
|---|---|---|---|---|---|---|---|---|---|---|
| As Prod. of Primes | ? | 2 | 3 | 2x2 | 5 | 2x3 | 7 | 2x2x2 | 3x3 | 2x5 |
| Concisely | ? | 2 | 3 | 22 | 5 | 2x3 | 7 | 23 | 32 | 2x5 |
| Symbolic | ? | A | 1A | AA | 2A | A1A | 3A | A1A | 1AA | A2A |
| Absurd. | ? | A | ?A | AA | AA | A?A | ?AA | A?A | ?AA | AAA |
?AA ..∞.
With a bit of computing power you can keep this going, here are the first 20 natural numbers generated by the hideous mess of a program I wrote to make this work..
2 A
3 ?A
4 AA
5 AA
6 A?A
7 ?AA
8 A?A
9 ?AA
10 AAA
11 AAA
12 AA?A
13 AAA
14 A?AA
15 ?AAA
16 AAA
17 A?AA
18 A?AA
19 ?AAA
20 AAAA
Here are the first 100 natural numbers in this format comma separated.