7 ms·
Computer science studies and invents logic whereas the math community has departed from logic as a whole.
by learningstud 2y ago
Computer science studies and invents logic whereas the math community has departed from logic as a whole.
- voidhorse 2y agoI 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.
- learningstud 2y agoIn 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.
- ultra-boss 2y agoComputer 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?