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?