show/hide this revision's text 1 [made Community Wiki]

There are finitely presented groups whose word problem is undecidable in computability theory.