3 ms·
> As long as the theater is a complete metric space, we don't really care about its structure. I agree with that, but I fail to see how that means that traditi
by ccortes 6y ago
> As long as the theater is a complete metric space, we don't really care about its structure.
I agree with that, but I fail to see how that means that traditional math studies primarily infinite countable structures.
- js8 6y agoPerhaps better would be to say that traditional math studies structures constructed from countable building blocks (and we don't care so much whether the result is countable or uncountable). In contrast with CS, where the building blocks are finite, and the resulting structures can be large finite or infinite, which in practice only matters a little.