Mathematics as Information Compression via the Matching and Unification of Patterns

Figure 5

Schematic representation of the development and application of the SP machine (reproduced from Figure 2 in [21], with permission).