Computability, Enumerability, Unsolvability by S.B. Cooper