Max Dehn, Axel Thue, and the Undecidable

Abstract

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