So in the end it wasn't Gödel, it wasn't Turing, and it…
“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!”
About This Quote
This interpretation was drafted with AI assistance. It is one reading of the quote, not the author's own explanation.
Computers are reshaping mathematics into an experimental, quasi‑empirical field, a shift the speaker finds amusing
In simple terms: Computers turn math into an experimental science
Key Takeaway
Embrace computational tools in mathematical research
Themes
mathematics
computing
experimental methods
philosophy of science
Mood
thoughtful
playful
Type
lecture
philosophical
When to use this quote
- theoretical research
- educational curricula
- grant proposals
Key Concepts
algorithmic proof
empirical validation
simulation techniques
Questions to Reflect On
- How balance experimental and theoretical approaches?
- What limits do computers impose on mathematical insight?
A Different Perspective
Overreliance on computation may diminish pure reasoning