Return to Article Details The Non-Existence of Algorithm Deciding Whether a Constructive Compact Topological Space is Simply Connected Download Download PDF