Dear Bruno,

## Advertising

On Sat, Dec 28, 2013 at 4:54 AM, Bruno Marchal <marc...@ulb.ac.be> wrote: > > On 27 Dec 2013, at 17:51, Stephen Paul King wrote: > > Dear Bruno, > > > On Fri, Dec 27, 2013 at 11:11 AM, Bruno Marchal <marc...@ulb.ac.be> wrote: > >> >> On 25 Dec 2013, at 18:40, spudboy...@aol.com wrote: >> >> Are we not presuming, structure, or a-priori, existence of something, >> doing this processing, this work? >> >> >> >> In the UDA we assume a "Turing universal", or "sigma_1-complete" physical >> reality, in some local sense. >> > > > Could this "Turing universal/sigma_1-complete in a local sense" be the > exact criteria required to define the observations 3-experiences of > individuals or is it the 1-experiences of individuals (observers) in > keeping with the definition of an observer as the intersection of > infinitely many computations? > > > I think the UDA answers this question. You need Turing universality, but > also the FPI, which in some sense comes from mechanism, but not necessarily > "universality", which has, here, only an indirect relevance in the > definition of what is a computation in arithmetic. > I suspect that the FPI results from the "underlap" or failure to reach exact overlap between observers. As if a small part of the computations that are observers is not universal. This would effectively induce FPI as any one observer would be forever unable to exactly match its experience of "being in the world" with that of another. > > > > > > > > >> We need this to just explain what is a computer, alias, universal >> machine, alias universal number (implemented or not in a physical reality). >> Note that we do not assume a *primitive physical reality*. In comp, we >> are a priori agnostic on this. The UDA, still will explains that such >> "primitiveness" cannot solve the mind-body problem when made into a >> dogma/assumption-of-primitiveness. >> > > It has always seemed to me that UDA cannot solve the mind-body problem > strictly because it cannot comprehend the existence of "other minds". > > > UDA formulates the problem, and show how big the mind-body problem is, > even before tackling the "other minds" problem. But something is said. In > fact it is easy to derive from the UDA the following assertions: > > comp + explicit non-solipsism entails sharable many words or a core linear > physical reality. > I do not comprehend this. It is easy for us to "see" that solipsism is false, but how can a computation "see" anything? I do not understand how it is that you can claim that computations will not be solipsistic by default. > > But comp in fact has to justify the non-solipsism, and this is begun > through the > > nuance Bp & p versus Bp & Dt. Normally the linearity should allow the > first person plural in the "& Dt" nuance case. > Exactly! I am looking forward to the explanation of this " nuance Bp & p versus Bp & Dt". :-) > > Keep in mind that UDA does not solve the problem, but formulate it. AUDA > go more deep in a solution, and the shape of that solution (like UDA > actually) provides already information contradicting the Aristotelian > theology (used by atheists and the main part of institutionalized abramanic > religion). > Sure. My main worry is that your wonderful result obtains at too high a price: the inability to even model interactions and time. > > Bruno > > > > > >> >> Then in AUDA, keeping comp at the meta-level, I eliminate all assumptions >> above very elementary arithmetic (Robinson Arithmetic). >> >> The little and big bangs, including the taxes, and why it hurts is >> derived from basically just >> >> Kxy = x >> Sxyz = xz(yz) >> >> or just >> >> x + 0 = x >> x + s(y) = s(x + y) >> >> x *0 = 0 >> x*s(y) = x*y + x >> >> >> >> > http://iridia.ulb.ac.be/~marchal/ > > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Everything List" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/everything-list/sqWzozazMg0/unsubscribe. > To unsubscribe from this group and all its topics, 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. > For more options, visit https://groups.google.com/groups/opt_out. > -- Kindest Regards, Stephen Paul King Senior Researcher Mobile: (864) 567-3099 stephe...@provensecure.com http://www.provensecure.us/ “This message (including any attachments) is intended only for the use of the individual or entity to which it is addressed, and may contain information that is non-public, proprietary, privileged, confidential and exempt from disclosure under applicable law or may be constituted as attorney work product. If you are not the intended recipient, you are hereby notified that any use, dissemination, distribution, or copying of this communication is strictly prohibited. If you have received this message in error, notify sender immediately and delete this message immediately.” -- 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. For more options, visit https://groups.google.com/groups/opt_out.