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,Pengcheng Ma,Mufeng Zhou
2024-07-26
Abstract: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 is trivial. This finding shows the inherent limitations of computer methods in resolving certain topological problems.
Algebraic Topology,Optimization and Control
What problem does this paper attempt to address?