On Sun, Jul 21, 2019 at 3:14 PM Philip Thrift <[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. 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/CAJPayv3Mabamc6QX0PnzXNACbfqWrHE2p6s4s4KauuHeKgy4Vg%40mail.gmail.com.
