News for hackers. Stuff that matters.

A comment on Computer science should be called logic. Parent comment

Re:Computer science should be called logic by voidhorse on Thursday February 20, 2025 @02:59PM (#43119393)
I would say that the working, active logicians study and invent logics, not the computer scientists, who work with the narrower field of objects known as models of computation.
[ Parent | on HN ]
Re:Computer science should be called logic by learningstud on Saturday February 22, 2025 @02:44AM (#43137022)
In reality, logicians and type theorists are employed in the computer science department and rightfully so. The whole field of computer science should upgrade with such influx of talent.
[ Parent | on HN ]