3 ms·

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.