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

Autor:	Hao, Lefit Yuxiang, Kang, Zijie, Liu, Hongjie, Ma, Pengcheng, Zhou, Mufeng
Rok vydání:	2024
Předmět:	Mathematics - Algebraic Topology Mathematics - Optimization and Control
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2407.18537 Zobrazit plný text záznamu View this record from Arxiv