1
Von Neumann’s critique of automata theory and logic in computer science (1947)
These remarks from “THE GENERAL AND LOGICAL THEORY OF AUTOMATA” 1947 are enormously insightful – no surprise. Von Neumann essentially predicts the emergence of the field of analysis of algorithms and algorithmic complexity. Not only does he point out the importance of understanding how many steps it will take to carry…