Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Suppose we specify a group $G$ by a set of relations, e.g. $x_1x_2x_3^{-1} = 1$. Then, the problem of determining if $G$ is finite or not is undecidable.
