The Iconic Arithmetic Calculator set to binary mode shows computation using base-2 container numbers. The Image shows three binary numbers that have been added together, two are negative numbers. Positive units are indicated by full squares,
The binary iconic calculator: 435+(–45)+(–165)=225
Rules of Iconic Addition
The iconic binary numbers from
Positive and negative numbers are added by putting them into the same container. Three rules (Group, Merge, Cancel) convert the result of addition into a standard factored form. Below, these rules are defined by iconic equations, and then illustrated by animations.
Grouping joins two units together in one container, exchanging multiplicity of units for multiplication by bounding.
Group two units by adding 1 to 1
Merging combines boundaries at the same level of nesting. Any number of boundaries can merge at the same time. The animation shows a pair of boundaries, each containing a single unit, merging.
Merge boundaries by adding 2 to 2
Canceling deletes two units of opposite polarity. A positive and a negative unit join together to annihilate one another. A void space remains. Void in iconic notation means zero in symbolic notation.
Cancel opposites by adding 1 to –1
This video shows four units being standardized by the Group and Merge rules. Units Group in pairs, the resulting boundaries Merge, and the innermost two units that result from this Merge operation Group again.
Adding four units
When multiple boundaries are in the same space, they Merge concurrently. Here eight copies of
Adding eight copies of 2
The Merge operation is not restricted to outer boundaries. In contrast to the animations shown in Container Numbers, the Iconic Calculator merges all nested levels concurrently. Here
Adding two copies of 8
Both Container Numbers and Network Numbers show the binary addition
Adding 5 and 7
The interplay of concurrency and sequence cannot easily be expressed in linear notation (be it conventional or parens). The dynamics of parallelism and sequence are best displayed and comprehended through spatial animation. A central point is that writing ideas as strings of characters on lines imposes structural limitations on those ideas. Textual notation limits conceptual understanding. It is not possible to separate notation from concept. This happens in two ways. Notation can introduce accidental structure not intended to be part of the concept being expressed. And notation can restrict concept by being unable to convey aspects of the concept being expressed.
Exploring Binary Addition
We are now in position to explore the various dynamic sequences that occur during binary addition. Although we will not cover the details here, characterization of these sequences can contribute to the analysis of the behavior of computer circuitry. Some circuits require excessive energy, for example, and can run down the battery of a portable device more rapidly. Often they can be transformed into more efficient circuitry.
When the speedometer rolls over from 9999 to 10000, every digit changes. In binary, we can see the propagation of Group and Merge as a number goes from one less than a power of two to that power. Here is
Adding 1 to 31
It is possible to add binary numbers that fit together without triggering any Merge operations. Here is
In this example, most merged spaces contain two units, so each enacts a Group operation. Then no further grouping occurs.
Here is the sum of digits from
Adding the digits from 1 to 8
Here’s an addition with lots of parallel activity.
Adding eight copies of 15
A final example of binary addition that emphasizes parallelism.
Exploring Binary Subtraction
Negative binary numbers add another dynamic to the display of binary arithmetic. We begin with subtraction
Subtracting 1 from 2
The behavior of binary iconic arithmetic does not change when the signs of numbers are changed. Here is
Subtracting 2 from 1
The Cancel rule works only when a positive and a negative unit share the same container. The animation of
Subtracting 1 from 32
Canceling can occur in parallel at multiple levels of nesting.
Canceling can also occur at the deepest levels of nesting.
Localized Unmerge and Ungroup propagates only until an opposite unit is reached. Here the example also shows that the standardization process is insensitive to which number is larger, positive or negative.
Mixed Polarity Numbers
There are two aspects of iconic numbers that set them apart from conventional place-value numbers. Both have already been exhibited. The first aspect is that as many positive and negative numbers as desired can be added at the same time. The second is that once positive and negative numbers have been added together, but prior to standardization, an iconic number exists in a mixed state, with some levels of containment being positive and some being negative. It is depth-value notation that permits each nesting level (that is, each order of magnitude) to be relatively independent of the others. Each level is a separate addition, so that each level may include several units and each level can have a positive or a negative net value. Standardization acts to express each number in a single polarity, either positive or negative. To cancel all of one polarity, it is necessary to propagate the dominant polarity upward until all units of the other polarity have been eliminated. This does not, however, stop parallel operations from occurring at each separate level regardless of the content of the level. In this example, eight small numbers are added together, four positive and four negative. While five separate cancellations are occurring, levels with a net of two or more units of the same polarity proceed in parallel with grouping. In this example, two negative units group and merge into a deeper positive level which triggers another cancellation, without the concept of borrowing.
In this similar example, there are insufficient negative units to Group and Merge into a deeper level, so the positive unit at the deeper level must Unmerge and propagate to the shallower level containing the negative unit.
In this example, the negative levels engage is substantial Grouping prior to being Cancelled. Each Grouping action serves to simplify the remaining form, so that Grouping prior to Canceling is not wasted effort. Without Grouping of different polarities at different levels, an excessive amount of “borrowing” would need to occur.
Here is an example for which positive and negative units cancel exactly to zero. However, there is a great deal of Grouping and Merging activity serving to organize the levels prior to the final cancellation.
The prior examples are exceptions in that they exhibit special structures. The more common case is a mixture of all the actions we have already seen. This example combines many of the features that were isolated in previous examples. That all actions can happen in parallel indicates that each transformation is independent of the others.
Finally an example incorporating relatively large numbers.
Putting the five numbers into the same container (the frame of the image) achieves their addition. Boundary Merging then combines the separate containers into a single container. After merging, each nested level contains from zero to five units, depending upon the contribution to that level by each of the original numbers. Since there are three positive numbers and two negative numbers, each level will contain at most three positive units and two negative units. The next standardization step Cancels pairs of opposite polarity, so that each level has no remaining mixed polarity. At the same time, levels with two remaining units, necessarily of the same polarity, Group and Merge to the next deeper level. Prior to this Merge, there are only four possibilities at each level: one positive unit, one negative unit, no units, or a bounded unit in the process of Merging and thus leaving that particular level. The remaining dynamics of the standardization process is determined by the interleaving of positive and negative
Each of the video transformation sequences are shown in parens notation on the Parens Notation page.