Gödel Numbers

This is a working example of Gödel numbering as applied to the formal system as described in the New Turing Omnibus.

Written by Chris Patuzzo, View the code on GitHub

Formula:

Gödel Number:
(18 digits)
Prime Terms:
2^2 x 3^1 x 5^3 x 7^2 x 11^1 x 13^5 x 17^2 x 19^2 x 23^1
Symbol
Code Number
0
1
S
2
+
3
*
4
=
5
(
6
)
7
,
8
x
9
1
10
~
11
&
12
E
13
A
14
>
15