"According to this view, the mind is always capable of this direct contact. But only a little may come through at a time. Mathematical discovery consists of broadening the area of contact. Because of the fact that mathematical truths are necessary truths, no actual 'information', in the technical sense, passes to the discoverer. All the information was there all the time. It was just a matter of putting things together and 'seeing' the answer! This is very much in accordance with Plato's own idea that (say mathematical) discovery is just a form of remembering! Indeed, I have often been struck by the similarity between just not being able to remember someone's name, and just not being able to find the right mathematical concept. In each case, the sought-for concept is in a sense already present in the mind, though this is a less usual form of words in the case of an undiscovered mathematical idea."