Tag Archives: Fruitfulness

Re: Paper and slides on indefiniteness of CH

Dear Harvey,

I realize you’re talking about ‘good mathematics’ rather than ‘deep mathematics’, but I hope you won’t mind if I take the liberty of transposing your remarks to the context of the workshop.

I have never heard mathematicians talk directly about what good mathematics is in any kind of generality.

Actually, for example, Urquhart presents some interesting quotations from people like Timothy Gowers and Terence Tao.

In talking separately to different kinds of mathematicians over the years, it is obvious that there is a huge amount of disagreement about how to evaluate mathematics, what it’s purpose it, what it means, and so forth.

Sure.  And it may turn out that ‘depth’ is just a term people use to mean ‘I like it’.  But that isn’t entirely clear yet.  In fact, many of the ideas you touch on were discussed at the workshop as potential symptoms or features of depth.  For example …

If the problem has resisted solution for a very long time, and it is known that some mathematicians with very strong reputations worked on it and failed to solve it, then mathematicians will generally regard the solution as extremely good mathematics.

This looks more like a symptom than a feature.

the solution uses considerable machinery … that promises further solutions to further problems.

This looks like ‘fruitfulness’, which may or may not be connected to depth.

There is a major premium paid for interactions between areas of mathematics – particularly if the interaction is unexpected.

This last is perhaps the suggestion most uniformly embraced.  The group pondered the problem of what counts as an ‘area’ of mathematics — is this something inherent in the math, or is it just a reflection of our human ways of dividing things up?  There’s also the question of ‘unexpected’ — is this just a matter of what we humans happen to be surprised by or is it a sign of something more fundamental in the math itself?

All best,