Hacker News Reader

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

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?

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.

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.

Reply on news.ycombinator.com