On Mon, Jul 22, 2019 at 4:08 AM Bruno Marchal <[email protected]> wrote:
>> You keep confusing stuff that can *do* things from stuff that can not > > *> You keep assuming that such things exists.* > You keep assuming existence exists. > *> When we do metaphyics with the scientific method ...* > ...then it's just called "physics". >> 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.* > Screw Aristotle. Screw theology. >> Lambda Calculus and Turing quintuplets can't *do* anything unless they >> interact with the physical brain of a mathematician, > > > *> Relatively to you, * > So you agree that a Turing Machine can do something that Turing quintuplets or Lambda Calculus can not. *> assuming you are made of primitive stuff.* Regardless of if I'm made of "primitive stuff" or not it remains true that a Turing Machine can do something that Turing quintuplets or Lambda Calculus can not. >>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. * > I didn't but it wouldn't matter if I did. Machines don't care about definitions, they just keep on doing what they do. You can define them anyway you like and they won't miss a beat. A paper tape and a read/write head that can change states has a name, in English it's "Turing Machine" but I don't know what it is in Brunospeak. *> I don’t believe in your god, John.* > Screw God. 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv00rDjwmjrhFumVCc6CPFdz6r-WgTOcnFveDgq6fs3W1g%40mail.gmail.com.
