Post ArHmujyAzB70Vpfr6m by julesh@mathstodon.xyz
 (DIR) More posts by julesh@mathstodon.xyz
 (DIR) Post #ArHmujyAzB70Vpfr6m by julesh@mathstodon.xyz
       2025-02-19T10:16:20Z
       
       0 likes, 1 repeats
       
       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)
       
 (DIR) Post #ArHmxFSKtIKqkFyd8a by futurebird@sauropods.win
       2025-02-19T19:22:42Z
       
       0 likes, 0 repeats
       
       @julesh Do they have lasers? and mirrors?
       
 (DIR) Post #ArHnixE5yIXI6g41c8 by julesh@mathstodon.xyz
       2025-02-19T19:31:17Z
       
       0 likes, 0 repeats
       
       @futurebird Ants equipped with the ingredients to make a death ray sounds cool, so let's say yes