On Mon, Jan 24, 2011 at 09:31:23PM +0100, Bruno Marchal wrote: > > My point is only that IF we accept digital mechanism THEN the > *appearance* of movement is an inside, first person, construction, > due to the gap between what a machine (number) can prove and what is > true. >
It is interesting you say this. Is your reasoning for this that the logic of Bp & p enables Kripke frames, which can be identified with the passage of time? Cheers -- ---------------------------------------------------------------------------- Prof Russell Standish Phone 0425 253119 (mobile) Mathematics UNSW SYDNEY 2052 [email protected] Australia http://www.hpcoders.com.au ---------------------------------------------------------------------------- -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
