On Thu, Jun 4, 2015 , Bruno Marchal <[email protected]> wrote: > The point is just that the notion of computation, once you agree with > Church-Turing thesis, is made into a purely arithmetical notion. >
That is incorrect. The Church-Turing thesis says that a function on the positive and negative integers is computable if and only if it is computable on a Turing Machine; and if the Turing Machine is not made of matter that obeys the laws of physics then the "machine" is useless because it does absolutely positively nothing. > > You can define computable and finite piece of computation by one precise > combinators, or one precise number, or one precise diophantine polynomials, > etc. > YOU CAN'T MAKE A COMPUTATION WITH A DEFINITION!! > > You are the one invoking some God (Matter) capable of making some > computation more real than others. > It could not be clearer that some calculations ARE more real than others. Matter can make calculations that I can see, but your calculations are invisible; the transubstantiation in the Catholic Mass that turns bread and wine into the body and blood of Jesus Christ is also invisible. As I've said, being invisible and being nonexistent look rather similar > comp, explains the physical, from machine self-referential properties, > and so can be translated in arithmetic to give the proposition logic of > physics. > I don't care, I'm not interested in "comp". 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.
