Mathematics as information compression via the matching and unification of patterns

DOI10.1155/2019/6427493MaRDI QIDQ2281995zbMATH OpenOpenAlexFDO

Authors J. Gerard Wolff

Publication date 6 January 2020

Published in Complexity (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1808.07004

Mathematics Subject Classification ID

Information theory (general) (94A15) Philosophy of mathematics (00A30) General topics in artificial intelligence (68T01)

Abstract: This paper describes a novel perspective on the foundations of mathematics: how mathematics may be seen to be largely about 'information compression via the matching and unification of patterns' (ICMUP). ICMUP is itself a novel approach to information compression, couched in terms of non-mathematical primitives, as is necessary in any investigation of the foundations of mathematics. This new perspective on the foundations of mathematics has grown out of an extensive programme of research developing the "SP Theory of Intelligence" and its realisation in the "SP Computer Model", a system in which a generalised version of ICMUP -- the powerful concept of SP-multiple-alignment -- plays a central role. These ideas may be seen to be part of a "Big Picture" comprising six areas of interest, with information compression as a unifying theme. The paper describes the close relation between mathematics and information compression, and describes examples showing how variants of ICMUP may be seen in widely-used structures and operations in mathematics. Examples are also given to show how the mathematics-related disciplines of logic and computing may be understood as ICMUP. There are many potential benefits and applications of these ideas.

Recommendations

• Some mathematical structures for computational information
• The mathematical art of concentrating information
• scientific article; zbMATH DE number 1150557
• On the role of pattern matching in information theory
• scientific article; zbMATH DE number 1862731
• On the Combinatorial Representation of Information
• Information Theory for Mathematicians

Cites work

• scientific article; zbMATH DE number 3427210 (Why is no real title available?)
• scientific article; zbMATH DE number 3141327 (Why is no real title available?)
• scientific article; zbMATH DE number 1222084 (Why is no real title available?)
• scientific article; zbMATH DE number 1021615 (Why is no real title available?)
• scientific article; zbMATH DE number 1150557 (Why is no real title available?)
• scientific article; zbMATH DE number 1150559 (Why is no real title available?)
• scientific article; zbMATH DE number 1493045 (Why is no real title available?)
• scientific article; zbMATH DE number 782722 (Why is no real title available?)
• scientific article; zbMATH DE number 2204804 (Why is no real title available?)
• scientific article; zbMATH DE number 3314813 (Why is no real title available?)
• scientific article; zbMATH DE number 3062467 (Why is no real title available?)
• A Theory of Program Size Formally Identical to Information Theory
• A formal theory of inductive inference. Part II
• Algorithmic Information Theory
• An historical introduction to the philosophy of mathematics: a reader
• An introduction to Kolmogorov complexity and its applications
• Elements of Information Theory
• Formal Reductions of the General Combinatorial Decision Problem
• Logical basis for information theory and probability theory
• Philosophy of mathematics
• Philosophy of mathematics in the twentieth century. Selected essays.
• Structural reality
• The discovery of algorithmic probability
• The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959
• Theory of named sets

Cited in

(1)

• Information compression by multiple alignment, unification and search as a framework for human-like reasoning

Describes a project that uses

Uses Software

• Simula 67

This page was built for publication: Mathematics as information compression via the matching and unification of patterns

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2281995)