I numeri di una calcolatrice ("numeri-macchina") sono in quantità finita in quanto sono sequenze finite di simboli formati con un insieme finito di simboli.
Quindi ogni numero-macchina ha per forza il suo numero-macchina immediatamente successivo, e tra essi non può esistere altro numero. Ad esempio se la calcolatrice opera ad 8 cifre, per essa tra 12345678 e 12345679 non possono esservi altri numeri (12345678.1, 12345678.2, … avrebbero più di 8 cifre).
In particolare, preso un numero macchina e quello immediatamente successivo, la loro semisomma non può stare tra essi.
Proviamo a vedere che cosa viene nel caso di 12345678 e 12345679: la somma è 24691357, che diviso due fa 12345678.5, che per la calcolatrice diventa 12345679.

Per altri commenti: "strutture numeriche e non" neGli Oggetti Matematici.