I like to think of it as Hofstadter suggests; theorem proving is mechanical Does he really say that? If so, he must not have proven any. Few things require mor

I like to think of it as Hofstadter suggests; theorem proving is mechanical Does he really say that? If so, he must not have proven any. Few things require more imagination.