mathematicise mathematicize mathematise mathematize algebraicize logicise algebraize formulise algorithmicize methodise