4 ms·
I don't follow the distinction you're making. The number line is ordered and contains a 0.... The GP's explanation seems more fitting for the year 2000 ambigu
by jonahx 2y ago
I don't follow the distinction you're making. The number line is ordered and contains a 0....
The GP's explanation seems more fitting for the year 2000 ambiguity. Are you measuring completed years (celebrate millenium on NYE 2001) or are years the things happening between 0 and 1, 1 and 2, etc (celebrate on 2000, because we're already in the 2000th "gap")?
- pfortuny 2y agoOrder as in "first, second, third", whereas counting is "none, one, two". This is not a formal distinction, it is a conceptual one for things (not mathematical models).
- jonahx 2y agoThought about this a bit more... Not sure if this is what you're saying, but the concept of "space between" I alluded to seems to arise naturally whenever you have ordered items, and vice versa. Because once you have order you have the concepts "greater than"/"less than", and once you have that you have a border between your items, and your items are between those borders. This connects back to Dijkstra's consideration of <, <=, etc....
- pfortuny 2y agoYep, same idea.