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.
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.
Nowadays, 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."
Comments
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.
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.
Nowadays, 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."