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