((new)) - Base 1
In a universe of abstraction, Base 1 is the irreducible atom of quantity.
This is a modification of pure unary used to delimit numbers in a stream. While inefficient for large numbers, unary coding is optimal for encoding symbols where the probability distribution follows $P(x) = 2^-x$. This demonstrates that Base 1 is not merely a historical artifact but a tool for specific probabilistic models. base 1
: Unary numbers (e.g., Peano numerals S(S(0)) ) are the natural representation for inductive proofs. In a universe of abstraction, Base 1 is
Base 1 is a "bijective" numeral system that uses only one symbol to represent all natural numbers. Unlike Base 10, which uses ten digits (0–9), or Base 2, which uses two (0 and 1), Base 1 relies entirely on repetition. In Base 1: The number is represented as * The number 2 is represented as ** The number 3 is represented as *** The number 4 is represented as **** The Absence of Zero This demonstrates that Base 1 is not merely
Negative numbers are impossible in pure Base 1. One can extend it with a sign symbol (e.g., -111 for -3), but that moves beyond a pure base system.
As $b$ increases, the efficiency of representation improves. Conversely, as $b$ decreases toward its theoretical minimum, the system approaches the unary system (Base 1). This paper posits that Base 1 is not merely the limiting case of a positional system, but a distinct class of additive representation that necessitates a unique mathematical formalism.
While positional numeral systems of base $b$ (where $b \geq 2$) form the bedrock of modern mathematics and computer science, the case of $b=1$ remains a theoretical singularity often dismissed as trivial or degenerate. This paper provides a deep examination of the Base 1 (unary) system. We explore its deviation from the standard polynomial definition of positional notation, its historical significance as the earliest form of abstract counting, its distinct computational properties regarding bijectiveness and information density, and its continued relevance in theoretical computer science through applications like unary coding and proof complexity. We demonstrate that while Base 1 fails to satisfy the algebraic requirements of a standard positional system, it constitutes a robust additive numeral system with unique pedagogical and computational utility.