did it help him arrive at a solution? i've seen a few people who have that experience - the fact that they could have a solution in a dream helped them solve the problem
This is a human behavior with a long, very interesting history. Chemist August Kekule supposedly was trying to sort out the chemical structure of Benzene, dozed off, and dreamt of a snake with his tail in his mouth:
