Theorems... record more complex patterns of thinking that once shown to be valid need not be repeated every time they are needed. - Richard Hamming

I noticed the following facts about people who work with the door open or the door closed. I notice that if you have the door to your office closed, you get more work done today and tomorrow, and you are more productive than most. But 10 years later somehow you don't quite know what problems are worth working on; all the hard work you do is sort of tangential in importance. He who works with the door open gets all kinds of interruptions, but he also occasionally gets clues as to what the world is and what might be important.

An idea which arises in the field, based on the direct experience of the people doing the job, cannot get going in a centrally controlled system... The not invented here (NIH) syndrome is one of the major curses of our society...

This is the type of AI I am interested in—what can the human and machine do together, and not in the competition which can arise. ...There are doubts as to what fraction of the population can compete with computers, even with nice interactive prompting menus.