All Questions
Tagged with computability-theory quandles
1 question
8
votes
1
answer
343
views
The equality problem between conjugate group elements
The Novikov--Boone Theorem, which is perhaps the archetypal local unsolvability result in group theory, states existence of a finitely presented group whose word problem is recursively unsolvable. ...
- 25k