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

From: |-|erc (H_at_r.c)
Date: 01/30/05 

Date: Sun, 30 Jan 2005 19:04:05 +1000

<Helene.Boucher@wanadoo.fr> wrote in
> 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.
>

And 2OL is exponential aswell.

It doesn't matter what system of representation you use,
a number-string of length L can represent max base^L different formula.

How are you getting a more consise representation of proofs?

You seem to be using a finite alphabet, and concatinating terms to form
an unlimited alphabet. <T10001 T10003 T3332 T100000001>

The higher order of representation comes at a cost of more expensive symbols to encode.

Herc

Relevant Pages

  • Re: click inside a region
    ... according the NLS support in Windows and the human eye/brain combination is not going ... Unfortunately, for various projections (e.g., the classic Mercator map) ... the vector representation. ...
    (microsoft.public.vc.mfc)
  • Re: hello?
    ... of the brain's representation of the physical act. ... map that counts and indeed is all we have. ... internal "map" of the environment. ... chain of internal behaviors. ...
    (comp.ai.philosophy)
  • Re: hello?
    ... of the brain's representation of the physical act. ... map that counts and indeed is all we have. ... can study a car with a microscope and learn all sorts of stuff about the ... internal map to guide the actions of the machine (like route planing ...
    (comp.ai.philosophy)
  • Re: click inside a region
    ... Unfortunately, for various projections (e.g., the classic Mercator map) the scaling is ... the vector representation. ... I hadn't interpreted the OP's problem as necessarily one of creating specifically a map of the globe. ... The first would have the advantage that different projections could be applied at the stage where the bitmap is created. ...
    (microsoft.public.vc.mfc)
  • Re: Name the thesis: "Formal sentences capture informal ones"
    ... > all map to some base number OF THE SAME LENGTH AS THAT SENTENCE." ... How are you getting a more consise representation of proofs? ... You seem to be using a finite alphabet, and concatinating terms to form ...
    (sci.logic)