← Back to context Comment by bollu 4 years ago I don't doubt it, but I don't immediately see the proof either. What's the key idea? 1 comment bollu Reply contravariant 4 years ago Most spaces that computers deal with are basically discrete.Technically this may not always be the case but it's very hard to construct a convincing counter example.
contravariant 4 years ago Most spaces that computers deal with are basically discrete.Technically this may not always be the case but it's very hard to construct a convincing counter example.
Most spaces that computers deal with are basically discrete.
Technically this may not always be the case but it's very hard to construct a convincing counter example.