Martin Escardo on Nostr: writes "But I've never been interested in solving precisely stated hard problems. To ...

writes "But I've never been interested in solving precisely stated hard problems. To me, the interesting part of math is finding beautiful structures that help us understand reality better - and even more importantly, clearly explaining these structures"

+1.

Yes, understanding is what entices me to do mathematics. Most theorems I prove (and definitions I come up with) are to further my own understanding and to try to explain it to other people.