On Sunday, July 21, 2019 at 7:34:51 AM UTC-5, Bruno Marchal wrote:
>
>
> On 20 Jul 2019, at 13:55, John Clark <johnk...@gmail.com <javascript:>>
> wrote:
>
> On Fri, Jul 19, 2019 at 6:33 PM Philip Thrift <cloud...@gmail.com
> <javascript:>> 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
>
>
BTW here is the UTM implemented in different languages:
https://rosettacode.org/wiki/Universal_Turing_machine
@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/c3b4e3ff-6cab-481d-ada1-51f3867b7e67%40googlegroups.com.
