[lyle_nel]

Write me a programs that could write me a program that could write Doug Lenat's Automated Mathematician ... and so on and so forth.

[beat]

I wonder how many people in this thread have read Hofstadter's Gödel, Escher, Bach?