Le 09-mai-07, à 18:50, Brent Meeker a écrit :
Bruno Marchal wrote:
Le 09-mai-07, à 09:08, [EMAIL PROTECTED] a écrit :
Of course reality doesn't change. The question of map versus
territory is *not* an all or nothing
question. *sometimes* the map equals the territory. Most of the
Brent,
Let me try to illustrate a simple example of (relative) meaning fixed
point.
A simple notion of meaning with machines or programs is given by the
set of input/output of the machine, or still more easily, the output
(in case the machine has no inputs).
So for example meaning(fact-5) =
Thanks, Bruno. I did know that - just forgot because it's been a long time. I
don't think it's related to Brouwer's fixed point theorem though: that assumes
a continuous topology. But I see what you mean by a fixed point of computation.
I'm now reading your elsevier paper.
Brent Meeker
3 matches
Mail list logo