Answer
In addition to his research on Gödel's incompleteness theorems, Douglas Hofstadter has also researched the process of discovery in mathematics. He has argued that mathematical discovery is not a purely logical process, but rather involves a combination of creativity and intuition. Hofstadter has also proposed a number of theories about the nature of mathematical creativity, and has developed a number of computer programs that can generate mathematical theorems.