Non-existence of an Algorithm for Determining the Triviality of the Second Homotopy Groups of Arbitrary Compact Topological Spaces

Lefit Yuxiang Hao, Zijie Kang, Hongjie Liu +2

In this paper, we demonstrate the non-existence of a computational algorithm capable of determining whether the second homotopy group of any compact constructive topological space…