Extendability of continuous maps is undecidable

Martin Cadek, Marek Krcal, Jiri Matousek +2

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational…