> On 20 Jul 2019, at 13:55, John Clark <[email protected]> wrote: > > On Fri, Jul 19, 2019 at 6:33 PM Philip Thrift <[email protected] > <mailto:[email protected]>> wrote: > > > A Turing machine is a mathematical entity, > > 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? That makes no sense. Both are first interpret in a von Neuman-Suze machine, and then physically intepreteted in a some physical boolean+ graph. Bruno > > 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/CAJPayv2efwUr1xFx3MTFgK4ZhQCzzOALvVs4aqB07Skcx3p7vQ%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAJPayv2efwUr1xFx3MTFgK4ZhQCzzOALvVs4aqB07Skcx3p7vQ%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/AD241BAB-73E4-46F6-A098-4467E59DFB47%40ulb.ac.be.
