[FOM] Short or very short Gôdel codes, anyone?
frode.bjordal at ifikk.uio.no
Sun Jul 8 22:14:49 EDT 2012
Has someone used short or very short Gôdel codings to arithmesize syntax?
If so, who, where and how? A very short Gôdel coding would in my idiolect
be one where an expression with n symbols, in a system with an alphabet of
m symbols, would have a Gôdel number smaller than m raised to n.
Professor i filosofi
IFIKK, Universitetet i Oslowww.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM