Topology in PVS: continuous mathematics with applications
Topology in PVS: continuous mathematics with applications
复制标题
PVS 中的拓扑：连续数学及其应用
DOI：
10.1145/1345169.1345171
复制
发表时间：
2007
影响因子：
--
通讯作者：
D. Lester
中科院分区：
文献类型：
--
作者：
D. Lester
拓扑学在第一次遇到时似乎太抽象而没有用处。我在本文中的目的是表明-相反-它是连续数学的重要组成部分。特别是，如果一个证明可以在拓扑的层次上进行，那么它几乎总是比在特定的拓扑类（如度量空间或Domain Theory）的上下文中进行时更简单。
Topology can seem too abstract to be useful when first encountered. My aim in this paper is to show that --- on the contrary --- it is the vital building block for continuous mathematics. In particular, if a proof can be undertaken at the level of topology, it is almost always simpler there than when undertaken within the context of specific classes of topology such as those of metric spaces or Domain Theory.