I also have a modern version of Zeno's paradox, which I invented when I was an undergrad. The question I asked is whether a species of ants living on a line R¹ could, through a finite number of measurements, actually know for certain that they are living on R¹ and not on a different model of the first order theory of the reals, for example the algebraic closure of Q (which is countable and not closed under limits)

julesh@mathstodon.xyz
@julesh@mathstodon.xyz
A forum for discussing and organizing recreational softball and baseball games and leagues in the greater Halifax area.