> On 21 Jul 2019, at 17:45, John Clark <johnkcl...@gmail.com> wrote: > > On Sun, Jul 21, 2019 at 8:46 AM Bruno Marchal <marc...@ulb.ac.be > <mailto:marc...@ulb.ac.be>> wrote: > > > >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. > > Turing quintuplets are abstract and immaterial, a Turing Machine is not.
A Turing machine is a set of quintuplets. > > > You keep confusing a digital machine, its code, its physical > > implementation, … > > You keep confusing stuff that can *do* things You keep assuming that such things exists. That is not part of my assumption. When we do metaphyics with the scientific method, we must be as much agnostic as possible. > from stuff that can not. A sequence of ASCII characters can't *do* anything > unless it interacts with a brain made of matter that obeys the laws of > physics, and the exact same thing is true of digital machine code. Using Aristotle theology. Not only it is my favorite theology, but eventually, it is shown incompatible with the Digital Mechanist hypothesis. > Lambda Calculus and Turing quintuplets can't *do* anything unless they > interact with the physical brain of a mathematician, Relatively to you, assuming you are made of primitive stuff. Begging the question, again. > but a Turing Machine needs nothing else that is physical because it is > already physical. All by itself a Turing Machine can simulate Turing > quintuplets but Turing quintuplets CAN NOT simulate a Turing Machine, You change the definition of Turing machine. A Turing machine is defined by either a set of quintuplets or quadruplets. > therefore a Turing Machine is more profound and fundamental and Turing > quintuplets are a superficial way to think about it. Even more so if your physical machine being is blessed with Holy Water … (grin). I don’t believe in your god, John. And you can’t invoke It all the time to claim to refute an argument which does not assume it. 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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/CAJPayv0zuCHZKyY5ouNtrqNZPEmo3N7b5qo9yv2RjoSp%3DcKVLg%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAJPayv0zuCHZKyY5ouNtrqNZPEmo3N7b5qo9yv2RjoSp%3DcKVLg%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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/9DA150A2-2CBE-4D70-85E1-9CC29CBF5FD5%40ulb.ac.be.
