9 ms·
Definitions and theorems to prove are (in some sense) more interesting than the proof of a given theorem.
by lixtra 6y ago
Definitions and theorems to prove are (in some sense) more interesting than the proof of a given theorem.
- bunje 6y agoYes, I agree. As a mathematician, I spend lots of time trying to find the correct definitions with only a rough idea what I'm trying to prove (the theorem).
- orange3xchicken 6y agoConversely, in theoretical cs, there are many longstanding open problems. People who make progress on these problems are taken seriously and listened to precisely because they have new techniques and novel approaches that have not been considered previously - i.e. the theorems & definitions are well understood, but the proofs are the significant element.