Mathematics as information compression via the matching and unification of patterns | Read Paper on Bytez