Math probably split off a bit because of the attempts at formalization. That was a useful tangent though, arguably giving us computer science via the lambda cal

Math probably split off a bit because of the attempts at formalization. That was a useful tangent though, arguably giving us computer science via the lambda calculus, Turing machines, etc.