2022-06-09: Search is working again.2022-05-12: Ghost posting is now globally disabled. 2022: Due to resource constraints, /g/ and /tg/ will no longer be archived or available. Other archivers continue to archive these boards.Become a Patron!
if logic became a part of maths, can syntax, morphology and grammar become parts of maths too?
>>14596279Already is, formal syntax, akin to formal logic. However, this is part the problem of establishing how closely is computer science linked to mathematics.
is it weird for a CS major to never take theory of computation?