Recursively unsolvable algorithmic problems and related questions reexamined