The background, and the connection with the recursive function theory