[FOM] Short or very short Gôdel codes, anyone?
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.
More information about the FOM