# 2-knot

## Unsolvability of word problem for 2-knot complements ★★★

Author(s): Gordon

\begin{problem} Does there exist a smooth/PL embedding of $S^2$ in $S^4$ such that the fundamental group of the complement has an unsolvable word problem? \end{problem}

Keywords: 2-knot; Computational Complexity; knot theory