Computer science should be called logic

Re:Computer science should be called logic by voidhorse on Thursday February 20, 2025 @02:58PM (#43119374)

Computation is a sibling (or maybe child) of logic, it is not a superset of logic. I like Wadler a lot and get that the Curry-Howard isomorphism makes it tempting to view them as the same thing, but logic is field of far vaster proportions and history. I think "computer science" is properly called computability theory.

The proposal in the HN title is a bit like saying "calculus should be called mathematics".

[ Parent | on HN ]

Re:Computer science should be called logic by learningstud on Saturday February 22, 2025 @02:47AM (#43137038)

Try programming in a proof assistant to see how inseparable computation and logic are. It gets more fundamental than the Curry-Howard correspondence when homotopy type theory enters the scene.

[ Parent | on HN ]