Re: Name the thesis: "Formal sentences capture informal ones"

Helene.Boucher_at_wanadoo.fr
Date: 01/30/05 

Date: 30 Jan 2005 00:57:43 -0800

I'm sorry, I don't think I understand your reply.

"ll programs, formulas, wff, numbers, sentences...
all map to some base number OF THE SAME LENGTH AS THAT SENTENCE."

I think what you're saying is that, e.g. in base 2, the Godel number
coding a sentence has length the length of the sentence. Indeed.
Still, because a code is being used, the number is in fact exponential
wrt to the length.

Relevant Pages