On 3/10/2013 5:41 AM, Bruno Marchal wrote:

## Advertising

On 10 Mar 2013, at 09:31, Stephen P. King wrote:On 3/10/2013 4:02 AM, Bruno Marchal wrote:On 09 Mar 2013, at 21:37, Stephen P. King wrote:On 3/9/2013 6:57 AM, Bruno Marchal wrote:On 08 Mar 2013, at 13:58, Stephen P. King wrote (to Alberto Corona):We are machines, very sophisticated, but machines nonetheless anddoubly so!I don't think we know that.Hi Bruno,Of course "we don't know that for sure"... you are beingridiculous !This can only be an hypothesis, or a consequence of an hypothesis.Yes, of course. We can only have certainty within a theory witha proof, for your idea of "we know that". I understand...The same is true for the proposition "we are not machine".Is not p, of Bp&p, a hypothesis as well?Yes. But not at the same level.Hi Bruno, OK, what generates or requires the stratification into levels?To ask a machine about herself (like in self-duplication experiences),you need to represent the machine in the language available to themachine. This generates the stratification.

`This in not ontic as it implies an extension, as in: Machine X is`

`represented by machine X' which is represented by machine X'' which is`

`represented by ... And, some how X does not equal X """"""""""""""....`

Stephen P. King wrote (to me):But neither Bp nor Bp & p are ontological. Only p is is.Could you make a mental note to elaborate on how p isontological?I have fixed the base ontology with N = {0, s(0), s(s(0)), ...},with the usual successor, + and * axioms/laws.p is used for an arbitrary arithmetical proposition, at that baselevel, with its usual standard interpretation. It is ontologicalas opposed to epistemological proposition, which in this settingmeans "believed by some machine", and which I denote by Bp. Ofcourse, and that is what comp makes possible, Bp is also a purelyarithmetical proposition (beweisbar("p")), but they areepistemological because they involve a machine, and a propositioncoded in the machine language.When I write p, I allude to the arithmetical truth, whichdescribes the ontology chosen (the numbers, and the arithmeticalproposition with their usual standard interpretation). Then somearithmetical proposition are singled out as epistemologicalbecause they describe:- the "thinking" of some machine, like Bp, or- the knowledge of some machine, like Bp & p, or the observationof some machine like Bp & Dt, or- the feeling of some machine like Bp & Dt & p.See my papers for the precise morphisms, and the derivation of thecorresponding logics and mathematics. Or ask further question. Idon't want to be long.I wish that you could speak vaguely with us and be OK. Precisionhas its place and time but not here when our time to respond islimited.That's why I have done UDA, for all good willing humans, from age7 to 77, and AUDA, for all digital machines and humans knowinghow a digital machine work. Of course, the digital machine knewalready, in some (platonic) sense.You seem sometimes to forget that the children also havequestions for you to answer...???Why do you ever make statements like that. Nothing is more wrong.I have no clue why you make such ad hominem and completely absurdcomment.I love answer all genuine question, from 7 to 77, I just preciselysaid. This include children.But you demand too much exactness in a response, as youdemonstrate above.On the contrary. Children uses plain language.No, they use naive language. They do not assume that they knowwhat they do not know.And you do?

`How could I? Why do you think that if I do not know exactly the`

`language to answer your question then I must be some ...`

You give always too much precise answer but with a non relevantprecision. Here you were just wrong, but no matter how we try tomake the point, you will evade it by a 1004 move, an allusion, or onopinion assertion, making hard to progress.You are claiming that my question is incoherent. OK, let us movealong.No, I was claiming that you were wrong. You said I don't take intoaccount children, but I do.AUDA can be said to take into account all creatures, or all LĂ¶bianconsistent extensions of elementary arithmetic.

`So, I am not a creature included here, somehow, and yet my`

`existence is not a falsification of comp. Interesting, I am deluded`

`about being deluded about being deluded about being ... .`

Human can choose by themselves. Human are relative universalnumber by comp, even without step 8. Only a non-comp believershould be astonished.OK. "Human are relative universal number by comp..." Could youadd more detail to this answer? What is the 'relative' word mean?Relative to what?Either (according to the context):-relative to the base theory (the starting universal system thatwe assume. I have chosen arithmetic (after an attempt of chosingthe combinators, but people are less familiar with them), or-relative to a universal number, which is universal relatively tothe base theory, or-relative to a universal number, which is relative to a universalnumber, which is relative to the base theory, etc.Fine, could you consider how the general pattern of this can beseen in the isomorphisms of universal numbers?Which isomorphisms?Relations between universal numbers that are equivalences. Forexample, the universal number that encodes the statement X inlanguage B is isomorphic to the statement X in language A, iff B(X) =A(X) ...Either you explain your point in plain language, or if you use amathematical term, you explain it in standard math. The way you mixthem makes it not understandable for layman, and non sensical tomathematicians.

`I have the written equivalent of a stutter. Can you try to`

`comprehend that? Try harder to understand me. But why is it that I`

`understand comp perfectly, such that I understand how it is correct and`

`has an arithmetic body problem and ...`

Consider how many different languages humans use to describe thesame physical world, we would think it silly if someone made claimsthat only English was the 'correct' language. So too with mathematics.You confuse the content of mathematics and the language used. Themathematical reality has nothing to do with language.No, that is not my sin.Nice.My sin is that I do not know exactly now to communicate in your language.You attribute to me the idea that chalkboard don't exist. Did Iever said that?UDA Step 8.Many others have already told you this many times. UDA step 8concludes that chalkboard does not exist in a primary sense. Notthat chalkboard does not exist in the observable sense.OK, my point is that just as the chalkboard emerges so too dothe possible arithmetic representations of said chalkboard.That could make sense if you put the card on the table, and tellwhat you are assuming, and how the numbers emerge from it.You are actually asking that I know what to write before I havethe ability to write that you want me to write so that you canunderstand my thoughts. Nice burden to place upon me!*You* write something. If you don't know what you want to write, don'twrite, until you know.

`So I should be happy to remain ignorant and curious or better,`

`incurious of the body problem? No, never! Not ever!`

But it is has been proved that it has to be Turing equivalent, andso the base theory will just be another Turing universal system. Iuse arithmetic because people are already familiar with it.How, exactly is the claim "has it (all physical implementationsof comp) been proved that it has to be Turing equivalent"falsifiable? It requires that we examine every possible physicalworld without any guidance of what a "physical world" might be!This shows perhaps only that we should not even start assuming aphysical reality. We don't know if that exists (primarily), we havenever suggest a way to test it, and it brings unnecessary difficulties.

`Why is that? I don't have to 'assume any physical reality' at all.`

`It smashes me in the face every morning when I wake up. I don't have a`

`choice!`

They are co-dependent in my dual aspect theory.We don't use theory in the same sense. I have not yet seen a theory,in the usual sense of theory.So?So I fail to see what you mean. That would not be a problem, exceptthat you do assert some amount of dissatisfaction with either comp orits consequence, and you invoke a theory to explain this, but youdon't show the theory. What can I do for helping?

`Explain to me why are numbers more "real" than any physical`

`collection that is representable by some number? This would be a good`

`reason why numbers carry more ontic weight and necessity than a physical`

`object.`

I do not understand how you explain the emergence of the chalkboardexcept to refer to a vague "arithmetic body problem'.That's the whole object of my work and my post here. Physics isgiven by the S4Grz1, Z1* and X1* logic. But even without AUDA, theorigin of physics is entirely explained by the first personindeterminacy on the computations.No! An 'explanation' is not an explanation unless an arbitrarilylarge number of observers can agree that the model of the theory isexperienced by them, i.e. that it is 'real'.Up to now, comp gives the quantum physics, so that is the case thatthe theory is experienced by the observers.

`How? You have not shown why observables by multiple observers must`

`be mutually exclusive in most instances of a pair of observers. I claim`

`that it is not possible to prove this because there exists a pair of`

`ontological entities for any level where distinctions between them is`

`possible.`

And the explanation makes clear why it separates into qualia and quanta.How?I have explained this already. By the 1p that we got from the "& p"intensional variants + the spliiting between justifiable and true thatwe obtained from the splitting between G and G* intensional variant.We get a complete explanation why machines distinguishes truth thatthey can access and relation between beliefs that they can justify.

`OK, we do not disagree on those points, but we have not agreed on`

`what it means for a given machine to communicate its belief to another.`

You don't need to believe in comp to understand the theory.???You don't need to believe (as true) in any theory to understand thattheory. You need only to believe it as an hypothesis.

`I don't care about what I believe, I care about what I can`

`communicate with you and with LizR and with John and with Craig and with`

`Bill and with the moon, and with the electron in the Andromeda galaxy`

`and with ...`

That would instantaneously refutes comp. The conclusion is thatphysics is not the fundamental science, and that it is reduced toarithmetic. Not that physics is non sense. OIn the contrary, withcomp we see how a physical reality, even a quantum one, isunavoidable for almost all universal numbers.Yes, but can we try to restate this in a different form?Yes, we know that classical determinism is wrong, but it isnot logically inconsistent with consciousness.I must disagree. It is baked into the topology of classicalmechanics that a system cannot semantically act upon itself.? (that seems to contradict comp, and be rather 1004)You do not seem consider the need to error correct and adapt tochanging local conditions for a conscious machine nor the need tomaintain access to low entropy resources. Your machines are neverhungry.Take the Heisenberg matrix of the Milky way at the level ofstrings, with 10^1000 decimals. Its evolution is emulated byinfinitely many arithmetical relation, and in all of them a lot ofmachines are hungry, and many lack resources, and other do not.Now, such computation might not have the right first personindeterminacy measure, but in this case comp is false, and ifsomeone show that he will refute comp. But in all case, arithmetichandle all relative resources. So you it seems that you are notcorrect here.I think that the measure is determined locally by the number ofmachines that get fed versus the total number of possible machinesthat could be implemented in that location, very vaguely speaking.You escape again the point made.I escape purposely. I have learned from the best escape artists!The emulation of the Milky way (with 10^1000 decimals) demands aspecific quantity of resources to be run.Yes, but that is the kind of resources that is free in arithmetic. Itis not a physical resource.

`Then why is it that computations require computers to be plugged in`

`to give answers. By your account we should expect all stones to speak`

`truths! No need for a resource of time and memory or low entropy energy.`

This is not philosophy! In physics there is an upper bound on thequantity of computations that can occur in a given space-time hypervolume: Bekenstein's bound<http://www.scholarpedia.org/article/Bekenstein_bound>. This isignored in Platonism.Because the goal is in explaining physics.

`I don't need to explain physics, I experience a physical world`

`first hand. I need to explain how it is that some mind is so stubborn to`

`no wish to comprehend why it needs a body to have a conversation with`

`me. I am, after all, only an infinite number of computations in your`

`definitions...`

You said yourself that physics is not primitive, but you keepreferring to physical statements to criticize a theory which does notassume, and cannot assume physics. That is not consistent.

`It is only inconsistent to believe that numbers can be`

`ontologically primitive and physical worlds cannot be. I say that`

`neither numbers nor physical worlds can be ontologically primitive thus`

`I am not inconsistent.`

-- Onward! Stephen -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list?hl=en. For more options, visit https://groups.google.com/groups/opt_out.