On Fri, Jun 5, 2015 at 8:15 AM, Bruno Marchal <[email protected]> wrote:
> Turing machine are not made of matter, > If it's not made of matter then it's not a machine it's a "Turing Something" and it can't do a damn thing. > > and computation is definable in arithmetic, just using the symbol s, 0, > + * and the usual logical symbol. > YOU CAN'T MAKE A COMPUTATION WITH A DEFINITION!! > > But the point is that we don"t have to made them once you agree that > 2+2=4 does not depend on matter, > But I don't agree that must be true, it's the very point we're debating. If 4 physical things did not exist in the physical universe or even 2 I don't know if 2+2 would equal 4 or not and neither do you. If it does then mathematics is more fundamental if it doesn't then physics is. 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.
