“Language Identification in the Limit” (computability, epistemology, language; backlinks)