Mathematics as Information Compression via the Matching and Unification of Patterns

This paper describes a novel perspective on the foundations of mathematics: how mathematics may be seen to be largely about “information compression (IC) via the matching and unification of patterns” (ICMUP). That is itself a novel approach to IC, couched in terms of nonmathematical primitives, as i...