# Math Help - Gödel numbering

1. ## Gödel numbering

The following is a solved problem:

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?

2. ## Re: Gödel numbering

I agree with you; the third exponent should be 205.

3. ## Re: Gödel numbering

Thanks, maybe that's a typo.