Mathematics and Logic as Information Compression by Multiple Alignment, Unification and Search

J Gerard Wolff

This article introduces the conjecture that "mathematics, logic and related disciplines may usefully be understood as information compression (IC) by 'multiple alignment', 'unifica…