Von Neumann's project was the physical realization of Alan Turing's Universal Machine, *a theoretical construct* invented in 1936.
https://gizmodo.com/how-to-build-turing-s-universal-machine-5891399 turing did design this, whicj was built. https://en.wikipedia.org/wiki/Automatic_Computing_Engine The *Automatic Computing Engine* (*ACE*) was a British early electronic <https://en.wikipedia.org/wiki/Electronic_storage> stored-program computer <https://en.wikipedia.org/wiki/Stored-program_computer> designed by Alan Turing <https://en.wikipedia.org/wiki/Alan_Turing>. For *lambda calculus*, see K-machines: http://pop-art.inrialpes.fr/~fradet/PDFs/HOSC07.pdf Perhaps the microcoded Lisp processor (Texas Instruments) comes close to a lambda calculus hardware ,machine. There are the (theoretical) blueprint, specification for machines, and then the machines that are built. *A blueprint/specification for a building is not a building.* @philipthrift On Wednesday, July 24, 2019 at 3:03:33 PM UTC-5, Quentin Anciaux wrote: > > > > Le mer. 24 juil. 2019 à 21:57, John Clark <[email protected] > <javascript:>> a écrit : > >> On 23 Jul 2019, at 20:16, Philip Thrift <[email protected] <javascript:>> >> wrote: >> >> *> In 1972, Washington University professors Wesley Clark and Bob Arnzen >>> likely made the first physical version of Turing's machine.* >> >> >> I think that estimate is off by at least fifteen orders of magnitude, not >> counting stuff that may be on other planets, but even if it were dead >> accurate that would still mean there was one more Turing Machine than Lambda >> Calculus Machines. >> > > I think you're conflating physical Von Neumann machines as turing > machines... > > > https://stackoverflow.com/questions/2782014/turing-machine-vs-von-neuman-machine > >> >> 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/6a5ea85d-6d9a-4eb9-9a35-b4230f0c905e%40googlegroups.com.
