4 ms·
I’d argue that logic is a subfield of computability theory, and so by extension we (in CS) absorb math.
by l33t2328 5y ago
I’d argue that logic is a subfield of computability theory, and so by extension we (in CS) absorb math.
- ravi-delia 5y agoLike I said, you can indeed construct logic through CS! But you can also obviously construct CS from logic. You can also construct logic through the natural numbers, so number theory absorbs math and by extension CS? Fact is anything reasonably complex can replicate everything else. Exactly one of these fields, however, is specifically carved out as the study of any formal system, and it isn't CS.
- l33t2328 5y agoI’m arguing that logic is a subfield of CS, so “constructing” CS “from” logic isn’t a contradiction.