I think that's the question Bruno's proof is designed to answer in the negative, a conclusion of which I have difficulty convincing myself. m.a.
----- Original Message ----- From: John Mikes To: everything-list@googlegroups.com Sent: Saturday, November 07, 2009 11:16 AM Subject: Re: request for glossary + announcement that the seventh step series thread will soon be resumed Marty, how about my weird question: "and if 1 is wrong and what he 'sees' as OA is only a replica of the OA and is WRONG? Is 'being a replica' a human priviledge? (Forget it!) John M On Fri, Nov 6, 2009 at 7:04 PM, m.a. <marty...@bellsouth.net> wrote: Bruno, Good to see you back! I have a question with reference to the experiment described in the first person indeterminacy paper. If, before the teleportation, the omniscient authority tells the subject that he will find a zero in his envelope, both subjects will expect to find a zero after the procedure, no? The subject who finds the 1, must inevitably conclude that he is in fact a duplicate since he trusts the OA implicitly and reasons that if he were the original (real) subject, he would be seeing a zero. Where is the flaw in my logic? marty a. ----- Original Message ----- From: Bruno Marchal To: everything-list@googlegroups.com Sent: Friday, November 06, 2009 11:45 AM Subject: Re: request for glossary + announcement that the seventh step series thread will soon be resumed Hi all, Welcome to fcy "Universal Dance Association" is quite cute :) A universal dance could be a Universal Dovetailer if "digital dance" could make sense. UDA (in this list) is for Universal Dovetailer Argument. You should google on this term, on the net or on the everything-list archive. You may look here also for references: http://groups.google.com/group/everything-list/web/auda A universal dovetailer is a program which generates and execute all possible programs. It is a mathematical object and its existence follows from the Post-Church-Turing thesis. The universal dovetailer argument is an argument which shows that the mechanist hypothesis leads to a notion of strong first person indeterminacy, and that eventually the laws of both physics and psychology/theology (quanta and qualia) have to be derived from "pure" number theory/computer science. If I succeed to explain UDA sufficiently well, I will be able to give some account of AUDA which is far more sophisticated, and useful only to get already quantitative physical information from numbers/computer science (as opposed to UDA which "just" show that physics has to be given by a first person measure on the computations occurring in the universal dovetailing). ---- Elsevier has asked me to write some topics on its SciTopics. You may take a look at http://www.scitopics.com/The_first_person_computationalist_indeterminacy.html http://www.scitopics.com/Godel_Mind_and_Machine.html Comments are welcomed. I let you know that I will have some more time for now (October was very heavy!). So it is time to ask questions for the thread "the seven step series" (which is about the seventh step of the UDA) before I proceed. I will make a little sum up next week. There has been more than five versions of UDA already send to the list, but I am not sure everyone understand, so please ask questions. All questions are allowed on this non moderate list, so feel free, to ask anything (related) to the everything-like approach in the search of a "TOE" (Theory of everything-including-consciousness-and-person (as opposed to the TOE of the physicians which search to unify only what is observable and third person describable). Marty, Kim, are you still there? Have you a problem with Cantor diagonal proof of the non enumerability of the set of functions from N to N (N^N)? Or do you prefer I explain this again in the sum up? On 05 Nov 2009, at 06:03, fcy wrote: As a newcomer to this group, there are many things I'm unable to follow, in detail, due to unfamiliarity with many of the acronyms. For instance, googling UDA turns up links related to the Ulster Defense Association, the Universal Dance Association, Urban Design Associates, and the United Dairymen of Arizona, none of which seem to be what's being discussed here. Thanks in advance, fcy 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 -~----------~----~----~----~------~----~------~--~---