Agreed that digital physics is far from obvious, but the use of real numbers as our default model of the continuum is at least in part historical accident. We c

Agreed that digital physics is far from obvious, but the use of real numbers as our default model of the continuum is at least in part historical accident. We could have for instance easily ended up with locale-theoretic foundations instead, though I doubt the finitist crowd would find that any more satisfying.