The heart of OCD is a feeling of "not being right" or repeating a ritual until it "feels right." A creative mathematician experiences intuition as a feeling there is "something going on here but I don't know what it is" according to William Byers in How Mathematicians Think. You were probably taught in high school that mathematics is a rigorous and logical endeavor and that for every mathematical principle there is a proof. It was implied to you that mathematicians seek out new principles by following threads of logic from an existing proof to a new proof. You were taught a myth. Most mathematical breakthroughs began with an intuition. Only later, after the instruction was explored well enough to believe it was true, to believe it was worth proving, perhaps even after it was proved to the satisfaction of the mathematician was an "official" proof created for the record. Proof comes after the fact, not before it. An interesting relationship bet...
What's on my mind from the castle.