> On 20 Jul 2019, at 15:22, John Clark <[email protected]> wrote: > > On Sat, Jul 20, 2019 at 4:54 AM Bruno Marchal <[email protected] > <mailto:[email protected]>> wrote: > > >> Where is the physical implementation? JavaScript needs hardware, without > >> that it's just a sequence of squiggles that can't calculate 2+2. A Turing > >> Machine IS hardware. > > > Of course not. The definition given by Turing is [...] > > The operation of a given diesel engine does not change if you change the > definition of a diesel engine, and the same holds true for the engine > designed by Mr.Turing. > > > a quintuplets > > A diesel engine can produce work, the thermodynamic equations describing the > operation of a diesel engine can not. A Turing Machine can make calculations, > but "a quintuplets" can not. > > > You can see an hardware computer as a abstract immaterial Turing machine > > There is nothing abstract or immaterial about a paper tape and a read/write > head, but everything is abstract and immaterial about a sequence of ASCII > characters in Lambda calculus.
Or about Turing quintuplets. You keep confusing a digital machine, its code, its physical implementation, … You are confused, and you are confusing the others. All universal machine are finite abstract set of quadruplets. The infinite tape and head “ are sort of super to make it easy to understand that the formalism imitate well a human doing a computation with a pen and paper. All Digital machine/number are finite object. The universal Turing machine is one special finite set of quadruplets. See Turing’ papers, or any books on this. 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/CAJPayv2MnBzSi27dU9LypDQk%3DKB0LXhQWND498QVOJUOomfy9g%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAJPayv2MnBzSi27dU9LypDQk%3DKB0LXhQWND498QVOJUOomfy9g%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/68B5BD3D-C85D-451E-8733-6FD048FF0C26%40ulb.ac.be.
