What part of physics is not computable?
-----Original Message----- From: Bruno Marchal <[email protected]> To: everything-list <[email protected]> Sent: Thu, Jun 25, 2015 3:51 am Subject: Re: A riddle for John Clark On 25 Jun 2015, at 04:15, spudboy100 via Everything List wrote: But what of pancomputationalism? On what "pan" is applied? If "pan" is large and contains whatever is not me, then that is provably non computational. If "I am a machine" (exactly: if my 3-self is Turing emulable) then Not-Me is not a machine. Only a tiny part of the arithmetical truth is Turing emulable. Most machine's property are not Turing emulable. I showed this for the predicate "being the code of a total computable function": this is not computably solvable. Is the physical reality pancomputable. Normally no. Its computable aspect might be a problem for comp, except that physics does contain non computable aspects too, of the same kind as the FPI (the wave collapse, for example). So even the physical is plausibly not entirely computable, but this can be approximated in comp by lowering the substitution level enough. Bruno Sent from AOL Mobile Mail -----Original Message----- From: John Clark < [email protected]> To: everything-list < [email protected]> Sent: Wed, Jun 24, 2015 08:57 PM Subject: Re: A riddle for John Clark On Wed, Jun 24, 2015 Quentin Anciaux <[email protected]> wrote: > neither will contain "I see Moscow and I see Washington" Yes, and because John Clark HAS BEEN DUPLICATED and there are now two John Clarks it would not be expected that just one interview would settle the question of what cities John Clark saw. The first interviewee says "I am John Clark and I see Moscow". The second interviewee says "I am John Clark and I see Washington". So Quentin, from the above information even a man with a room temperature IQ such as yourself should be able to answer the question " what cities did John Clark see?". > If you could quit the list with your horses that would be really cool You make it clear that if I quit the list it would make you very happy, therefore I will not quite the list. You're a lousy psychologist, you should have said you'd cry like a baby if I quit the list. 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/d/optout. -- 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/d/optout. 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/d/optout. -- 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/d/optout.
