This is interesting. I haven't read the Curry-Howard stuff myself, but I found this article interesting. Aaron Sloman argues that Turing machines (or related

This is interesting. I haven't read the Curry-Howard stuff myself, but I found this article interesting. Aaron Sloman argues that Turing machines (or related formalisms like lambda calculus) are actually irrelevant to how computers have developed and how they are programmed. This, or some version of it, appeared in a book on the current state of (good old fashioned) AI, and he turns attention to AI specifically, but makes the case looking at computer technology's development and use more generally. http://www.cs.bham.ac.uk/research/cogaff/sloman.turing.irrelevant.pdf http://www.cs.bham.ac.uk/research/cogaff/sloman.turing.irrel...