I think the development of deductive logic in the last hundred years, and the development of the computer have really [uh] brought home very dramatically just what a different state we are in with respect to proof in the mathematical sciences which we can state rigorous cannons for, and proof in what used to be called the inductive sciences where we can state general maxims, but you really have to use intuition, general know-how and so on in applying them. 