4 ms·
Even in Math, coming up with good definitions is often the hard part. For example, modern point-set topology is both extremely powerful and consists of theorems
by SatvikBeri 10y ago
Even in Math, coming up with good definitions is often the hard part. For example, modern point-set topology is both extremely powerful and consists of theorems that seem obvious to prove, but that's because the definition of a topology is so well-chosen.
- catnaroek 10y agoI like how Conor McBride put it: > I usually take the presence of any proofs in my code as the cue to question my definitions. http://stackoverflow.com/a/13241158/46571 http://stackoverflow.com/a/13241158/46571