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                         hpco...@hpcoders.com.au
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 everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.

Reply via email to