Standard positional notation requires the existence of a digit set $0, \dots, b-1$. In base $b$, the digit $b$ cannot exist, as it would trigger a carry operation. Therefore, in Base 1, the only permissible digit is $0$. This leads to a logical paradox known as the "Zero Representation Paradox."
Base 1 is the foundation of all counting. It is the most intuitive system, stripping away the abstraction of "digits" and returning to the raw essence of quantity. While it isn't practical for balancing a checkbook or launching rockets, it remains a vital concept in mathematical logic and the simplest tool for human counting. base 1
: Unary is used to prove lower bounds. A problem that is intractable (NP-hard) with binary input may become trivially solvable with unary input because the input size explodes. This highlights the difference between strongly and weakly NP-complete problems. Standard positional notation requires the existence of a
If one attempts to represent a number $N$ using the polynomial formula in Base 1: $$ N = \sum_i=0^k d_i \cdot 1^i = \sum_i=0^k d_i $$ If the only digit is $0$, then $\sum d_i$ is always $0$. Thus, a strict interpretation of positional notation collapses; Base 1 cannot represent non-zero values if $0$ is included in the digit set. This leads to a logical paradox known as
Comparing the efficiencies: $$ \fracE(1, N)E(b, N) \propto \fracN\ln N \to \infty \quad \textas N \to \infty $$ This confirms that Base 1 is asymptotically the least efficient method for representing large numbers. The "space complexity" of the representation grows linearly with the magnitude of the number, whereas all other bases grow logarithmically.
:
The representation of abstract quantities through symbolic notation is a fundamental cognitive leap in human history. The vast majority of modern arithmetic is conducted using positional systems (base $b$), where the value of a digit depends on its position. In standard notation, a number $N$ is represented as a sum: $$ N = \sum_i=0^k d_i \cdot b^i $$ where $d_i \in 0, 1, \dots, b-1$.