bio | website | gowers.wordpress.com |
---|---|---|
location | ||
age | ||
visits | member for | 5 years, 5 months |
seen | Mar 16 '14 at 23:40 | |
stats | profile views | 31,755 |
Mathematics professor at Cambridge
Mar 29 |
asked | What can be proved about the Ramanujan conjecture using elementary means? |
Mar 2 |
awarded | Popular Question |
Mar 2 |
awarded | Good Question |
Feb 7 |
awarded | Good Answer |
Nov 28 |
awarded | Nice Answer |
Nov 22 |
awarded | Nice Answer |
Oct 26 |
comment |
Believing the Conjectures
Going back to your hypothetical Tsirelson story, I still don't see what Maximize adds to it. Why not just say that if you've tried hard to prove a conjecture, it becomes more reasonable to doubt it, regardless of what that conjecture looks like? (This doesn't apply to all conjectures: for example, our failure to prove the twin prime conjecture doesn't suggest that it might be false, since there are good heuristic reasons to expect both that it is true and that it is hard to prove.) |
Oct 26 |
comment |
Believing the Conjectures
This discussion, which I find very interesting by the way, leaves me with the feeling that I don't understand very well what the rules of thumb are really saying and what their purpose is. I agree about Banach space theory: in some ways it is a very structureless subject, because any old bunch of functionals can be used to define a norm (as long as you've got enough of them that you don't have just a seminorm), but from time to time it springs surprises -- the almost negligible constraints nevertheless interestingly restrict what you can do. |
Oct 26 |
comment |
Believing the Conjectures
The general point I'm making here is that in this context it's the mathematics that tells us to what extent Maximize is an appropriate principle, rather than the principle that is guiding our mathematical expectations. |
Oct 26 |
comment |
Believing the Conjectures
Is Tsirelson's space an example of the success of Maximize? Again, I have my doubts. Before his example, it was reasonable to try to prove that every space did contain $c_0$ or $\ell_p$ -- all known spaces did, sometimes for quite non-trivial reasons. I would contend that it was only after (i) a failure, despite considerable efforts, to prove positive theorems and (ii) Tsirelson's example that it became reasonable to believe quite strongly that if you can't easily prove something about a general Banach space, then it is probably false. And there have been counterexamples to that principle ... |
Oct 26 |
comment |
Believing the Conjectures
As for Maximize, I find it unhelpful in this context, since it is not clear what is "likely to occur". For example, it is still open whether there exists an infinite-dimensional Banach space such that every operator defined on it is a multiple of the identity plus a nuclear operator. I feel as though the answer could go either way, and no principle like Maximize is going to alter that perception. On the other hand, the existence of examples with comparable properties, such as Argyros and Haydon's construction where "nuclear" is replaced by "compact", does have an impact. |
Oct 26 |
comment |
Believing the Conjectures
The fact that there ought to be a separable example is too trivial to count as a success of Reflection, since if there is any example at all, you can take a separable subspace of it and then you've got a separable example. |
Oct 25 |
answered | Believing the Conjectures |
Oct 20 |
awarded | Yearling |
Oct 14 |
revised |
“Mathematics talk” for five year olds
changed "phenomenon" to "phenomena". |
Sep 20 |
awarded | Nice Question |
Sep 8 |
revised |
Philosophy behind Mochizuki's work on the ABC conjecture
fixed typo |
Sep 8 |
comment |
Is every distance-regular graph vertex-transitive?
Yes, but the hypercubes are vertex transitive, as are most of the obvious families. |
Sep 7 |
answered | Is every distance-regular graph vertex-transitive? |
Sep 6 |
comment |
A combination of two well-known complexity problems
@joro, what you're asking is in a sense what's in the back of my mind when I asked the original question: hard instances of graph isomorphism are rather delicate, so can they be combined with a condition about containing Hamilton cycles? If they can't, then the answer to my question is that you can indeed distinguish between the two situations. |