> On 20 Jun 2018, at 04:02, John Clark <[email protected]> wrote: > > On Sun, Jun 17, 2018 at 9:27 AM, Jason Resch <[email protected] > <mailto:[email protected]>> wrote: > > >Below is some Python code...[blah blah] John Clark often tells Bruno > mathematical truth won't put Intel out of business > > Yes, I have been known to say that from time to time. > > > but > > But?! This code can *can" put Intel out of business without even being run > on a computer? > > > this case, (more than any other I have seen), leads me to believe that > mathematical truth does embody computation. No physical computer is > necessary for these computations to exist, only for us to access it. > > Computations are required even to access an item on a list,
A physical computation is required for a physical observer to get a result, but that remains true when the physical computation + the observer are themselves the product of a computation, and that one can be arithmetical or diophantine, without the observer being able to notice that. > of course a Intel microchip is not the only thing that can do calculations, > the human brain can too, but they both have one thing in common, they are > both made of atoms that obey the laws of physics. Yes, but you are talking about physical computation. But with mechanism, the physical computations emerges from the first person indeterminacy on all (relative) computations. What you say remains true for the physical computations, but there are not a primitive notion. No need for atoms or physical laws, as those are emerging patterns in the first person (plural) observables. 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
