3 ms·
To be fair, time was considered to provide a pretty universal total ordering up until fairly recently, i.e., 1903.
by marshray 13y ago
To be fair, time was considered to provide a pretty universal total ordering up until fairly recently, i.e., 1903.