Chen, J. et al. 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 (Jul. 2025), 8802. DOI:https://doi.org/10.61173/v524km74.