@abs@jordyd If you don't believe in the Reals, you probably shouldn't believe in continuous time either. I'm not sure how you plan on slicing time any thinner than h/c, but you'd probably do so constructively. Or how else would you get an infinite number of intermediate time points between two moments in time?
@Koishi It's not a problem, but wouldn't the rationals be compatible with discrete time? For any rational number in time, you can build a discrete timeline leading to it. As opposed to like pi seconds from now. @abs@jordyd
@thomate@abs@Koishi Yeah the rationals are discrete, tho in this context linear temporal logic seems to make the assumption that for every moment in time, there is a single "next" moment, which would not make sense for rational time
@jordyd@abs@Koishi Aha yes, that gets tricky. That sort of linearity is a very useful simplification, and even matches reality when quantum functions are collapsed, where you can construct such a linear timeline. But it's true, if you want to describe a state where a quantum function hasn't been resolved to a classical state, that's not linear.