Y yodaiken.com Von Neumann’s critique of automata theory and logic in computer science (1947) 141 points adamnemecek 7 years ago 31 comments