> On 29 Jul 2019, at 15:31, John Clark <[email protected]> wrote: > > On Mon, Jul 29, 2019 at 6:04 AM Bruno Marchal <[email protected] > <mailto:[email protected]>> wrote: >> > A Turing machine is a set of quintuplets. >> >> >>No it is not. > >It is the official definition. > > I don't know what official you're referring to but I do know that definitions > can't compute, not even official definitions. Only physical machines can > compute.
It is just plain obvious that a definition cannot compute. But a digital machine can compute with respect to a universal machinery, and what you seem to miss is that the model (the thing obeying to the definition/theory) of any Turing complete theory can compute, and elementary arithmetic has been shown to be Turing complete. > > > > The standard model of Arithmetic implements all computations, in the > > precise (and purely mathematical) sense of implementation. > > And ANY purely mathematical implementation of computation can only produce > phantom metaphysical calculations that are worthless because they can *do" > precisely NOTHING. If the “phantom” computation, that is, the person supported by some arithmetical computation, are not conscious, you need to explain the role of your primitive-ontological matter in consciousness. Then either that matter role is ... 1) ...not Turing emulable, and in that case you have to abandon Computationalisme, or 2) … is Turing emulable, but then that role is emulated in the arithmetical reality, and the “phantom computation” is conscious. 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 view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/CAJPayv0SSTHf9jwb-Cea1SftH9a%2B_NrSg%2B4YGMYrL1cQpL2e%3Dg%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAJPayv0SSTHf9jwb-Cea1SftH9a%2B_NrSg%2B4YGMYrL1cQpL2e%3Dg%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/9B97B665-01D8-42F2-BACF-14D746C017AA%40ulb.ac.be.
