% A New Arithmetic % An M. Rodriguez % 2026-04-26 # Preface: Numbers Interact So the first claim of this book is simple: ```text 1 + 1 is not necessarily only 2. ``` There is also an interaction term. This book describes a new way of thinking about numbers. Numbers are usually treated as non-interacting. That is standard arithmetic's main abstraction, and it is a legitimate object of study. It is the arithmetic of units that do not affect one another. It is not fair to arithmetic to rely on physics examples to make this point. Arithmetic can say it on its own: standard addition studies the special case where the interaction term is zero. Classical arithmetic is not thrown away. It becomes the special case of non-interacting things. A new arithmetic should describe the larger case: units brought into relation. When we write "two children in one room," we may only be writing a union: ```text one child in a room union one child in a room ``` and then counting the result as: ```text two children in a room ``` That is useful, but it is not the full arithmetic of the situation. "Two children in one room" is missing the interaction term. The same is true of a rotten apple added to a bag. The count may be correct, while the arithmetic is incomplete. This book is therefore written for anyone who has been through kindergarten. That is almost everyone. We all inherited a first picture of number. We learned to count objects as if they were separate pieces, and that early picture stayed with us longer than we may notice. The book is especially for kindergarten teachers who still return to first principles. They stand close to the moment when number is first introduced. If addition is taught there as nothing but union and counting, the mistake becomes part of the child's first model of reality. Children do need to count. They need to know how many things are present. But they should not be taught, even accidentally, that count exhausts addition. But addition has usually been mistaken for union: ```text this pile joined with that pile ``` Union is what it is. It is a real operation. It tells us that this group and that group are being considered together. But union is not addition. Addition is the new condition created when the parts are together. If we replace addition with union, we teach children to count the joined group while ignoring what the joining did. Children already know something deeper before we teach them to ignore it: ```text Things change when they are put together. ``` Two blocks can make a tower. One spoonful of sugar added to water does not sit beside the water as a separate object. It changes the water. Children see these facts directly. Ordinary arithmetic says: ```text 12 + 1 = 13 ``` That is inventory arithmetic. It tells us how many. It does not tell us what happened. A more honest arithmetic should keep both truths: ```text count: how many things are there? relation: what happens when they are together? ``` This book does not ask anyone to stop teaching counting. It asks us not to confuse counting with the whole meaning of addition. It also asks us to notice something children can understand immediately: ```text things that exist are positive ``` When have we ever seen a negative apple? We can see one apple. We can see no apple. We can see an apple removed, promised, imagined, or canceled from a list. But we do not meet a negative apple as a negative thing standing in the room. Even if someone names a "negative apple," the thing named is still a positive unit of that kind. One negative-apple is one positive negative-apple. The negativity belongs to the kind, role, or direction being named. It is not a negative unit of existence. Debt is the same. A debt is not a negative apple. Debt `D` is a positive future claim: ```text D = d^2 ``` A debt is value assigned to future settlement. It is a positive obligation, a positive record, or a positive relation between people. Bookkeeping may mark one side of that relation with a minus sign, but the debt itself exists as something present and future-directed. Negative numbers may be useful signs. They may describe loss, direction, removal, cancellation, or opposition. But nothing real is negative in the ultrareal sense. Negative numbers do not exist as ultrareal values. So the practical beginning is: ```text 1 + 1 is not only 2. ``` It is also the relation made by the two being together. The first lesson is therefore not a formula. It is a habit of attention: ```text When things are added, ask what they become together. ``` Only after this habit is clear do we need the formal arithmetic. For the adult reader, the proposal is that numbers can be reinterpreted as square-forms: ```text U = u^2 ``` When `u` is real, the square is positive and ultrareal. When `u` is rotated into the imaginary direction, the square can be negative: ```text (iu)^2 = -u^2 ``` That negative value is not a negative ultrareal. It is a rotated square-value. The `i` marks the rotation. The positive value is not disappearing; it is returning through the inner square-form from another direction. The visible number is `U`. The inner value is `u`. When two numbers are merely counted, ordinary arithmetic records: ```text U + V ``` When two numbers are joined, the inner values join first: ```text u^2 + v^2 := (u + v)^2 ``` Expanding the joined value reveals the term ordinary inventory leaves out: ```text (u + v)^2 = u^2 + v^2 + 2uv ``` The term `2uv` is the interaction term. It is the mathematical sign that two values have been placed into one situation. This is the seed of a new arithmetic. But its teaching form is simpler: ```text Numbers interact. They are not separate realities. Addition is not union. Union is union. Things that exist are positive. There are no negative ultrareals. ``` # For Anyone Who Passed Through Kindergarten The goal is not to make early arithmetic harder. The goal is to prevent arithmetic from becoming too small. A child can learn: ```text one apple plus one apple makes two apples ``` and also learn: ```text when apples are together, they can affect each other ``` These are not competing lessons. They answer different questions. Counting asks: ```text How many? ``` Relational arithmetic asks: ```text What happens together? ``` Both questions belong in early education, and they still matter after early education. Addition has often been taught as if it meant union: ```text put this group with that group count the new group ``` But union is union. It is not addition. Union says: ```text these groups are now considered together ``` Addition asks: ```text what new condition is created by the togetherness? ``` The mistake is subtle because union and counting are useful. But if they replace addition, children learn to see only the joined pile, not the relation created by joining. Subtraction has a similar problem. It is often taught through set pictures: take away, cross out, keep what remains, compare what overlaps. Those pictures may help, but they are not the operation itself. Intersection is intersection. Removal is removal. Opposition is opposition. The arithmetic should not be collapsed into the picture. ## Simple Classroom Language Use ordinary words first: ```text near together touching mixing helping hurting building changing ``` Children already understand these words. Then arithmetic becomes less abstract: ```text one child + one child = two children one child with one child = a pair one block + one block = two blocks one block on one block = a tower one color + one color = two colors one color mixed with one color = a new color ``` The symbol `+` should not train children to forget the word "with." It should also not train them to forget the word "becomes." ## The Rule Every addition lesson can hold two truths: ```text count the parts notice the relation ``` The first truth gives inventory. The second truth gives meaning. ## Positive Things Children can also be invited to notice that existing things are positive. Ask plainly: ```text Have you ever seen a negative apple? ``` They may have seen an apple taken away. They may have seen an empty basket. They may have seen someone owe an apple. But they have not seen a negative apple sitting on the table as a negative object. If we invent the label "negative-apple," then one negative-apple is still one positive unit of that kind. The sign belongs to the kind or direction. The unit that exists is positive. The same is true for debt. A child may owe an apple, but the owing is not a negative apple. The owing is a real relation. Debt `D` is a positive future claim: ```text D = d^2 ``` Debt is value assigned to future settlement. It exists positively as a promise, claim, memory, or record. The minus sign is a bookkeeping mark placed on one side of the relation. This does not mean negative symbols are useless. It means they should be introduced honestly: ```text negative as taking away negative as opposite direction negative as cancellation ``` not as a strange kind of object. ## Why This Matters If children learn only inventory arithmetic, they may begin to imagine that the world is made of separate units that merely pile up. But the world they actually live in is relational. Food mixes. Friends affect each other. Rooms become crowded. Blocks become structures. A small thing added in the right place can change the whole situation. Arithmetic should not be the first place where children are taught to ignore relation. # Ultrareal Numbers An ultrareal number is a positive square-form: ```text U = u^2 ``` The number is `U`. The inner value is `u`. This is not a trick of notation. Every positive number can be seen as a square, and this way of seeing separates two layers: ```text visible value: U inner value: u ``` In the basic ultrareal domain, `u` is real: ```text UR = {u^2 | u >= 0} ``` So ultrareals are positive definite. They are numbers as values or magnitudes. They are not absences, removals, or opposites. This matches ordinary experience. Existing things appear as positive values. We meet an apple, not a negative apple. We meet a block, not a negative block. Negatives enter when something is removed, reversed, canceled, compared, or rotated out of the positive layer. Debt should not be placed in the negative layer. Debt `D` is a positive future claim: ```text D = d^2 ``` Debt is value assigned to future settlement. It exists positively as an obligation, claim, record, or relation. Only a bookkeeping view assigns a minus sign to one side of that positive relation. If a language names a "negative-apple," then the named thing is still positive as a unit: ```text one negative-apple = one positive unit of the kind negative-apple ``` The negativity belongs to the label, role, direction, or relation. It does not make the existing unit negative. There are no negative ultrareals. This does not mean a square can never be negative. It means a negative square is not produced by a real inner value: ```text (iu)^2 = -u^2 ``` So `u^2` can be negative when `u` has been rotated into the imaginary direction. But the result is not an ultrareal value. It is a rotated square-value. Changing the sign of the inner value does not create a negative ultrareal: ```text (-u)^2 = u^2 ``` So `u` and `-u` expose the same positive value. This matters because opposition can exist in the inner layer without becoming a negative magnitude. The first distinction is therefore: ```text positive ultrareal: u^2 inner opposition: u and -u negative value: (iu)^2 = -u^2 ``` A negative real value is an imaginary-square value: ```text -U = (iu)^2 ``` This is not an ultrareal. It is a rotated square-value. The claim is not that old algebra cannot manipulate negative symbols. The claim is that negative numbers are not ultrareal magnitudes. They are marks of rotation, opposition, removal, cancellation, or comparison in the layer beneath positive value. # Joined Addition The central operation is joined addition. Ordinary addition begins from separated objects: ```text one thing + one thing = two things ``` Joined addition begins from the situation created when those things are actually together. This matters because addition has often been mistaken for union. But union is union. It says the parts are in one set. It does not say what the parts do to one another. Joined addition asks for the new condition created by the joining. If ```text U = u^2 V = v^2 ``` then: ```text U + V := (u + v)^2 ``` Equivalently, in square-form notation: ```text u^2 + v^2 := (u + v)^2 ``` This is the defining axiom of ultrareal addition. Expanded into old notation: ```text (u + v)^2 = u^2 + v^2 + 2uv ``` The first two terms are what ordinary inventory would keep. The last term is the relation term. ## Standard Arithmetic As A Special Case Standard arithmetic is not discarded. It is recovered as the special case of non-interacting things. In standard arithmetic: ```text U + V ``` means that `U` and `V` are counted together while their relation is ignored, absent, canceled, or irrelevant. In ultrareal arithmetic, the fuller joined form can be written with an explicit relation coefficient: ```text u^2 + v^2 := u^2 + v^2 + 2kuv ``` The aligned ultrareal case has: ```text k = 1 ``` The standard case has: ```text k = 0 ``` The relation term is then zero because the operation deliberately studies units as non-interacting: ```text u^2 + v^2 + 2(0)uv = u^2 + v^2 ``` This makes standard arithmetic an object of study inside the larger system. It is the arithmetic of indifferent units: useful, precise, and limited. The ultrareal question is different: ```text what happens when the units are not indifferent? ``` ## Zero Zero remains the additive identity: ```text 0^2 + u^2 = (0 + u)^2 = u^2 ``` ## Commutativity Joined addition is commutative: ```text u^2 + v^2 = (u + v)^2 = (v + u)^2 = v^2 + u^2 ``` The order of joining does not change the joined value. ## Associativity Joined addition is associative: ```text (u^2 + v^2) + w^2 = (u + v)^2 + w^2 = (u + v + w)^2 ``` and ```text u^2 + (v^2 + w^2) = u^2 + (v + w)^2 = (u + v + w)^2 ``` So: ```text (u^2 + v^2) + w^2 = u^2 + (v^2 + w^2) ``` ## Many Terms For many joined ultrareals: ```text u_1^2 + u_2^2 + ... + u_n^2 = (u_1 + u_2 + ... + u_n)^2 ``` Expanded: ```text (u_1 + ... + u_n)^2 = u_1^2 + ... + u_n^2 + 2 sum_{i infinity U -> infinity ``` Negative infinity is not a different kind of negative substance. It is the same unbounded positive square-form seen through the rotated branch: ```text -U = (iu)^2 u -> infinity -U -> -infinity ``` So: ```text -infinity = rotated infinity ``` In the ultrareal layer there is only positive unbounded value. The negative sign belongs to orientation. ## Euler's Rotation Euler's identity gives the standard notation for this rotation: ```text e^{i theta} = cos(theta) + i sin(theta) ``` This expression represents a point on the unit circle in the complex plane. Changing `theta` rotates the point. At a quarter-turn: ```text theta = pi/2 e^{i pi/2} = i ``` So: ```text i = e^{i pi/2} ``` Squaring `i` doubles the rotation: ```text i^2 = e^{i pi} = -1 ``` Therefore: ```text i = sqrt(-1) ``` more precisely: ```text sqrt(-1) = +/- i ``` This is the arithmetic reason negative values can be understood as rotated positive square-values. The negative sign is a half-turn in value-space, produced by a quarter-turn in the inner square-root layer. ## General Rotation Let the inner value be rotated: ```text a = u e^{i theta} ``` Then: ```text a^2 = u^2 e^{i 2theta} ``` The outer orientation is doubled. A quarter-turn of the inner value becomes a half-turn of the squared value: ```text theta = pi/2 (u e^{i pi/2})^2 = -u^2 ``` This is why `u^2` can be negative if `u` is not real. The negative square is not an ultrareal value; it is the result of rotating the inner value before squaring. ## Rotation-Aware Joining If two inner values carry orientations, ```text a = u e^{i alpha} b = v e^{i beta} ``` then their positive joined value is: ```text |a + b|^2 ``` Expanded: ```text |a + b|^2 = u^2 + v^2 + 2uv cos(alpha - beta) ``` The relation term depends on relative orientation. Aligned joining: ```text alpha - beta = 0 |a + b|^2 = (u + v)^2 ``` Opposed joining: ```text alpha - beta = pi |a + b|^2 = (u - v)^2 ``` Relation-erased joining: ```text alpha - beta = pi/2 |a + b|^2 = u^2 + v^2 ``` Ordinary addition is therefore not the whole operation. It is the case where the relation term is absent, canceled, or ignored.