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

[Frode Bjørdal]

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.


Frode Bjørdal
Professor i filosofi
IFIKK, Universitetet i Oslowww.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120709/62ed7501/attachment.html>