> 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 quas

> 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! - Gregory Chaitin, 2007[1] 1: https://books.google.com/books?id=DS7AOrIw8bkC&pg=PA97&lpg=PA97 https://books.google.com/books?id=DS7AOrIw8bkC&pg=PA97&lpg=P...