
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:
$\displaystyle 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:
$\displaystyle 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?

Re: Gödel numbering
I agree with you; the third exponent should be 205.

Re: Gödel numbering
Thanks, maybe that's a typo.