[EM] Method Definition Considerations
Kristofer Munsterhjelm
km_elmet at t-online.de
Sun Jun 5 02:43:40 PDT 2022
On 05.06.2022 03:14, Forest Simmons wrote:
> Traditional math exposition, whether text book, lecture, journal
> article, or monograph, tends to have a top down deductive logical
> structure that belies all of the messy trial and error scratch work that
> accompanied the creative process.
>
> This was the style of Gauss ... unveil the finished work in all of its
> polished, deductive logical glory, without any hint of the inductive
> scaffolding or chisel marks that went into the finished work.
This is a little bit off topic, but one thing I wished someone would've
told me at university is just how difficult it is to come up with the
one trick that makes a proof work.
You tend to see (in mathematics/compsci papers at least) something like:
"We wish to reduce minimizing the spectral norm of this matrix function
of M to a convex second order cone program, which we can do by
augmenting the input matrix M like so
0 I
W = M M^T - I
and solving the associated optimization program, minimize f^Tx subject
to ||Wx||_2 < b as follows..."
There's then a brief proof of why just this choice of W works, but the
authors might as well have pulled the transformation out of a hat. The
problem is that this makes everything seem so easy: you just proceed
through the steps and the intended relation falls out at the end.
Then try to do it yourself in a novel setting and it's not so easy anymore.
Maybe students just want to know how, but I would say any aspiring
researcher would also want to know why... or at least in my case, know
that it's perfectly normal to be hitting one's head against a wall for a
long time before finding just *what* trick to use!
More generally, some problems are much easier to phrase than they are to
solve. (Particularly number theory, hence Barry Mazur's quote.) I think
providing an intuition of just what kind of problems are deceptive or
merely hard would be a good idea, although I'm not sure how to do it :-)
-km
More information about the Election-Methods
mailing list