One of the first problems suspected to be undecidable, in the second sense of the term, was the word problem for groups, first posed by Max Dehn in 1911, which asks if there is a finitely presented group for which no algorithm exists to determine whether two words are equivalent.
یکی از اولین مسائلی که مشکوک به غیرقابل حل هستند در معنای دوم واژه، کلمه مسئله برای گروه‌ها است که اولین بار بوسیله Max Dehn در سال۱۹۱۱ مطرح شد، که از وجود یک گروه ارائه شده پایان پذیر می‌پرسد که برای آن‌ها الگوریتمی وجود ندارد تا تعیین کند آیا دو کلمه ارز هستند یا نه.