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

Richard Heck richard_heck at brown.edu
Sat Jul 14 22:31:08 EDT 2012

On 07/12/2012 03:10 PM, Paul Tarau wrote:
> - only syntactically valid terms are encoded / decoded
Not to be overly picky, but mightn't one want the theory in question to 
prove, even to decide, such questions as: Is such-and-such well-formed?


More information about the FOM mailing list