> On 21 Jul 2019, at 17:17, John Clark <johnkcl...@gmail.com> wrote: > > > On Sun, Jul 21, 2019 at 8:34 AM Bruno Marchal <marc...@ulb.ac.be > <mailto:marc...@ulb.ac.be>> 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.
On the contrary, if you can interpret the quadruplet in a physical way, then it is even more simple to interpret a lambda expression physically, with a basic physical substitution. > 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. Counter-examples; the graph reduction machines, the Lisp Machines, etc. Bruno > And that's why Alan Turing is a hero among computer nerds and why Alonzo > Church is not. > > 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/CAJPayv1u4g5G7rX3Ws-HGnR3PtiBN8Mbpb1rVAjrV8fYKfJ80w%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAJPayv1u4g5G7rX3Ws-HGnR3PtiBN8Mbpb1rVAjrV8fYKfJ80w%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/418CBC42-3E88-4A0D-9CFE-A33DF9096896%40ulb.ac.be.
