I also have a modern version of Zeno's paradox, which I invented when I was an undergrad.
-
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)
-
F myrmepropagandist shared this topic
-
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 Do they have lasers? and mirrors?