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 <mar...@ulb.ac.be > <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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/3b028be8-68d7-4cbd-a0b9-fd19a48d6b31%40googlegroups.com.
