• Of course, but Turing influenced Von Neumann. Turing’s model was probably more intuitive than Church’s as well. So the timeline’s roughly like this: Turing > Von Neumann > Imperative dominance

    • I … think that’s exactly what I said. Turing’s influence was mainly theoretical, not practical. That Von Neumann was influenced by (and even plagiarized to some extent) Turing is indisputable, but Turing didn’t “[create] an actual computer for his computational model” in any way that was actually influential.

      Tragically.

      Because EDVAC was kind of lame compared to even Pilot ACE.

      • What I meant (but failed to do so) was that Turing provided an actual model of computing engine so that it was more straightforward to implement it, while Church’s did not. Besides pure lambda calculus was pretty convoluted even for representing things like a natural number. Implementation of Church’s work would only be more explored in the 60s with McCarthy et al, a 20 year gap that defines computing to this day.