11,157 research outputs found
Max Dehn, Axel Thue, and the Undecidable
This is a short essay on the roles of Max Dehn and Axel Thue in the
formulation of the word problem for (semi)groups, and the story of the proofs
showing that the word problem is undecidable.Comment: Definition of undecidability and unsolvability improve
- …