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

Hendrik Boom hendrik at topoi.pooq.com
Wed Jul 11 18:16:03 EDT 2012

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

More information about the FOM mailing list