Mathematics as information compression via the matching and unification of patterns

Open in new window