I think this would be extremely valuable:
“We need to focus far more energy on understanding and explaining the basic mental infrastructure of mathematics—with consequently less energy on the most recent results.”
I’ve long thought that more of us could devout time to serious maths problems if they were written in a language we all understood.
A little off topic perhaps, but out of curiosity - how many of us here have an interest in recreational mathematics? [https://en.wikipedia.org/wiki/Recreational_mathematics]