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

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

2003-08-15

arxiv.org/abs/math/0308153v1

Mathematics

General Mathematics

Scientific paper

This article introduces the conjecture that "mathematics, logic and related disciplines may usefully be understood as information compression (IC) by 'multiple alignment', 'unification' and 'search' (ICMAUS)". As a preparation for the two main sections of the article, concepts of information and information compression are reviewed. Related areas of research are also described including IC in brains and nervous systems, and IC in relation to inductive inference, Minimum Length Encoding and probabilistic reasoning. The ICMAUS concepts and a computer model in which they are embodied are briefly described. The first of the two main sections describes how many of the commonly-used forms and structures in mathematics, logic and related disciplines (such as theoretical linguistics and computer programming) may be seen as devices for IC. In some cases, these forms and structures may be interpreted in terms of the ICMAUS framework. The second main section describes a selection of examples where processes of calculation and inference in mathematics, logic and related disciplines may be understood as IC. In many cases, these examples may be understood more specifically in terms of the ICMAUS concepts.

Affiliated with

Also associated with

No associations

Rating

Mathematics and Logic as Information Compression by Multiple Alignment, Unification and Search does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Mathematics and Logic as Information Compression by Multiple Alignment, Unification and Search, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mathematics and Logic as Information Compression by Multiple Alignment, Unification and Search will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-329418