La semisomma di due numeri (diversi) è sempre compresa strettamente tra essi. Questa proprietà vale anche per i numeri e le operazioni di una calcolatrice?
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.