Good explanation, Professor Marchal, so Comp is the same thing as what Roboticist, Hans Moravec wrote about 25 years ago? Followup question. Does Comp provide any conceptualization for, bluntly, stating it, resurrection of those who perished, shall I say, 100,000 years ago? A Denisovian, or a Neanderthal, perhaps? No, is an acceptable answer, but I am always interested in crap like that.
Sincerely, Mitch -----Original Message----- From: Bruno Marchal <[email protected]> To: everything-list <[email protected]> Sent: Sat, Dec 7, 2013 3:51 pm Subject: Re: How can a grown man be an atheist ? On 07 Dec 2013, at 17:37, John Clark wrote: On Sat, Dec 7, 2013 Bruno Marchal <[email protected]> wrote: > Comp-I = Comp-Immortality. I know what a bull is and I know what shit is so I know what bullshit is. I know what immortality is but I don't know what comp is so I don't know what comp-Immortality is. Fair enough. Comp is the belief (hope, assumption, theory) that you can survive when saying yes to a doctor who proposed to you a digital computer brain transplant. (to use computer science, I add the classical Church thesis. This entails that computations are arithmetical objects (indeed sigma_1 arithmetical). Universal machine cannot know which universal machine bears them, but they can know that below their substitution level, there can only be an indetermination among infinities of competition between infinitely machines (due to the first person invariance for delayed reconstitution (step 2!) . Of course to get this, you should put your shoes in the first person picture, and stay in it for awhile, to finish the step 3, as here we use step seven and eight. Universal machine cannot distinguish "physical implementation" from any diophantine or computable approximation or histories. Comp immortality just takes into account the FPI on the whole sigma_1 complete arithmetical reality. This is testable, notably by looking if that FPI on a sigma_1 complete set provides a first person plural quantum computer. At first sight, from a formal logical view point, it seems it might. Bruno John K Clark -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out. http://iridia.ulb.ac.be/~marchal/ -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
