> On 21 Jul 2019, at 21:48, John Clark <[email protected]> wrote: > > > > On Sun, Jul 21, 2019 at 3:14 PM Philip Thrift <[email protected] > <mailto:[email protected]>> wrote: > > A "machine" associated with the lambda calculus is the SECD machine > https://en.wikipedia.org/wiki/SECD_machine > <https://en.wikipedia.org/wiki/SECD_machine#Informal_description> > The machine was the first to be specifically designed to evaluate lambda > calculus <https://en.wikipedia.org/wiki/Lambda_calculus> expressions. > > And in the very first line of the article you recommend it calls it a > "virtual machine". There is nothing virtual about a read write head and a > paper tape, that sort of machine is as non-virtual as the diesel engine on a > tug boat.
The physical Turing machine that Turing had in his mind was the human being, even a schoolboy using paper (the tape) and a pen (the write device). You confuse the pedagogical sugar folklore with the conceptual notion aimed at. You refer to a metaphysical being (ontological or primitive irreducible matter). That is not valid. 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/CAJPayv3Mabamc6QX0PnzXNACbfqWrHE2p6s4s4KauuHeKgy4Vg%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAJPayv3Mabamc6QX0PnzXNACbfqWrHE2p6s4s4KauuHeKgy4Vg%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/38D06486-DC62-4F82-9B1C-80384DBB77C2%40ulb.ac.be.
