3 ms·

Hold on a second. Calling topological spaces a generalization of a concept-attribute table is a pretty ahistorical take. They were introduced to generalize metr

Hold on a second. Calling topological spaces a generalization of a concept-attribute table is a pretty ahistorical take. They were introduced to generalize metric spaces and other concrete examples. Do you have a link to where Pratt (or someone else) has applied Chu spaces to facilitate solving a problem (either practical or theoretical)? Because that is the crux of the issue.

chalst 5y ago
That page mentions Steve Vickers' book Topology via Logic, which motivates the study of topology in computer science via this application.
- spekcular 5y ago
  What application? What problem is solved?
  - chalst 5y ago
    By application, I meant the theory can find application in another problem domain. Vickers doesn't discuss it, but this idea of modelling properties as open sets was used in Edalat's implementation of exact real arithmetic.