On 07 Dec 2013, at 22:28, spudboy...@aol.com wrote:
Good explanation, Professor Marchal, so Comp is the same thing as
what Roboticist, Hans Moravec wrote about 25 years ago?
He missed the FPI, the reversal, etc. He remains physicalist. But he
made some point in the good direction, as Daniel Galouye saw this
earlier, and arguably the Hindo-Greek, like in "the question to King
Milinda" ).
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.
It depends on us. if we have educated our children in some way, we
might add up to the probability of retrieving the souls of the past,
so that our (and neanderthal) "after-life" here and now (when we die)
can depend on that teaching. I mean that this is not entirely
excluded, and it might only be a postponing of the comp Nirvana, in
case it exists, and comp is true.
Bruno
Sincerely,
Mitch
-----Original Message-----
From: Bruno Marchal <marc...@ulb.ac.be>
To: everything-list <everything-list@googlegroups.com>
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 <marc...@ulb.ac.be> 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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-
l...@googlegroups.com.
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 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.
--
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.
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 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.