> On 21 Jul 2019, at 17:17, John Clark <[email protected]> wrote: > > > On Sun, Jul 21, 2019 at 8:34 AM Bruno Marchal <[email protected] > <mailto:[email protected]>> 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 [email protected] > <mailto:[email protected]>. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/418CBC42-3E88-4A0D-9CFE-A33DF9096896%40ulb.ac.be.
