Chen, J.; Li, Z.; Li, Z.; Shen, S.; Sun, G. The Non-Existence of Algorithm Deciding Whether a Constructive Compact Topological Space Is Simply Connected. STECEP 2025, 3, 8802.