On Sun, Jul 21, 2019 at 3:14 PM Philip Thrift <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. 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. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv3Mabamc6QX0PnzXNACbfqWrHE2p6s4s4KauuHeKgy4Vg%40mail.gmail.com.
