So in the end it wasn't Gödel, it wasn't Turing, and it wasn't my results that are making mathematics go into an experimental mathematics direction, in a quasi-empirical direction. The reason why mathematicians are changing their working habits is the computer. I think that this is an excellent joke!
Thinking about Godel and Turing: Essays on Complexity, 1970-2007L (ed. World Scientific, 2007) - ISBN: 9789812708977