"CS can be described as the post-Turing decline in the study of formal systems."

I don't know who said it originally.