Metadata
Author: ParaCrawl Corpus
Data
English[en]
Post showed that the word problem for semigroups was recursively insoluble in 1947, giving the solution to a problem which had been posed by Thue in 1914.
Korean[ko]
포스트 semigroups에 대한 단어를 문제를 재귀적으로 1947 년, 어느 Thue에 의해 1914 년에 있었다 인한 문제에 대한 솔루션을 제공했다 불용성했다.