Besonderhede van voorbeeld: -2096620372200028323

English

Following these ideas of Turing 's Boone finally proved the insolubility of the word problem for groups in 1957, two years after Novikov published his proof.

Korean

'튜링의 이런 아이디어를 다음과 같은 분이들 드디어 1957 년 그룹에 대한 단어가 문제의 불용 해성 증명, 2 년 만에 Novikov 그의 증거를 공개했다.