I think that Von Neumann raise three important issues, two of them are largely solved, and one of them is not yet solved.
- Hardware failures
- Complexity theory
- CS and Formal logic is combinatorial rather than analytical, we can't use the powerful tools of mathematical analysis to solve those combinatorial problems.
This reminds me of a remark of
Paul Erdős about the Collatz conjecture: "Mathematics may not be ready for such problems."
EDIT: text format
- Hardware failures
- Complexity theory
- CS and Formal logic is combinatorial rather than analytical, we can't use the powerful tools of mathematical analysis to solve those combinatorial problems.
This reminds me of a remark of Paul Erdős about the Collatz conjecture: "Mathematics may not be ready for such problems." EDIT: text format