"Nowadays we can do computer experiments using Mathematica, and even solve a system of 42 equations. This offers another route to knowledge, rather than mere ideas."

Next Quote

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