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 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 at 14:24


Your Answer

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

Browse other questions tagged or ask your own question.