Douglas_Knight comments on Von Neumann’s critique of automata theory and logic in computer science