> On 21 Jul 2019, at 21:48, John Clark <johnkcl...@gmail.com> wrote: > > > > On Sun, Jul 21, 2019 at 3:14 PM Philip Thrift <cloudver...@gmail.com > <mailto:cloudver...@gmail.com>> 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 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/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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/38D06486-DC62-4F82-9B1C-80384DBB77C2%40ulb.ac.be.
