On Sunday, July 21, 2019 at 7:34:51 AM UTC-5, Bruno Marchal wrote:
>
>
> On 20 Jul 2019, at 13:55, John Clark <[email protected] <javascript:>>
> wrote:
>
> On Fri, Jul 19, 2019 at 6:33 PM Philip Thrift <[email protected]
> <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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/everything-list/c3b4e3ff-6cab-481d-ada1-51f3867b7e67%40googlegroups.com.
