Mathematicians created new formalisms and a calculus of minds: Some were now utterly incompatible, requiring a mediator chosen by algorithm.