On 04 Feb 2011, at 17:28, Johnathan Corgan wrote:

## Advertising

On Fri, Feb 4, 2011 at 7:20 AM, Bruno Marchal <marc...@ulb.ac.be>wrote:IF comp is correct, the SWE has to be deduced from comp, and not tobepostulated.How do you think this might be approached? You have demonstrated a chain of reasoning (MGA+AUDA)

I guess you UDA+MGA

that starts with the assumption of "yes doctor" and concludes that the subjective appearance (both 1st and 3rd person perspective) of physical matter must be explained by extracting digital physics from modal logic. (Forgive the perhaps oversimplified summary.) Let's assume, for the purposes of furthering the argument, that the above is all sound and reasonable. So what's next?

AUDA. The Arithmetical version of the UDA. Let us ask the self-referentially correct machine. What does she think?

`Now a correct machine cannot prove the existence of any consistent`

`extension of itself, still less of a universe. That would be a proof`

`of their own consistency and contradict incompleteness(*). So the`

`machine cannot know that the provability of p entails the consistency`

`of p (although that is true); G does not prove Bp -> Dp; but G* does`

`prove Bp -> Dp.`

`So, to transform provability into a measure one indeterminacy, from`

`the machine points of view, you have to define a new connector by`

`adding explicitly Dp to Bp: Bp & Dp.`

`To model comp and the UD itself in the language of the machine, you`

`have to restrict the arithmetical interpretation of p by the sigma_1`

`sentence.`

`Then you can verify that the logic of Bp & Dp obeys a quantum logic,`

`so that you can define a quantization (BDp, in the new logic).`

`If from that quantization you can implement a quantum computer (say)`

`then you know that a quantum computing dovetailing wins the measure`

`battle in the limit, and that the SWE is a law of observation for`

`almost all (correct) machine (all except those rare unlucky one living`

`in white rabbits realities).`

The SWE is exceptionally well supported empirically, so having it "fall out" of your reasoning rather than being postulated would be a very convincing argument in your favor.

`You mean a very convincing argument for *comp*, (assuming the UDA+MGA`

`is a valid reasoning). I agree. Finding an explicit equation of`

`physics contradicting the quantum would refute comp.`

`My paper on plotinus summarizes AUDA. It is also the part II of`

`sane04, where AUDA is called "the interview of the Löbian machine".`

Bruno

`(*) I assume here that the machine talks in first order predicate`

`logic (like PA, ZF). It is then a consequence of Gödel's completeness`

`(not incompleteness) theorem. But I don't need that really. It just`

`simplifies the exposition. I identify Dp with the existence of a`

`continuation where p is true (not necessarily with the existence of a`

`model (in the logician's sense) satisfying p. That is equivalent for`

`the machine talking first order language (Gödel's completeness`

`theorem, 1930).`

http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.