"The presentation of facts in logical form contributes to a confusion between discovery and proof. If the process of discovery were mere synthesis, any mechanical manipulator of prior partial concepts would have reached the insight and it would not have taken a genius to arrive at it."