Chen, Jiahao, Zheng Li, Zirui Li, Sihan Shen, and Guangzhi Sun. “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, no. 3 (July 6, 2025): 8802. Accessed October 24, 2026. https://stecep.deanfrancis.press/article/view/951.