3 ms·
At the very end of the video, the speaker quipped that computer science is not just about computers and an actual science doesn't have "science" in its name. Th
by learningstud 2y ago
At the very end of the video, the speaker quipped that computer science is not just about computers and an actual science doesn't have "science" in its name. The development of programming languages, compilers, SMT/MILP solvers, type theories, and proof assistants allude to the true nature of computer science, i.e., logic and its automation. It can be argued that computer science is even more fundamental than math, e.g., recursion/complexity, intuitionism/constructivism, linear logic, homotopy type theory.
- beardyw 2y ago> It can be argued that computer science is even more fundamental than math Perhaps "touches on more fundamental concepts than". Otherwise the fact it has the word "computer" in it and being only decades old makes being fundamental hard to support.
- learningstud 2y agoNowadays, logicians and type theorists find home in the computer science department instead of the math department. My whole point is to get rid of "computer" and "science" from "computer science."