Rép : UDA, Am I missing something?

2005-07-12 Thread Bruno Marchal

Le 11-juil.-05, à 19:37, [EMAIL PROTECTED] a écrit :



Actually this particular quote seems to present consciousness as the 
ontological counterpart to the epistemological "fundamental 
psychology", just as matter is considered the ontological counterpart 
to epistemological "fundamental physics".
So "psychology" is our way of thinking about consciousness, just as 
"physics" is our way of thinking about matter.



OK




So the statement "...physics is...reducible to psychology" is 
basically saying "our way of thinking about matter is reducible to our 
way of thinking about consciousness", or "physics is reducible to our 
way of thinking about consciousness".




No No. I mean by (correct) physics the (correct) laws predicting or 
even explaining our most probable history, and this by remaining 
invariant through that history. Today it is believed that it is Quantum 
Mechanic (under the form of Standard Model, String Theory or Loop 
gravity) A priori it could be completely independent of our way of 
thinking about anything. And I believe it is so. And with comp it is so 
because the laws of physics are given by a type of statistics on 
("turing machine", i.e. mathematical) computations, which are as 
independent of ourselves as the elementary arithmetical truth can be.
This influences "our way of thinking" as much as our ways of thinking 
will filters possible first person realities.
I f you want I am a Platonist even about Physics. It is just that I 
don't believe (playing the game of believing or assuming comp) that 
Physics describes a primitive reality. With comp the laws of physics 
and the physical world's emerges from a purely mathematical statistics 
bearing on a notion of "first person" computation. And this notion can 
be made purely mathematical. And so the comp hyp is made entirely 
testable. And then I have tested it and comp succeeds the first main 
test in the sense it predicts a non boolean statistics having some 
quantum features (including the most important one giving rise to some 
arithmetical interpretation of quantum logic).

Bell's inequality Violation? many evidence for, but still open problem
Laws of physics are completely reversible? idem
Quantum cloning? idem
Quantum computing? idem.
Most of those questions can easily been "asked to a self-observing 
Lobian machine", and it can be proved that for those question the 
machine knows and can communicate the answer, but currently they are 
non-tractable. Normally one of those logic must be intractable and 
``quantum speedable" (the one which *is* physics, in a sense).


I reduce physics not so much on consciousness, but on theoretical 
computer science.
What can machine proves and guess about their 
(first-person-UD-accessible) consistent extensions. I could argue that 
consciousness is a sort of bet there is a "model" of oneself, a world.


(Note that logicians use the word "Model" in an opposite sense of the 
physicist's usage. Logicians use the term "model" in the same sense as 
the painters: "model" is for (intended) "realities" we always describe 
or capture partially by our theories (painting). it is better to use 
the word "world" probably, or even just observer-moment?)







Tom>> Is not your use of the word "discourse", even though it is a > 
"correct-by-definition discourse", and also your use of the words > 
"observable" and "verifiable", meant to portray something that can be 
> observed by, imagined by, and encoded into our consciousness?  So is 
> not your assumption that we can fit this "fundamental/perfect 
physics"

into our consciousness? 

 
Bruno>> Yes if by "our" you refer to the lobian machines. But if you 
mean by it "human" then it is a big anthropomorphism. Also I avoid the 
term "consciousness". Eventually consciousness will be linked to 
automatic (unconscious!) inference of self-consistency from some 1 
person point of view. 


Tom: I guess I'll have to ponder this more.  In general I am 
uncomfortable with having terms like "physics" and 
"psychology/consciousness" defined (redefined?) later on in an 
argument rather than at the beginning.




That is a little bit curious because in SANE I *exceptionally* do give 
the "new" definitions at the beginning. And this asks me a specially 
hard effort. My initial goal was just to help people to understand by 
themselves that the "mind-body problem" is NOT YET solved. I did say 
"universal dovetailer paradox" instead of "universal dovetailer 
argument". Same for the movie graph. I just ask questions in succession 
and if you say yes at each steps you get the conclusion. Like always in 
logic, making a paradox precise makes you get a theorem.





 In such a setting, I find it very difficult (impossible?) to get a 
grasp of what your hypotheses are.




It is the hypothesis that we are machines. It is as old as machines. It 
is discussed in the "question of Milinda" which relates some shock 
waves between India and Greece on fundamental question after Plato. I

Rép : UDA, Am I missing something?

2005-07-09 Thread Bruno Marchal

Le 07-juil.-05, à 23:04, [EMAIL PROTECTED] a écrit :



Bruno,

After reading your Universal Dovetailer Argument (UDA) and I?d like to 
give you my reaction.



Thanks,




It seems to me that the trick is hidden in your assumptions.




Certainly. In a mathematical theory the theorems are always "hidden" in 
the axioms.





 I think you?ve even stated that before (using ?embedded? rather than 
?hidden?), referring especially to comp.  But I?d say that the trick 
is hidden in your assumptions about the universe or ?physical 
reality?.  It is the assumption that ?physical reality? is limited to 
what we can imagine (?communicable physical laws?, with emphasis on 
communicable) and sense (?incommunicable physical knowledge?) it to 
be, i.e. in our conscious brains.



Be careful. At that stage I don't necessarily have conscious brain. 
Actually I don't have brain, which are physical object and physics is 
not yet derived from the relation between numbers.




  This is stated in your definition of ?Fundamental Physics? as being 
?the correct-by-definition discourse about observable and verifiable 
anticipation of possible relatively evolving quantities and/or 
qualities.?



This is a very neutral definition of a "perfect physics". At that stage 
the "correct physics" could still be even a Newtonian physics, like 
"there is universe and objects in it obey such and such laws. At that 
stage, that could be the correct physics. In the word "discourse" I 
include its intended meaning. It can still be a physicalist discourse! 
But then, through comp, physicalism will be jeopardized in a completely 
testable way.





So if A=?physical reality? and B=?consciousness?, then the assumption 
is A=B.



This is much to vague. You identify physics and discourse. Put I said 
"correct discourse" and this includes the semantics (meaning) of the 
discourse.




 It seems that the rest is extraneous because with A=B you?ve already 
practically reached your conclusion, even without comp.



You would be right if I was defining literally physics by the physical 
discourse, but I define it by the correct discourse. It could be 
"string theory" or "QM", etc. Then comp shows we have no choice, and 
eventually the comp-physics is given by a precise things all lobian 
machine can find by introspection. To test comp we can then compare 
that "comp-physics" with the verified part of empirical physics. If the 
comp-physics predicts Bell's inequality cannot be violated then comp 
would be refutated, etc. This shows the rest is not extraneous.





Am I missing something?



You have make a confusion between "discourse" and "correct (by 
definition) discourse.
I know it is subtle (and many thanks to point to the fact that a 
misunderstanding can occur already there). I would say that by 
progressing in the UDA could help you to see this subtle point. When I 
translate the UDA in the language of a Lobian machine, a similar 
difficulty appears making at first sight believe that physics will just 
be the "classical tautologies" (and that would make physics, with comp, 
a purely geographico-historical matter, but then incompleteness entails 
it is not so, we get sort of quantum tautologies.


Bruno


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