[FOM] Short or very short Gôdel codes, anyone?

[Hendrik Boom]

On Mon, Jul 09, 2012 at 05:14:51PM -0400, joeshipman at aol.com wrote:
> 
> m^n is the number of strings with exactly n symbols instead of <=n 
> symbols, so some distinct strings would have to have the same Godel 
> code number.

You don't have to encode all strings of length <=n, though, just the 
ones that are syntactically valid formulae.

-- hendrik