Re: Bruno's Thesis

2005-05-12 Thread Bruno Marchal
Le 12-mai-05, à 19:33, Peter D Jones a écrit :
but physics is a subset of Platonia -- our space has 3 macroscopic
dimensions. Platonia contains spaces of every dimensionallity.
I think it is misleading to consider physics as a subset of Platonia. 
As it is misleading to consider physical evoultion as one computational 
history among all comp histories. With the comp hyp, at least, physics 
can be shown to have a much more deep relationship with mathematical 
Platonia. Physics really emerges from the whole platonia structure, and 
like you are obliged to take into account all possible path of an 
electron to compute the probability that it will strikes some region on 
a screen, with comp you are obliged in fine to take into account all 
the topology space can take, and then also all possible fine grained 
logical consistent computational histories.

An *image* which is related is that Platonia is an abstract  volume and 
physics is the border of that volume as seen from its interior. Physics 
would be a sort of derivative of "psychology" (computer science), and 
psychology would be some integral of physics. But at this stage it is 
only an analogy, which could hardly be made more precise without being 
much more technical. What I want to say is that the physical world is 
not just a part of platonia, it is mathematically related to the global 
structure of that Platonia.

Bruno
http://iridia.ulb.ac.be/~marchal/



Re: Bruno's Thesis

2005-05-09 Thread Bruno Marchal
Le 09-mai-05, à 00:13, Lee Corbin wrote (FOR list)
Bruno writes
Le 07-mai-05, à 09:33, Bill Taylor a écrit :

COMP has three parts:


...
3) The assumption, in cognitive science, that there is
   a level of description of my parts (whatever I
   consider myself to be) such that I would not be
   aware of any experiential change if a functionally
   correct digital substitution is done of my parts
   at that level.
<<<
but that (3) is highly  dubious, being a pious hope
rather than anything supported by evidence.
I could agree with you. My point is that it is non trivial,
due to incompleteness, and that it is amenable to experimental
and mathematical scrutiny.
Your aim has been, and for all I know you have succeeded, in
placing this beyond the reach of philosophy (in a certain sense)
and trying to place it all on a firm mathematical foundation.
Good luck.

Thanks. That's an important point. My original goal was just to show to 
scientist that the so-called "Mind-Body problem" is just not yet 
solved, and that it is amenable to verifiable Popperian scientist 
formulation.


But as a merely philosophic claim, it has, like I was saying,
an old pedigree.

Absolutely. I have found prechristian  indian text  reasoning quite 
rigorously on "comp". It's also in Chineese taoist text (Tchoang Tseu, 
Lie Tseu). It is as old as tools ...


By the way, Bill does not seem to have stated so explicitly,
but isn't it also a part of your claim---a vital part---that
we're just bit strings in Platonia, nothing more,

That is a slightly misleading way to put the things. Obviously I am not 
a string of bit (with I = "my first person view")
 nor am I a collection of interacting particle ... All that are third 
person view (the first in platonia, the second in physics ...).  As I 
said, the 1 person is not reductible to any 3-person view. But with the 
comp hyp made explicit, by some "meta-reasoning" it is possible to 
associate a quite explicit logic on machine explaining the existence of 
those things which have no 3-person description (but yet 
"meta-describable" through the comp hyp). This is related to subtle 
feature of machine self-reference.


nothing
less, and that our good old 3D universe operating through
time really reduces to Platonia, and to bit strings without
*activity* (the latter depending for its meaning on *time*)?
That latter point is all that I have a problem with, the
above claims 1, 2, and 3 all seeming unexceptional.

The utimate 3-view is indeed probably static (but once things are 
technical you will see that there are many open problems). We will come 
back on this.

Bruno

http://iridia.ulb.ac.be/~marchal/