Todd Knarr

@SmartmanApps @WahFo It's not the base that's different, it's the set of integers themselves. If you take the largest representable integer on a computer and add 1 to it, it wraps around to give you the smallest representable integer. In normal integer arithmetic there isn't a largest integer (or a smallest), the set of integers is infinite.

There are also arithmetics on a finite domain where adding 1 to the largest integer doesn't wrap around, it simply isn't defined.

@WahFo Yes. 😁

Consider that the integer arithmetic computers use isn't the integer arithmetic we use. Nor is FP arithmetic the same as the real-number arithmetic we're used to. And you can frame formal logic as a mathematical system with some really interesting properties distinct from normal math.