I am going through articles about Turing machines which were introduced to solve the entscheidung problem by Alan Turing in 1936. To what I understand, all modern computers are essentially Turing machines, and mathematical logic is a critical concept in computing.

So, I want to ask when did it start being used with reference to Turing machines?

I see no mention of it when I go through these articles

  • 1
    $\begingroup$ I'm not sure it's propositional logic you want as much as mathematical logic, and even in there, a subset around computability (computable function, lambda calculus, etc etc). $\endgroup$
    – Frank
    Apr 25, 2023 at 21:27
  • 1
    $\begingroup$ The historical process is: von Neumann developed the modern architecture of "stored program computation" starting from Turing's abstract model of "human computation" and Universal Computing Machine. $\endgroup$ Apr 26, 2023 at 14:24


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.