拓扑空间上的可计算性的中期报告

拓扑空间上的可计算性的中期报告可计算性理论是关于计算问题是否有解的研究。拓扑空间也与可计算性问题有很大的关系，在可计算拓扑学中研究了拓扑空间上的可计算性质，研究范围包括拓扑空间的基本性质、拓扑空间之间