RE: first person indeterminacy vs predictability

2011-03-08 Thread Digital Physics
As you suggested, I tried to check the archive to make sense of your replies, but I utterly failed. The archive seems to be full of unexplained terminology as well. In your opinion, which previous messages provide justifications of your claims on finite random strings and white rabbit

Re: Chalmers and The Computational Hypothesis

2011-03-08 Thread Andrew Soltau
On 06/03/11 17:32, Bruno Marchal wrote: On 06 Mar 2011, at 14:17, Andrew Soltau wrote: On 07/02/11 15:22, Bruno Marchal wrote: Chalmers defines a 'Computational Hypothesis' You might attribute this to Putnam or Fodor, or many others, including Galouye. That's CTM. I argue that the

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread Andrew Soltau
On 06/03/11 18:07, Bruno Marchal wrote: Hi Andrew, On 06 Mar 2011, at 14:14, Andrew Soltau wrote: Hi Bruno On 05/03/11 14:46, Bruno Marchal wrote: On 04 Mar 2011, at 20:10, Andrew Soltau wrote: I remind you that we are in the everything list which is based on the idea that everything is

Re: first person indeterminacy

2011-03-08 Thread Andrew Soltau
On 06/03/11 18:47, Bruno Marchal wrote: On 06 Mar 2011, at 14:16, Andrew Soltau wrote: On 05/03/11 14:46, Bruno Marchal wrote: Chalmers told me that first person indeterminacy does not exist, and not much more, and Bitbol never reply to me when I sent him my PhD. I am still not sure if I

Re: comp reversal, at the UDA step seven

2011-03-08 Thread Andrew Soltau
On 06/03/11 19:17, Bruno Marchal wrote: On 06 Mar 2011, at 14:16, Andrew Soltau wrote: Hi Bruno On 05/03/11 14:46, Bruno Marchal wrote: BTW, you did not answer my last point on the comp reversal, at the UDA step seven. From that previous email Step seven itself shows the reversal

Re: Comp

2011-03-08 Thread Andrew Soltau
On 06/03/11 19:24, Bruno Marchal wrote: On 06 Mar 2011, at 14:16, Andrew Soltau wrote: On 07/02/11 15:22, Bruno Marchal wrote: Comp makes precise that saying to be a machine is equivalent with saying that there is a level of functional substitution where my (first person) consciousness is

Re: Movie cannot think

2011-03-08 Thread Andrew Soltau
On 06/03/11 19:45, Bruno Marchal wrote: On 06 Mar 2011, at 14:18, Andrew Soltau wrote: On 07/02/11 15:22, Bruno Marchal wrote: I have debunked more than once on this list the idea that a movie can think. (It is an error akin to the confusion between a number and a gödel number of a number,

Re: Logical types

2011-03-08 Thread Andrew Soltau
On 06/03/11 20:06, Bruno Marchal wrote: On 06 Mar 2011, at 14:24, Andrew Soltau wrote: On 05/03/11 14:46, Bruno Marchal wrote: I appreciate your point on the logical types. Now, to base them on a physics, taken a priori, will prevent the solution of the computationalist mind body problem.

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread Andrew Soltau
On 06/03/11 15:06, 1Z wrote: On Mar 4, 5:46 pm, Andrew Soltauandrewsol...@gmail.com wrote: The measurement problem is the question of why, or even if, collapse occurs. Certainly no coherent concept of how and why collapse occurs has been formulated in a manner which meets with general

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread Andrew Soltau
On 06/03/11 15:19, 1Z wrote: On Mar 4, 7:10 pm, Andrew Soltauandrewsol...@gmail.com wrote: I remind you that we are in the everything list which is based on the idea that everything is simpler than something. If we take Chalmers and Bitbol seriously, consciousness is a perfectly symmetrical

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread Andrew Soltau
On 06/03/11 15:22, 1Z wrote: On Mar 4, 8:12 pm, Andrew Soltauandrewsol...@gmail.com wrote: On 04/03/11 19:10, Brent Meeker wrote: Collapse appears to instruments as well as people We don't have any evidence for that, Of course we do That was a rather blanket statement. But if we can

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread Andrew Soltau
On 06/03/11 15:27, 1Z wrote: Clearly it is a universal property of the system in which we find ourselves, physical or arithmetical. One philosopher saying something doesn't make it clear Indeed. Clearly, in this case, it is a universal property of the system in which we findourselves,

Re: Comp

2011-03-08 Thread Andrew Soltau
Hi John On 06/03/11 21:10, John Mikes wrote: A problem (in my mind) about compute: does 'computing' include an evaluation of the result automatically, *_by the device itself_*, or does it need a /*_thinking mind_*/ to valuate the computation? Does 'comp' */_act_/* upon the result of its own

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread 1Z
On Mar 8, 1:02 am, David Nyman da...@davidnyman.com wrote: On 8 March 2011 00:11, 1Z peterdjo...@yahoo.com wrote: It's rather well known that reductivism and eliminativism are not equivalent positions, for instance. snip And reductive identity theorists say mind is a bunch of micro

Re: first person indeterminacy vs predictability

2011-03-08 Thread Bruno Marchal
On 08 Mar 2011, at 09:23, Digital Physics wrote: As you suggested, I tried to check the archive to make sense of your replies, but I utterly failed. The archive seems to be full of unexplained terminology as well. In your opinion, which previous messages provide justifications of your

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread 1Z
On Mar 8, 11:32 am, Andrew Soltau andrewsol...@gmail.com wrote: On 06/03/11 15:06, 1Z wrote: On Mar 4, 5:46 pm, Andrew Soltauandrewsol...@gmail.com  wrote: The measurement problem is the question of why, or even if, collapse occurs. Certainly no coherent concept of how and why collapse

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread Bruno Marchal
On 07 Mar 2011, at 21:48, David Nyman wrote: On 7 March 2011 15:56, Bruno Marchal marc...@ulb.ac.be wrote: Reduction is not elimination snip Ontological reduction does not necessarily entail epistemological *elimination*, but it does entail ontological *elimination*. Bruno, this is

Re: Reversal without primary matter elimination (step 7)

2011-03-08 Thread Bruno Marchal
On 07 Mar 2011, at 19:29, Brent Meeker wrote: On 3/7/2011 1:11 AM, Bruno Marchal wrote: On 06 Mar 2011, at 20:21, Brent Meeker wrote: On 3/6/2011 5:07 AM, 1Z wrote: The way I see it the MG consciousness would not be conscious of any world except the virtual world of the MG, which is

Re: Comp

2011-03-08 Thread 1Z
On Mar 8, 11:10 am, Andrew Soltau andrewsol...@gmail.com wrote: On 06/03/11 19:24, Bruno Marchal wrote: On 06 Mar 2011, at 14:16, Andrew Soltau wrote: On 07/02/11 15:22, Bruno Marchal wrote: Comp makes precise that saying to be a machine is equivalent with saying that there is a

Re: Reversal without primary matter elimination (step 7)

2011-03-08 Thread 1Z
On Mar 8, 12:46 am, Brent Meeker meeke...@dslextreme.com wrote: On 3/7/2011 4:15 PM, 1Z wrote: On Mar 7, 8:28 pm, Brent Meekermeeke...@dslextreme.com  wrote: On 3/7/2011 12:01 PM, 1Z wrote: On Mar 7, 6:29 pm, Brent Meekermeeke...@dslextreme.com    wrote: On 3/7/2011 1:11 AM,

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread 1Z
On Mar 8, 11:47 am, Andrew Soltau andrewsol...@gmail.com wrote: On 06/03/11 15:22, 1Z wrote: On Mar 4, 8:12 pm, Andrew Soltauandrewsol...@gmail.com  wrote: On 04/03/11 19:10, Brent Meeker wrote:  Collapse appears to instruments as well as people We don't have any evidence for that,

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread 1Z
On Mar 8, 1:43 pm, Bruno Marchal marc...@ulb.ac.be wrote: On 07 Mar 2011, at 21:48, David Nyman wrote: On 7 March 2011 15:56, Bruno Marchal marc...@ulb.ac.be wrote: Reduction is not elimination snip Ontological reduction does not necessarily entail epistemological *elimination*,

Re: Movie cannot think

2011-03-08 Thread Brent Meeker
On 3/8/2011 3:14 AM, Andrew Soltau wrote: What I am driving at here is the same question as in the email Comp. Granted that all possible states exist, what changes the point of the present moment from one to another. My referring to 'the thinker' was probably not a helpful metaphor. Given the

Re: Reversal without primary matter elimination (step 7)

2011-03-08 Thread Brent Meeker
On 3/8/2011 6:21 AM, 1Z wrote: Up to a point. But if the faking deviated very far from perceptions of this world the BIV would no longer be able to process them. We casually talk of white rabbits on this list, which are perfectly understandable things and are really of this world (e.g.

Re: Reversal without primary matter elimination (step 7)

2011-03-08 Thread 1Z
On Mar 8, 4:45 pm, Brent Meeker meeke...@dslextreme.com wrote: On 3/8/2011 6:21 AM, 1Z wrote: Up to a point.  But if the faking deviated very far from perceptions of  this world the BIV would no longer be able to process them.  We casually  talk of white rabbits on this list, which

Re: Reversal without primary matter elimination (step 7)

2011-03-08 Thread Brent Meeker
On 3/8/2011 9:36 AM, 1Z wrote: On Mar 8, 4:45 pm, Brent Meekermeeke...@dslextreme.com wrote: On 3/8/2011 6:21 AM, 1Z wrote: Up to a point. But if the faking deviated very far from perceptions of this world the BIV would no longer be able to process them. We

Re: Reversal without primary matter elimination (step 7)

2011-03-08 Thread Brent Meeker
On 3/8/2011 9:36 AM, 1Z wrote: On Mar 8, 4:45 pm, Brent Meekermeeke...@dslextreme.com wrote: On 3/8/2011 6:21 AM, 1Z wrote: Up to a point. But if the faking deviated very far from perceptions of this world the BIV would no longer be able to process them. We

Re: Reversal without primary matter elimination (step 7)

2011-03-08 Thread 1Z
On Mar 8, 6:48 pm, Brent Meeker meeke...@dslextreme.com wrote: On 3/8/2011 9:36 AM, 1Z wrote: On Mar 8, 4:45 pm, Brent Meekermeeke...@dslextreme.com  wrote: On 3/8/2011 6:21 AM, 1Z wrote: Up to a point.  But if the faking deviated very far from perceptions of   this world the

Re: STEP THREE (was Re: ON THE THEORY OF EVERYTHING was Another TOE short paper)

2011-03-08 Thread Brent Meeker
On 3/8/2011 10:41 AM, Bruno Marchal wrote: We could start with lambda terms, or combinators instead. A computation (of phi_4(5) is just a sequence phi_4^0 (5) phi_4^1 (5) phi_4^2 (5) phi_4^3 (5) phi_4^4 (5) phi_4^5 (5) phi_4^6 (5) ... _4 is the program. 5 is the input. ^i is the ith

Re: Reversal without primary matter elimination (step 7)

2011-03-08 Thread Brent Meeker
On 3/8/2011 10:55 AM, 1Z wrote: On Mar 8, 6:48 pm, Brent Meekermeeke...@dslextreme.com wrote: On 3/8/2011 9:36 AM, 1Z wrote: On Mar 8, 4:45 pm, Brent Meekermeeke...@dslextreme.comwrote: On 3/8/2011 6:21 AM, 1Z wrote: Up to a point. But if

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread David Nyman
On 8 March 2011 12:16, 1Z peterdjo...@yahoo.com wrote: There are uncontroversial examples of successful reduction, eg the reduction of heat to molecular motion. In these cases the reduced phenomenon still exists. There is still such a thing as heat. People who sincerely think mind is

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread 1Z
On Mar 8, 9:15 pm, David Nyman da...@davidnyman.com wrote: On 8 March 2011 12:16, 1Z peterdjo...@yahoo.com wrote: There are uncontroversial examples of successful reduction, eg the reduction of heat to molecular motion. In these cases the reduced phenomenon still exists. There is still

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread David Nyman
On 8 March 2011 23:42, 1Z peterdjo...@yahoo.com wrote: How can they fail to be composite when they include interactions, structures and bindings? What ***are*** you on about? Say there is a pile of bricks that, under some externally-applied description, could be construed as a house; then that

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread 1Z
On Mar 9, 1:03 am, David Nyman da...@davidnyman.com wrote: On 8 March 2011 23:42, 1Z peterdjo...@yahoo.com wrote: How can they fail to be composite when they include interactions, structures and bindings? What ***are*** you on about? Say there is a pile of bricks that, under some

Re: STEP THREE (was Re: ON THE THEORY OF EVERYTHING was Another TOE short paper)

2011-03-08 Thread Bruno Marchal
On 08 Mar 2011, at 20:11, Brent Meeker wrote: On 3/8/2011 10:41 AM, Bruno Marchal wrote: We could start with lambda terms, or combinators instead. A computation (of phi_4(5) is just a sequence phi_4^0 (5) phi_4^1 (5) phi_4^2 (5) phi_4^3 (5) phi_4^4 (5) phi_4^5 (5) phi_4^6 (5) ...

Re: ON THE THEORY OF EVERYTHING was Another TOE short paper

2011-03-08 Thread Bruno Marchal
On 08 Mar 2011, at 15:54, 1Z wrote: On Mar 8, 1:43 pm, Bruno Marchal marc...@ulb.ac.be wrote: On 07 Mar 2011, at 21:48, David Nyman wrote: On 7 March 2011 15:56, Bruno Marchal marc...@ulb.ac.be wrote: Reduction is not elimination snip Ontological reduction does not necessarily