> On 23 Jul 2019, at 20:16, Philip Thrift <[email protected]> wrote: > > > > On Tuesday, July 23, 2019 at 10:57:51 AM UTC-5, John Clark wrote: > On Mon, Jul 22, 2019 at 10:28 AM Bruno Marchal <[email protected] > <javascript:>> wrote: > > > > When you have a Turing universal machinery, you have a Turing machine, > > You don't unless the machine is made of matter and isn't just printed on the > pages of a textbook. > > > I guess you mean “a real Turing machine”, > > I mean a Physical Turing Machine. > > > but invoking “real” is not better than invoking God > > That would be true if God could make calculations but there is precisely zero > evidence He can even add 2+2, however there is overwhelming evidence that a > Physical Turing Machine can. Therefore a Physical Turing Machine is > astronomically less unreal than God. > > John K Clark > > > > > The Only Working Turing Machine There Ever Was, Probably > > The TOWTMTEWP > > https://www.youtube.com/watch?v=5_Hj5x6OWTM > > In 1936, Alan Turing wrote about a theoretical universal computer now > referred to as a "Turing Machine." In 1972, Washington University professors > Wesley Clark and Bob Arnzen likely made the first physical version of > Turing's machine. Clark used the TOWTMTEWP ("The Only Working Turing Machine > There Ever Was, Probably") as an educational tool, demonstrating basic > computer theory for his students.
Thanks Philip. It shows indeed that physical Turing machine are rather the exception than the rules. The physical implementations of universal machines are mostly boolean nets (“boolean” in a large sense, as they have the bifurcating wires, which needs some implicit “linear logic”, to be precise. Bruno > > @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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/2d4e2954-f8ac-4c48-b1cf-42452da56f1d%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/2d4e2954-f8ac-4c48-b1cf-42452da56f1d%40googlegroups.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/8257A5AE-913F-411A-8856-40F083DCC291%40ulb.ac.be.
