New top story on Hacker News: Von Neumann’s critique of automata theory and logic in computer science

Von Neumann’s critique of automata theory and logic in computer science
90 by adamnemecek | 10 comments on Hacker News.