On Sunday, July 21, 2019 at 10:18:18 AM UTC-5, John Clark wrote: > > > On Sun, Jul 21, 2019 at 8:34 AM Bruno Marchal <[email protected] > <javascript:>> wrote: > > >> According to my dictionary a "entity" is an independent thing with >>> distinct properties, in this case one of those properties is it can be >>> implemented PHYSICALLY, a property that a sequence of squiggles in Lambda >>> Calculus does not have. >> >> > > *> Why would a set of quadruplets be more "physically implementable" than >> a lambda expression?* >> > > It wouldn't, but a set of quadruplets is not the only or the best way to > think about the operation of a Turing Machine, you can also think about it > physically, something that you CAN NOT DO with Lambda Calculus. That's why > computer makers don't put Lambda Calculus textbooks in their machines but > instead put in silicon microprocessors that work the way Turing outlined. > And that's why Alan Turing is a hero among computer nerds and why Alonzo > Church is not. > > John K Clark >
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. @philipthrift -- 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/3b028be8-68d7-4cbd-a0b9-fd19a48d6b31%40googlegroups.com.
