Re: To observe is to......EC

2006-11-09 Thread Colin Geoffrey Hales
> > Are you saying that you disallow lambda expression having the shape: > > (LAMBDA (X) F) > > with no occurrence of X in F? The brackets I have used to date are not the brackets of the lambda calculus. I think physically, not symbolically. I find the jargon really hard to relate to. > > P

Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7

2006-11-09 Thread Colin Geoffrey Hales
sorry about all the posts. something weird going on. > > see below.. > >> >> See below, please >> John >> - Original Message - >> From: "Colin Geoffrey Hales" <[EMAIL PROTECTED]> >> To: >> Sent: Tuesday, November 07, 2006 12:58 AM >> Subject: Re: Zuse Symposium: Is the universe a com

Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7

2006-11-09 Thread Colin Geoffrey Hales
see below.. > > See below, please > John > - Original Message - > From: "Colin Geoffrey Hales" <[EMAIL PROTECTED]> > To: > Sent: Tuesday, November 07, 2006 12:58 AM > Subject: Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7 > > >>> Addition to my "lost and found" 1st p

Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7

2006-11-09 Thread Colin Geoffrey Hales
See below > > See below, please > John > - Original Message - > From: "Colin Geoffrey Hales" <[EMAIL PROTECTED]> > To: > Sent: Tuesday, November 07, 2006 12:58 AM > Subject: Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7 > > >> >>> >>> Addition to my "lost and found"

Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7

2006-11-09 Thread Colin Geoffrey Hales
See below > > See below, please > John > - Original Message - > From: "Colin Geoffrey Hales" <[EMAIL PROTECTED]> > To: > Sent: Tuesday, November 07, 2006 12:58 AM > Subject: Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7 > > >> >>> >>> Addition to my "lost and found"

Re: Numbers, Machine and Father Ted

2006-11-09 Thread Stephen Paul King
Dear Stathis, Is this not an extreme form of "Occasionalism"? http://en.wikipedia.org/wiki/Occasionalism Why does it seem that we humans perpetually imagine the possibility that the Universe we observe requires some form of "hidden behind the curtains" machinery to "hold it up"; I am

Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7

2006-11-09 Thread John M
See below, please John - Original Message - From: "Colin Geoffrey Hales" <[EMAIL PROTECTED]> To: Sent: Tuesday, November 07, 2006 12:58 AM Subject: Re: Zuse Symposium: Is the universe a computer? Berlin Nov 6-7 > >> >> Addition to my "lost and found" 1st post in this topic to >> Marc:

Re: RITSIAR (was Numbers, Machine and Father Ted)

2006-11-09 Thread Bruno Marchal
Le 09-nov.-06, à 13:57, 1Z a écrit : > > > Bruno Marchal wrote: >> Le 03-nov.-06, à 15:06, 1Z a écrit : >> >>> We don't *have* to assume that there is a gulf between the first >>> personal >>> and third personal. >> >> >> A gulf? Do you agree there is at least a difference? > > > The difference

Re: Numbers, Machine and Father Ted

2006-11-09 Thread Bruno Marchal
Le 09-nov.-06, à 14:07, 1Z a écrit : > Bruno Marchal wrote: >> Le 31-oct.-06, à 19:37, 1Z a écrit : >> >>> Well, I think numbers don't exist AT ALL >> >> I have not the slightest idea what you mean by that. > > If you don't understand anti-Platonism, that would certainly explain > why you do

Re: Numbers, Machine and Father Ted

2006-11-09 Thread Bruno Marchal
Le 09-nov.-06, à 13:53, 1Z a écrit : > If you can show that subjective experience exists in Platonia, > you can use that to show that some things will "seem" dynamical. > > If you can show that there a dynamic processes in Platonia, > you can use that to show there are running computations > an

Re: Numbers, Machine and Father Ted

2006-11-09 Thread 1Z
Bruno Marchal wrote: > Le 31-oct.-06, à 19:37, 1Z a écrit : > > > Well, I think numbers don't exist AT ALL > > I have not the slightest idea what you mean by that. If you don't understand anti-Platonism, that would certainly explain why you don't argue against it. > Your longer > "metaphysi

Re: RITSIAR (was Numbers, Machine and Father Ted)

2006-11-09 Thread 1Z
Bruno Marchal wrote: > Le 03-nov.-06, à 15:06, 1Z a écrit : > > > We don't *have* to assume that there is a gulf between the first > > personal > > and third personal. > > > A gulf? Do you agree there is at least a difference? The difference boils down to the incommuncability of certain things,

Re: Numbers, Machine and Father Ted

2006-11-09 Thread 1Z
Bruno Marchal wrote: > Peter Jones (1Z) a écrit : > > >> Most people would not say "yes doctor" to a process that recorded > >> their > >> brain on a tape a left it in a filing cabinet. Yet, that is all you > >> can > >> get out of the timeless world of Plato's heaven (programme vs > >> process).

Re: RITSIAR (was Numbers, Machine and Father Ted)

2006-11-09 Thread Bruno Marchal
Le 03-nov.-06, à 15:06, 1Z a écrit : > We don't *have* to assume that there is a gulf between the first > personal > and third personal. A gulf? Do you agree there is at least a difference? Bruno http://iridia.ulb.ac.be/~marchal/ --~--~-~--~~~---~--~~ You

Re: Numbers, Machine and Father Ted

2006-11-09 Thread Bruno Marchal
Le 31-oct.-06, à 19:37, 1Z a écrit : > Well, I think numbers don't exist AT ALL I have not the slightest idea what you mean by that. Your longer "metaphysics" post begs many of the questions addressed in this list. Personally: I have no theory, just an argument showing that if we take the

Re: Numbers, Machine and Father Ted

2006-11-09 Thread Bruno Marchal
Peter Jones (1Z) a écrit : >> Most people would not say "yes doctor" to a process that recorded >> their >> brain on a tape a left it in a filing cabinet. Yet, that is all you >> can >> get out of the timeless world of Plato's heaven (programme vs >> process). Why? Plato's heaven is full of