Word problems, etc. Computability and recursion theory mathematics