On Tue, Feb 16, 2016 Bruno Marchal <[email protected]> wrote: > > for > > the afterlife question, the fact that primary matter exist is relevant.
Untrue. Matter may or may not be primary, but the evidence is overwhelming that it's needed for intelligence and consciousness . > > > If it exist and play some role, it is better to say "no" to the digitalist > surgeon. > Untrue. Matter almost certainly is needed but we know for a fact that particular matter used is not important because hydrogen atoms constantly go in and our of our brains and bodies yet we still feel like we're the same person. As far as the question of consciousness is concerned the primacy of matter is irreverent but its generic nature is not. >>> >>> PA proves ~(2+3= 7), without any need of primary matter. >> >> >> >> Who has Mr. PA proven that to? >> > > > To us, we might say. And we have brains made of matter that obeys the laws of physics. > > But PA proves to itself, no matter what. One way to tell the difference between between interesting insights and vacuous philosophical statements is to ask what would change if the statement was not true . So h ow would things change if that w ere not the case and Mr. PA was not completely convinced that the proof was valid ? >> >> Do you doubt that 2^57,885,161 − 1 is prime or do you doubt that John >> Clark >> >> was informed that 2^57,885,161 − 1 is prime? > > > > > I doubt that you can verify this by doing a physical computation. You're a little behind the times: http://www.mersenne.org/primes/?press=M57885161 > > We are born immortal, if comp is true. I don't care. Even if I never d i e and li v e forever there will never be a ti me when I'm interested in "comp". > it can be justified by any Löbian machine > Maybe that's true and any old Löbian machine lying around would justify things, but unfortunately nobody except you knows want Löbian machine is. And I'm no so sure about you. 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
