La semisomma di due numeri (diversi) è sempre compresa strettamente tra essi.  Questa proprietà vale anche per i numeri e le operazioni di una calcolatrice che opera con 10 cifre?

I numeri di una semplice calcolatrice ("numeri-macchina") di questo tipo 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. La nostra calcolatrice opera a 10 cifre, per essa tra 1234567890 e 1234567891 non possono esservi altri numeri (1234567890.1, 1234567890.2, … avrebbero più di 10 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 1234567890 e 1234567891: la somma è 2469135781, che diviso due fa 1234567890.5, che per la calcolatrice diventa 1234567891.

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