# Gödel numbering

• Oct 19th 2011, 12:59 AM
demode
Gödel numbering
The following is a solved problem:

http://img72.imageshack.us/img72/8504/questionw.jpg

So, I don't understand how they got the 37 from...
We assign numbers to each symbols using the rules here. We get:

$13(7+8)(13+8.2^3.3^1)(7+8)(7+8)(7+8)$

So when we place these as exponents of odd prime numbers we get:

$2^{13} \times 3^{15} \times 5^{205} \times 7^{15} \times 11^{15} \times 13^{15}$

The third term evaluates to 205, so why did they use 37?
• Oct 19th 2011, 02:11 AM
emakarov
Re: Gödel numbering
I agree with you; the third exponent should be 205.
• Oct 19th 2011, 09:36 PM
demode
Re: Gödel numbering
Thanks, maybe that's a typo.