Chen, Jiahao, Zheng Li, Zirui Li, Sihan Shen, and Guangzhi Sun. 2025. “The Non-Existence of Algorithm Deciding Whether a Constructive Compact Topological Space Is Simply Connected”. Science and Technology of Engineering, Chemistry and Environmental Protection 3 (3):8802. https://doi.org/10.61173/v524km74.