Re: Some thoughts from Grandma

2007-07-13 Thread David Nyman
On 13/07/07, Brent Meeker [EMAIL PROTECTED] wrote: Brent, all that David is getting at is saying nothing reflexively exists without being observed. Observed in what sense? Consciously, by a conscious being? Or decoherred into a quasi-classical state, as in QM? Reflexive would seem to

Re: Asifism revisited.

2007-07-13 Thread Torgny Tholerus
Brent Meeker skrev: Bruno Marchal wrote: Le 09-juil.-07, 17:41, Torgny Tholerus a crit : ... Our universe is the result of some set of rules. The interesting thing is to discover the specific rules that span our universe. Assuming comp, I don't

Re: Asifism revisited.

2007-07-13 Thread Bruno Marchal
Le 12-juil.-07, à 18:43, Brent Meeker a écrit : Bruno Marchal wrote: Le 09-juil.-07, à 17:41, Torgny Tholerus a écrit : ... Our universe is the result of some set of rules. The interesting thing is to discover the specific rules that span our universe. Assuming comp, I

Re: Some thoughts from Grandma

2007-07-13 Thread Bruno Marchal
Le 12-juil.-07, à 16:27, David Nyman a écrit : On 12/07/07, Bruno Marchal [EMAIL PROTECTED] wrote: I try to avoid the words like reflexive or reflection in informal talk, because it is a tricky technical terms I tend to agree with what Brent said. Yes, I ended up more or less agreeing

Re: Some thoughts from Grandma

2007-07-13 Thread David Nyman
On 13/07/07, Bruno Marchal [EMAIL PROTECTED] wrote: I said in an earlier post that this amounted to a kind of solipsism of the One: IOW, the One would be justified in the view (if it had one!) that it was all that existed, and that everything was simply an aspect of itself. Yes, and

Re: Some thoughts from Grandma

2007-07-13 Thread Bruno Marchal
Le 13-juil.-07, à 17:02, David Nyman a écrit : But since the One is not what most people would consider a person (let alone a god), another term would be better. I wonder what? I think you are trying to give a name to what is unnameable (unless you are not lobian; even lobian

Re: Some thoughts from Grandma

2007-07-13 Thread David Nyman
On 13/07/07, Bruno Marchal [EMAIL PROTECTED] wrote: I think you are trying to give a name to what is unnameable (unless you are not lobian; even lobian non-machine cannot name it). Perish the thought. But I was referring to 'first person primacy', not 'the One'. Maybe something like the

Re: Asifism revisited.

2007-07-13 Thread Brent Meeker
Torgny Tholerus wrote: Brent Meeker skrev: Bruno Marchal wrote: Le 09-juil.-07, à 17:41, Torgny Tholerus a écrit : ... Our universe is the result of some set of rules. The interesting thing is to discover the specific rules that span our universe. Assuming comp, I

Re: Asifism revisited.

2007-07-13 Thread Brent Meeker
Bruno Marchal wrote: Le 12-juil.-07, à 18:43, Brent Meeker a écrit : Bruno Marchal wrote: Le 09-juil.-07, à 17:41, Torgny Tholerus a écrit : ... Our universe is the result of some set of rules. The interesting thing is to discover the specific rules that span our universe.

Re: Some thoughts from Grandma

2007-07-13 Thread Brent Meeker
Bruno Marchal wrote: Le 12-juil.-07, à 16:27, David Nyman a écrit : On 12/07/07, Bruno Marchal [EMAIL PROTECTED] wrote: I try to avoid the words like reflexive or reflection in informal talk, because it is a tricky technical terms I tend to agree with what Brent said. Yes, I ended up

A Natural Axiomatization of Church's Thesis

2007-07-13 Thread Jef Allbright
Apropos much discussion on this list, a new paper is available at ftp://ftp.research.microsoft.com/pub/tr/TR-2007-85.pdf Abstract: The Abstract State Machine Thesis asserts that every classical algorithm is behaviorally equivalent to an abstract state machine. This thesis has been shown to follow