Name of Canada separate people from the Mohawk, most sources specifically linked the name's origin to the Mohawk word instead of the Laurentian one. A widespread perception in Canadian folklore is that Cartier misunderstood the term "Canada" as the existing proper name of the Iroquois people's entire territory rather than the generic class noun for a town or village — for instance, the Historica Foundation of Canada's Heritage Minute film devoted to Cartier's landing at Hochelaga is scripted as having Cartier believe that "Kanata" or "Canada" was the established name of the entire country. This is not supported by Cartier's own writings, however
Word problem for groups would expect it to be difficult to prove as the mapping from presentations to simple groups would have to be non-recursive. The following has been proved by Bernhard Neumann and Angus Macintyre: What is remarkable about this is that the algebraically closed groups are so wild that none of them has a recursive presentation. The oldest result relating algebraic structure to solvability of the word problem is Kuznetsov's theorem: To prove this let ⟨"X"|"R"⟩ be a recursive presentation for "S". Choose "a" ∈ S such that "a" ≠ 1 in "S". If "w" is a word on the generators "X"