{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:52:49Z","timestamp":1753887169903,"version":"3.41.2"},"reference-count":73,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2019,12,4]],"date-time":"2019-12-04T00:00:00Z","timestamp":1575417600000},"content-version":"vor","delay-in-days":337,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Complexity"],"published-print":{"date-parts":[[2019,1]]},"abstract":"<jats:p>This paper describes a novel perspective on the foundations of mathematics: how mathematics may be seen to be largely about \u201cinformation compression (IC) via the matching and unification of patterns\u201d (ICMUP). That is itself a novel approach to IC, couched in terms of nonmathematical primitives, as is necessary in any investigation of the foundations of mathematics. This new perspective on the foundations of mathematics reflects the facts that mathematics is almost exclusively the product of human brains, and has been developed, as an aid to human thinking, mathematics is likely to be consonant with much evidence for the importance of IC in human learning, perception, and cognition. This perspective on the foundations of mathematics has grown out of a long\u2010term programme of research developing the <jats:italic>SP Theory of Intelligence<\/jats:italic> and its realization in the <jats:italic>SP Computer Model<\/jats:italic>, a system in which a generalised version of ICMUP\u2014the powerful concept of <jats:italic>SP-multiple-alignment<\/jats:italic>\u2014plays a central role. This paper shows with an example how mathematics, without any special provision, may achieve compression of information. Then, it 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 several aspects of the mathematics\u2010related disciplines of logic and computing may be understood as ICMUP. Also discussed is the intimate relation between IC and concepts of probability, with arguments that there are advantages in approaching AI, cognitive science, and concepts of probability via ICMUP. Also discussed is how the close relation between IC and concepts of probability relates to the established view that some parts of mathematics are intrinsically probabilistic, and how that latter view may be reconciled with the all\u2010or\u2010nothing, \u201cexact,\u201d forms of calculation or inference that are familiar in mathematics and logic. There are many potential benefits and applications of the mathematics\u2010as\u2010IC perspective.<\/jats:p>","DOI":"10.1155\/2019\/6427493","type":"journal-article","created":{"date-parts":[[2019,12,4]],"date-time":"2019-12-04T23:33:49Z","timestamp":1575502429000},"update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Mathematics as Information Compression via the Matching and Unification of Patterns"],"prefix":"10.1155","volume":"2019","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4624-8904","authenticated-orcid":false,"given":"J. Gerard","family":"Wolff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2019,12,4]]},"reference":[{"key":"e_1_2_14_1_2","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198519737.001.0001"},{"volume-title":"Pi in the Sky","year":"1992","author":"Barrow J. D.","key":"e_1_2_14_2_2"},{"key":"e_1_2_14_3_2","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160130102"},{"volume-title":"Philosophy of Mathematics","year":"2017","author":"Linnebo \u00d8.","key":"e_1_2_14_4_2"},{"volume-title":"Unifying Computing and Cognition: The SP Theory and its Applications","year":"2006","author":"Wolff J. G.","key":"e_1_2_14_5_2"},{"key":"e_1_2_14_6_2","doi-asserted-by":"publisher","DOI":"10.1155\/2019\/1879746"},{"volume-title":"Mathematics as a Science of Patterns","year":"1997","author":"Resnik M. D.","key":"e_1_2_14_7_2"},{"volume-title":"On Brouwer","year":"2004","author":"van Atten M.","key":"e_1_2_14_8_2"},{"key":"e_1_2_14_9_2","doi-asserted-by":"publisher","DOI":"10.1093\/aristotelian\/80.1.145"},{"volume-title":"Stanford Encyclopedia of Philosophy","year":"2017","author":"Horsten L.","key":"e_1_2_14_10_2"},{"key":"e_1_2_14_11_2","first-page":"124","volume-title":"From Frege to G\u00f6del","author":"Russell B.","year":"1902"},{"volume-title":"Stanford Encyclopedia of Philosophy","year":"2016","author":"Irvine A. D.","key":"e_1_2_14_12_2"},{"volume-title":"Stanford Encyclopedia of Philosophy","year":"2013","author":"Paseau A.","key":"e_1_2_14_13_2"},{"volume-title":"What Is Mathematics Really?","year":"1997","author":"Hersh R.","key":"e_1_2_14_14_2"},{"volume-title":"An Historical Introduction to the Philosophy of Mathematics","year":"2016","author":"Marcus R.","key":"e_1_2_14_15_2"},{"key":"e_1_2_14_16_2","doi-asserted-by":"publisher","DOI":"10.4159\/harvard.9780674419490"},{"volume-title":"Philosophy of Mathematics","year":"1997","author":"Shapiro S.","key":"e_1_2_14_17_2"},{"volume-title":"Structural Reality","year":"2012","author":"Burgin M.","key":"e_1_2_14_18_2"},{"volume-title":"Logic and Information","year":"2003","author":"Devlin K.","key":"e_1_2_14_19_2"},{"volume-title":"Mathematics: The Science of Patterns","year":"1997","author":"Devlin K.","key":"e_1_2_14_20_2"},{"key":"e_1_2_14_21_2","doi-asserted-by":"publisher","DOI":"10.3390\/info4030283"},{"key":"e_1_2_14_22_2","doi-asserted-by":"publisher","DOI":"10.1037\/h0054663"},{"key":"e_1_2_14_23_2","first-page":"535","volume-title":"The Mechanisation of Thought Processes","author":"Barlow H. B.","year":"1959"},{"key":"e_1_2_14_24_2","first-page":"209","volume-title":"Information Processes in the Nervous System","author":"Barlow H. B.","year":"1969"},{"key":"e_1_2_14_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2006.04.003"},{"key":"e_1_2_14_26_2","doi-asserted-by":"publisher","DOI":"10.3389\/fpsyg.2016.01584"},{"key":"e_1_2_14_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/access.2015.2513822"},{"key":"e_1_2_14_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/access.2014.2382753"},{"key":"e_1_2_14_29_2","first-page":"301","volume-title":"Big Data: Storage, Sharing, and Security","author":"Wolff J. G.","year":"2016"},{"key":"e_1_2_14_30_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxy126"},{"volume-title":"Unsolved Problems in AI, Described in the Book Architects of Intelligence by Martin Ford, and How They May Be Solved via the SP System","year":"2019","author":"Wolff J. G.","key":"e_1_2_14_31_2"},{"volume-title":"Architects of Intelligence: The Truth about AI from the People Building it","year":"2018","author":"Ford M.","key":"e_1_2_14_32_2"},{"key":"e_1_2_14_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-415796-5.00005-3"},{"key":"e_1_2_14_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/s0019-9958(64)90131-7"},{"key":"e_1_2_14_35_2","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1500"},{"key":"e_1_2_14_36_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11298-1"},{"key":"e_1_2_14_37_2","article-title":"Three approaches to the definition of the quantity of information","volume":"1","author":"Kolmogorov A. N.","year":"1965","journal-title":"Problems of Information Transmission"},{"key":"e_1_2_14_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/tit.1968.1054210"},{"key":"e_1_2_14_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/321892.321894"},{"key":"e_1_2_14_40_2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.214.0350"},{"volume-title":"Algorithmic Information Theory","year":"1997","author":"Chaitin G. J.","key":"e_1_2_14_41_2"},{"key":"e_1_2_14_42_2","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.2572"},{"key":"e_1_2_14_43_2","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.2519"},{"key":"e_1_2_14_44_2","doi-asserted-by":"publisher","DOI":"10.2307\/2371809"},{"key":"e_1_2_14_45_2","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/lix.236.433"},{"key":"e_1_2_14_46_2","doi-asserted-by":"publisher","DOI":"10.1007\/s12065-011-0060-5"},{"key":"e_1_2_14_47_2","first-page":"117","volume-title":"Representation and Reality: Humans, Animals and Machines","author":"Gauvrit N.","year":"2017"},{"key":"e_1_2_14_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27737-5_707-2"},{"volume-title":"Theory of Named Sets","year":"2011","author":"Burgin M.","key":"e_1_2_14_49_2"},{"volume-title":"The Structured Vacuum\u2014Thinking about Nothing","year":"1985","author":"Mueller B.","key":"e_1_2_14_50_2"},{"key":"e_1_2_14_51_2","doi-asserted-by":"publisher","DOI":"10.1186\/2193-1801-3-552"},{"volume-title":"Elements of Information Theory","year":"2006","author":"Cover T. M.","key":"e_1_2_14_52_2"},{"key":"e_1_2_14_53_2","doi-asserted-by":"publisher","DOI":"10.1049\/piee.1973.0221"},{"key":"e_1_2_14_54_2","unstructured":"WolffJ. G. Software engineering and the SP theory of intelligence 2017 CognitionResearch.org Menai Bridge UK Technical Report."},{"volume-title":"The Elements of Computing Systems: Building a Modern Computer from First Principles","year":"2005","author":"Nisan N.","key":"e_1_2_14_55_2"},{"volume-title":"An Introduction to Computational Geometry","year":"1969","author":"Minsky M.","key":"e_1_2_14_56_2"},{"volume-title":"Stanford Encyclopedia of Philosophy. Winter 2012 Edition","year":"2012","author":"Barker-Plummer D.","key":"e_1_2_14_57_2"},{"volume-title":"The Mathematical Theory of Communication","year":"1949","author":"Shannon C. E.","key":"e_1_2_14_58_2"},{"key":"e_1_2_14_59_2","doi-asserted-by":"publisher","DOI":"10.5121\/ijcsit.2015.7204"},{"key":"e_1_2_14_60_2","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0788-80"},{"volume-title":"G\u00f6del\u2019s Proof","year":"2001","author":"Nagel E.","key":"e_1_2_14_61_2"},{"volume-title":"An Eternal Golden Braid","year":"1980","author":"G\u00f6del D. H.","key":"e_1_2_14_62_2"},{"volume-title":"Models, Reasoning and Inference","year":"2000","author":"Causality J. P.","key":"e_1_2_14_63_2"},{"key":"e_1_2_14_64_2","doi-asserted-by":"publisher","DOI":"10.3390\/info5010001"},{"volume-title":"Reality Is Not what it Seems: The Journey to Quantum Gravity","year":"2016","author":"Rovelli C.","key":"e_1_2_14_65_2"},{"volume-title":"Proving Darwin: Making Biology Mathematical","year":"2012","author":"Chaitin G. J.","key":"e_1_2_14_66_2"},{"key":"e_1_2_14_67_2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195159691.001.0001"},{"volume-title":"Thinking without Language: Psychological Implications of Deafness","year":"1966","author":"Furth H. G.","key":"e_1_2_14_68_2"},{"volume-title":"The Mathematical Principles of Natural Philosophy","year":"2014","author":"Newton I.","key":"e_1_2_14_69_2"},{"key":"e_1_2_14_70_2","doi-asserted-by":"publisher","DOI":"10.1023\/b:synt.0000021306.66850.a3"},{"key":"e_1_2_14_71_2","doi-asserted-by":"publisher","DOI":"10.1037\/12962-000"},{"volume-title":"His Life and Universe","year":"2007","author":"Einstein W. I.","key":"e_1_2_14_72_2"},{"volume-title":"Towards a Theory of Cognition and Computing","year":"1991","author":"Wolff J. G.","key":"e_1_2_14_73_2"}],"container-title":["Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/complexity\/2019\/6427493.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/complexity\/2019\/6427493.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/2019\/6427493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T11:44:52Z","timestamp":1723031092000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1155\/2019\/6427493"}},"subtitle":[],"editor":[{"given":"Dimitri","family":"Volchenkov","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2019,1]]},"references-count":73,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["10.1155\/2019\/6427493"],"URL":"https:\/\/doi.org\/10.1155\/2019\/6427493","archive":["Portico"],"relation":{},"ISSN":["1076-2787","1099-0526"],"issn-type":[{"type":"print","value":"1076-2787"},{"type":"electronic","value":"1099-0526"}],"subject":[],"published":{"date-parts":[[2019,1]]},"assertion":[{"value":"2019-04-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-09-17","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-12-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"6427493"}}