Computer science should be called logic

Re:Computer science should be called logic by ultra-boss on Thursday February 20, 2025 @02:20PM (#43118921)

We can apply logic to anything and everything. What makes computer science singularly deserving of this label?

[ Parent | on HN ]

Re:Computer science should be called logic by learningstud on Thursday February 20, 2025 @02:26PM (#43119002)

Computer science studies and invents logic whereas the math community has departed from logic as a whole.

[ Parent | on HN ]

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 ]

Re:Computer science should be called logic by ultra-boss on Monday February 24, 2025 @08:15AM (#43159169)

Computer science "invents" logic? What do you mean by that?

Are you familiar with the philosophy of logic and philosophical logic? Or formal semantics, which utilizes tools from the fields of symbolic logic and mathematics to generate (very precise) theories around the semantics of natural language expressions?

[ Parent | on HN ]