The arithmetic of Container Numbers can be generalized to an algebra based solely on the ideas of *putting together* (addition/subtraction as merging containers) and *putting into* (multiplication/division as substitution), together with a generic modifier that creates negative numbers. This iconic algebra is significantly simpler than our conventional algebra based on sets and group theory, while maintaining all the advantages of physically grounded iconic math. The * Image* shows a proof of the reducibility of fractions using only the iconic definition of multiplication and division as

*substitution*. This page presents aspects of the formal theory of iconic container numbers. How iconic math works when it is applied to numbers is specified by equations that are usually called

*rules*. The axioms of iconic algebra are first compared to the conventional axioms of symbolic algebra. Then the rules of equality, merging, and substitution are described.

## Iconic and Symbolic Axioms

*Unit-ensemble arithmetic* is the archetypical iconic system that illustrates axiomatic differences between spatial and symbolic computation, and thus between embodied and rote mathematics education. Ensembles are base-1, so there is no concern with managing place-value or depth-value notation. The zero place-holder that supports positional notation does not exist in unit-ensemble arithmetic. The capabilities ** to put together** and

**formally define how both addition and multiplication work. These two computational mechanisms, substitution and juxtaposition, are assumed in almost all algebras, whether symbolic or iconic. One difference is that symbolic systems separate computation from concept, thus requiring further axioms to define the algebra itself. Iconic systems define the computational mechanisms**

*to substitute into**as*the algebra. Thus, the process of iconic computation shows mathematical concepts in action, while the conceptual structure of an iconic mathematics defines the activity of using those concepts.

Another difference is that ensembles permit arithmetic to proceed in a parallel (space-like) rather than a sequential (time-like) manner. This renders the conventional rearrangement axioms of Commutativity and Associativity irrelevant. Ensembles are also free from the idea that only two numbers can be operated upon at the same time (the concept of binary arity). Many iconic numbers can be added together at the same time.

The four structural axioms of unit-ensemble arithmetic are *Merge*, *Cancel*, *Commute*, and *Distribute*. These four axioms define addition as deletion of spatial partitions, subtraction as annihilation of polar units, and both multiplication and division as substitution. The iconic axioms of unit-ensembles have an intuitive grounding in simple physical actions. The notation may be unfamiliar, but what the notation says to do is familiar to first grade students. Each is examined later in the page.

Compare the four iconic axioms to the nine symbolic axioms that are currently taught. The symbolic axioms represent a particular way of thinking. They anchor arithmetic to the abstract mathematical theory of groups. Group theory is immensely valuable for higher math, but it is not commonly known, it is not relevant to almost all non-mathematicians, and it does not help those trying to learn practical arithmetic or algebra.

A deep problem with these axioms is that they **do not define addition or multiplication**. They do not show us what to do to add or to multiply, and they do not tells us what addition or multiplication mean. These group theoretic axioms tell us something much more abstract, they identify invariant structures within transformation systems. Of course we would expect our common number system to be part of a larger grand mathematical structure, but this grand structure is relatively new, undergoing constant evolution, and most importantly, very poorly understood by pre-college mathematics teachers. The situation is quite analogous to having to understand how to build a turbine engine in order to board an airplane.

It is not uncommon for tools and ideas to have multiple meanings and multiple uses. Math education has abandoned the most common use of numbers in favor of an orthodoxy of belief in the theory of groups. This is not particularly surprising, since this two hundred year old theory completely changed the face of mathematics. Math classes pay homage by having young students go through exercises that are without historical context, without conceptual grounding, and without practical utility. Worse though, this abstract perspective robs students of their native intuitive understanding of the other meaning of numbers as convenient tools that have evolved over thousands of years. Unfortunately, suppression of the common sense alternative leads teacher training textbooks to engage in awkward explanations that undermine even the teachers’ understanding of how common arithmetic works by explaining the meaning of addition in terms of symbol manipulation rather than in terms of the spatial intuitions of the Additive Principle.

## Equality

What can we do with arithmetic expressions that does not change their value or meaning? What can we do when we know that two expressions mean the same thing? In iconic algebra *equality is defined by the substitutions that do not change meaning*. Generally, substitution *of*, *for*, and *into* equals achieves computation.

Our notation for substitution is

The statement **Substitute A for C in E** describes a compound action that begins by identifying two syntactic forms,

The *validity* of a substitution is judged in relation to the meaning of *appropriateness* of a substitution, however, is judged in relation to the syntactic form since substitutions are usually goal-driven, with maintenance of meaning acting as a constraint rather than as a strategy. The following constraints are the tools of the substitution process.

When reading the following shorthand notation, remember that *each substitution calls for an action*, something that a student can do or is doing. We begin with cases for which substitution has no effect.

The first statement asserts that substituting ** Replacement**: substituting

*only when*

Finally, there are exactly three cases when a substitution does not change the value of

When two forms are equal, it doesn’t matter which one is substituted into

When two forms (within

The same substitution into two equal forms keeps them equal.

We’ll return to substitution in a moment in the context of multiplication and division.

## Formal Iconic Math

Iconic addition calls upon the Additive Principle, however *putting together* does not formally characterize how addition works, so a comparison to the formal structures of group theory is somewhat unfair. ** Formal math** is synonymous with symbolic math, math that can be performed without error or ambiguity by a computer following clear algorithmic steps. The opposite of how people think. It is the desire for

**that has led mathematics and math education to abandon humane, intuitive math. To be considered as**

*incontrovertible proof**mathematical*, it’s a necessary prerequisite that iconic math, as well as being visual and interactive, must also be formal. It is. Substitution is well accepted as a fundamental part of the formal toolset so, for example, iconic multiplication by substitution is naturally formal.

How can the additive principle be expressed in a language suitable for computation and for acceptance as legitimate mathematics? One approach is to look toward ** mereology**, the formal study of whole/part relationships. Technically a unit-ensemble is a mereological whole with parts that do not support overlap.

## No Zero

Mereology has the necessary concept structure for iconic addition. Unlike formal addition which relies at its foundation upon the concept zero (stating that zero is a number and that no addition can result in zero), both mereology and iconic arithmetic have no zero concept. An ensemble without parts does not exist. Unlike the conventional zero which must exist at some location, *absence* exists everywhere throughout an iconic number. In particular, an iconic container can contain nothing at all. Spencer Brown Numbers for example, use hollow enclosures as units, so that other forms can be placed inside a unit, effectively turning the unit into an operator. The units we have been using for unit-ensembles do not have an inside. Absence also occurs as a result of the Cancel Rule. When a positive and a negative unit are put together, both cease to exist. Finally, it is possible to substitute nothing for some existing structure. We usually call that ** deletion** or erasure. Technically it is

**.**

*void-substitution*

## Merging

In formal mereology, parts are composed together into wholes. Each whole is exactly the sum of its parts, and nothing more. Mereology defines ** fusion** as the method by which ensembles are constructed. For example, the fusion of

*independent of their contents*. We introduce two notations for merging, one is iconic, the other typographical, with the usual caution is that typographical notation introduces incidental, spurious structure into the representation of iconic concepts.

** Merging is the deletion of separating boundaries**. Here is an illustrative example, recorded both in space and in a line.

The general merging rule can be stated algebraically.

Merging has three important properties in common with the informal idea of putting together. Merging is independent of the size of the ensembles being merged. The act of putting together does not depend on exactly what is being put together. Merging is not limited to a specific number of ensembles being merged. The contents of any number of containers can be put together at the same time. Finally, merging is an *action*, not a symbolic substitution.

The boundaries that are eliminated during merging do not necessarily need an interpretation or meaning. It suffices that they simply differentiate or bound. The separating bars in the textual notation are meant to identify an initial differentiation or distinction, an assignment of units to different containers. Merging removes that initial distinction. If we use a white lenticular bracket to represent imagined or real boundaries/distinctions, then merging can be expressed as collection into one container by deleting container boundaries.

## Substitution

Once substitution is used to define multiplication, it also defines division, fractions and exponents. Multiplication is defined as *substitution of an ensemble for each unit within another ensemble*.

Although it is ambiguous which variable is multiplying which, we will adopt the convention that ** substitution** is commutative. This leads to quite different ways to interpret both substitution and multiplication.

The form

This visual not only expresses multiplication as explicit replication, it also relies upon the *orientation* of the rectangles on the page to convey the difference of which number is multiplied by which. This common explanation of multiplication confounds viewing perspective with commutativity, which is essentially permission to ignore ordering and not a relationship between the position of the observer and the result of the multiplication.

For iconic multiplication as substitution, putting *into* * into*

Since substitution provides the meaning of multiplication, the structural difference between which form is substituted into which identifies a difference in *efficiency*. In the conventional rectangular layout this correspondes to the number of replication steps. For example, replicating two three times, or replicating three two times. Conventionally, mathematics pays little attention to the level of effort required to achieve an operation; *effort* is the domain of Computer Science. One consequence is that mathematics pays little attention to the difference between sequential and parallel algorithms. Computational effort is also the domain of education, where the difficulty of both learning and performing an algorithm does matter to students. A fundamental perspective of iconic math is that *conceptually* some operations are necessarily parallel and some operations are simpler than others, so ignoring how a computation unfolds is misleading for both effort and for *understanding*.

### Associative Substitution

The composition of two binary multiplications is associative. Conventionally,

As illustrated on the Parens Notation page, the order of substitution matters if you are working with paper and pencil as most students are. Another refinement that is well-studied in Computer Science is whether to fully reduce the first substitution prior to performing the second (applicative order) or to do all the substitutions, then reduce (normal order). The point is that conventional multiplication provides no information about effort, while multiplication as substitution provides explicit information. Pragmatically, in computing

Commutativity and associativity lead to ** flat substitution** for which, like multiplication, the ordering of substitutions does not matter (i.e. ordering is a matter of convenience). Flat substitution means we can remove the inner brackets, since it does not matter which substitutions occur when.

Since forms are substituted for units there is a clear criterion to minimize effort, to substitute first into forms with the least number of units. Flat substitution also provides a clear image of exponential powers. To square a number, substitute the form of that number for every unit in itself.

Higher powers follow the same pattern.

At this point, it is apparent that a more powerful notation is needed for higher exponents, as well as for roots and logarithms. This brief introduction will not include those extensions, however James Numbers provide an elegant and substantively different iconic notation for exponents and logarithms.

The structure of safe substitution — substitution that does not change the value of the form substituted into — is described in the Equality section above. Flat substitution collapses several of these distinctions. The two degenerate cases, Entire and Identical Substitution, become one. Substitution of Equals and Substitution into Equals are also the same thing. The flexibility of flat substitution becomes most apparent when we consider division, but before doing so, here is an interesting visualization of the relationship between substitution and powers.

### Division by Substitution

Division is defined as * substitution of a unit for every divisor within a form*. Here we will consider only simple cases of exact division. Extension to quotients with remainders, reciprocals and fractions is relatively easy, however the notation and the type of thinking can vary significantly from what we have all learned as the way to think about division and fractions.

Flat substitution extends to the included division. We first identify the structure of a *reciprocal*. The reciprocal of a number *in a unit*. That is, a unit fraction is the subdivision of the unit into the number of parts equal to the “denominator”.

Before considering what fractional substitution means, we can observe that flat multiplication already incorporates the concept of a reciprocal within the middle term of these equivalent substitution sequences.

Flat substitution asserts that any three contiguous forms constitute a valid substitution pattern. The middle substitution above shows a third interpretation of what it means to multiply three numbers together. That is, we can substitute

Although it is obvious that sequential multiplication and division can be performed in any order, it is less obvious for substitution sequences.

A simple division by substitution, *****.

### Substitution with Types of Units

In Unit-ensembles, negative numbers are integrated with positive numbers by identifying a negative unit, *object* to represent a negation *operator*.

The

Delta now provides the structure for multiplying negative numbers while maintaining an Additive Principle that achieves subtraction. Multiplication of “negative numbers” is expressed by a self-canceling property.

The prominent use of cancelation into nothing (technically, void-substitution) is typical of iconic systems. The general Cancel rule illustrates the void-substitution associated with the delta operator. Collect Delta is very much like a Dirac Delta function, except that the two states of the Dirac function are *exists* and *does-not-exist*. Let’s represent the presence *or* absence of a _{1}.

The unit Cancel rule can now be written without the negative object,

Collect Delta permits us to show that

### Fractions

The substitution form of the reciprocal *unit*? This is essentially the same problem encountered by elementary school students when first encountering fractions. There are many clever ways to illustrate fractions to students (e.g. pieces of a pie), but most of these techniques fail to make it clear that the whole being subdivided was originally a unit. Our society in general protects us from unusual fractions, that is, from unusual subdivisions of a whole. An hour, for example is pre-subdivided into *substitution into a unit*.

Fractions posit that units can be subdivided into pieces. The original unit is no longer unitary, but is rather a collection that is being partitioned. For the simplest unit fraction,

When units are grouped together, say into ** another way to express the base system** of a number. Students have difficulty adding unlike fractions because that operation is analogous to adding two whole numbers expressed in different base systems. For addition to work, the base system of the two numbers must match.

#### Multiplication of Fractions

Multiplication of fractions is easy to understand because fractions themselves are a form of multiplication. We might say that there are two separate worlds of arithmetic, addition and multiplication (in group theoretic terms, the two operations of a field). In iconic terms, the world of merging and the world of substitution. Fractions are creatures of the substitution world. As a consequence they are easy to multiply and difficult to add. Here is the general rule for multiplying fractions, expressed as substitutions.

Although the mechanism for multiplying fractions is straight-forward, a conceptual understanding of what it means to multiply fractions is more difficult, particularly for students who are provided only with the mechanism (i.e. multiple numerators by numerators and denominators by denominators). The substitution sequence shows why this works, we can commute substitutions. The general demonstration of multiplication of fractions above provides a behavioral roadmap. The originally prescribed substitutions call for finding

#### Reduction of Fractions

Fractions can often be reduced, for example

Reduction of fractions could be expressed as a general pattern rule.

#### Division of Fractions

Comprehension of what dividing fractions might mean is difficult. Here is a very simple example, what could

We can first observe that there is no mysterious “Turn it upside down and multiply”. Using flat substitution, we can see that dividing a fraction by itself is an example of Identical Substitution,

Here is an example of a slightly more complicated division using specific fractions to illustrate the construction of specific substitutions that achieve the desired division. This example also illustrates that conventional numerals can be used within the substitution calculus.

This computation begins by applying Identical Substitution. Then odd locations are rearranged to prepare for a reduction using the general reduction transformation shown above. Finally a multiplication is performed. Like common fractions, the result is a compound form, a substitution to be made rather than a division to be made.

Here is the general process of dividing fractions.

#### Addition of Fractions

Here is the general case of adding two fractions via substitution. The guiding principle is distribution of merging, since merging is the addition concept for substitution.

We wish to distribute merging over substitution to arrive at a single substitution structure. To distribute, any two of the three substitution forms must match in both substitutions being distributed. The substituted form,

#### Subtraction of Signed Fractions

The final example illustrates that delta provides the necessary conceptual basis for an integrated approach to both adding and multiplying negative numbers.

The three uses of the negative sign in the conventional expression each convert to a delta operator.The ** Uncollect** action is necessary since distribution is limited to substitution structures that are identical but for one element.

Yes, this is exotic! No, it is not intended to replace our common notation for fractions. The exercise is to demonstrate that it is possible to conceptualize all of elementary arithmetic as substitution processes. One gain is that we can consider elementary math not as a conglomerate of many different operations (**+**, **–**, *****, **÷**, **^**), but as varieties of only two operations, *Merge* and *Substitute*. The primary motivation is that these two operations maintain the Additive Principle. It is possible to simplify arithmetic on formal iconic grounds, without abandoning the intuitions of the Additive and the Multiplicative Principles.

Societally, each of us has spent at least five years learning how to do common arithmetic. In the US we know that the vast majority of us come out of the process both traumatized and unable to do arithmetic. The thesis of iconic algebra is that at least part of the problem is our mathematics itself.