Дык с тем же успехом можно и программирование считать разделом математики. А что? Всё равно же всё в нём в итоге сводится к машинам Тьюринга с Шёнфилдом, да к автоматам с КСГ. Относят её к математике потому, что матлогика как наука исторически появилась куда позже математики. Но это не мешает ей прекрасно существовать без математики, в то время как математика без матлогики существовать не может...
Или кого-то смущает слово "математическая"? Ну, скажем, "американский футбол" не имеет вообще никакого отношения к футболу как таковому В отличие от мини-футбола и футзала...
Welcome to the soldier side,
Where there is no one here but me.
People all grow up to die,
There is no one here but me...