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.
Mga sumusunod na mga ideya ng Turing 's Boone sa wakas proved ang kawalan ng kayang matutunaw ang mga salita ng mga problema para sa mga grupo sa 1957, dalawang taon matapos Novikov-publish na ang kanyang patunay.