### „In today's computer science curricula … almost all their time is devoted to formal classification of syntactic language types, defeatist unsolvability theories, folklore about systems programming, and generally trivial fragments of "optimization of logic design"“

— Marvin Minsky

Context: In today's computer science curricula … almost all their time is devoted to formal classification of syntactic language types, defeatist unsolvability theories, folklore about systems programming, and generally trivial fragments of "optimization of logic design" — the latter often in situations where the art of heuristic programming has far outreached the special-case "theories" so grimly taught and tested — and invocations about programming style almost sure to be outmoded before the student graduates.
Turing Award Lecture "Form and Content in Computer Science" (1969) http://web.media.mit.edu/~minsky/papers/TuringLecture/TuringLecture.html, in Journal of the Association for Computing Machinery 17 (2) (April 1970)