Reminds me of one of my favorite jokes, I have forgotten who said it, maybe Dijkstra? "Computer science could be called the post-Turing decline in the study of

Reminds me of one of my favorite jokes, I have forgotten who said it, maybe Dijkstra? "Computer science could be called the post-Turing decline in the study of formal systems."