Re:Computer science should be called logic
by learningstud on Thursday February 20, 2025 @02:17PM
(#43118870)
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.
[ Parent
| on HN ]
Re:Computer science should be called logic
by beardyw on Thursday February 20, 2025 @03:51PM
(#43120014)
> 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.
Re:Computer science should be called logic
by learningstud on Saturday February 22, 2025 @02:42AM
(#43137010)
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."