bio | website | gowers.wordpress.com |
---|---|---|

location | ||

age | ||

visits | member for | 5 years, 6 months |

seen | 2 days ago | |

stats | profile views | 31,908 |

Mathematics professor at Cambridge

Mar 19 |
comment |
Triangles, squares, and discontinuous complex functions
Incidentally, it's a nice exercise to find a map from the reals to the reals that takes every value in every open interval. Using that it isn't hard to find a map of the kind I'm claiming exists. |

Mar 19 |
comment |
Triangles, squares, and discontinuous complex functions
Yes. Just pick a single square and then make sure that the image of every open set is equal to that square -- which can be done in many ways. |

Mar 13 |
comment |
Is the ratio Perimeter/Area for a finite union of unit squares at most 4?
Suppose you have an arbitrary union U of unit squares and another unit square S. Is it possible that the ratio of the length of the part of the boundary of S that is not in U to the area of S\U is greater than 4? I presume it is, or else there would be an easy inductive proof. Or is it that this is essentially the question one wants to answer? |

Mar 9 |
comment |
Prime numbers with given difference
If you could solve the case N_1=1, N_2=3 I'd be very interested ... |

Mar 9 |
comment |
Best way to teach concept of real numbers using a hands-on activity?
I too was going to suggest calculating square roots by means of successive approximation. I wouldn't go as far as to discuss the subtleties of the real number system, but this would allow them to feel it at an intuitive level. |

Mar 8 |
comment |
Examples of inequality implied by equality.
It's Cauchy-Schwarz applied to the scalar product of X and the constant function 1. |

Mar 8 |
comment |
Are there any important mathematical concepts without discrete analog?
I'd say the discrete analogue of a continuous function is one that is continuous in some quantitative way (such as being Lipschitz) on a finite metric space. If the finite metric space is one of a sequence of spaces with unbounded size, this can be very useful. |

Mar 8 |
comment |
Are there any important mathematical concepts without discrete analog?
It amuses me that this answer has been accepted when discrete mathematicians would use analogues of every single one of these. I recommend a look at this post of Terry Tao: terrytao.wordpress.com/2007/05/23/… |

Mar 8 |
comment |
Examples of inequality implied by equality.
It's hard to formalize Pete's question, since if A is always at most B then B-A=C for some C that is always non-negative. One needs a notion of "obviously non-negative", which is often provided by a number's being a sum of squares. |

Mar 7 |
comment |
Criteria for accepting an invitation to become an editor of a scientific journal
How busy are you, how many journals are you already on, and how serious is this journal? |

Mar 7 |
comment |
How many ways can we characterize gamma function?
I disagree. A characterization would be a set of properties that turned out to be uniquely satisfied by the gamma function. It's like the difference between defining the reals as Dedekind cuts and characterizing them as the unique complete ordered field. There is a characterization of the gamma function as the unique function that satisfies f(n)=(n-1)f(n-1) and has some other smoothness property. Unfortunately, I can't remember what that other property is. |

Mar 5 |
comment |
Is there a good reason why a^{2b} + b^{2a} <= 1 when a+b=1?
An argument that backs this up to some extent is the fact that the maximum occurs at (0,1), (1/2,1/2) and (1,0). What's more, the place where the minimum occurs is, if my calculation is correct, the place where aloga = 1-a, which doesn't fill one with confidence that a slick solution exists. Even so, I don't completely rule it out. |

Mar 5 |
comment |
Linear Algebra Proofs in Combinatorics?
Actually yes ... It's possible to see who Tricki articles are by if you look at their revision history. |

Mar 4 |
comment |
Counting distinct undirected, partially labelled graphs
Sorry, I meant triples closed under the given rotation (some, but not all, of which give you triangles). If the vertices are 0,1,2,3,4,5, then some examples of such triples are 01,23,45 and 03,14,25, and also the equilateral triangles 02,24,40 and 13,35,51. In fact, there's one more triple, namely 14,25,30, and any graph with rotational symmetry of order 3 is a union of these triples, so there are 32 such graphs. |

Feb 27 |
comment |
Can a connected planar compactum minus a point be totally disconnected?
Is there an example of a compact connected set such that no two points can be joined by a path? |

Feb 26 |
comment |
Heuristic argument for the prime number theorem?
That may indeed be exactly what I am looking for. I'll have to digest it carefully to see. |

Feb 24 |
comment |
Value of “of course” in the mathematical literature
Was it by any chance me? Probably not, but it is something I have often said. But I didn't think it up for myself -- I got it from David Preiss. It's useful not just for evaluating the work of others, but also one's own work. That is, if you've just written a proof of something but don't feel quite secure about it, look for the bits where you didn't give full detail. |

Feb 7 |
comment |
alternative construction of the quotient group
I don't claim it's a good way of doing things, but one could (in desperation) argue that here one is defining quotients in just one situation (what you need to define a group in terms of generators and relations) and getting all quotients out of it. But I wouldn't want to go to the wall on this one ... |

Feb 3 |
comment |
Why does the Riemann zeta function have non-trivial zeros?
That is a very useful comment -- thanks! |

Feb 2 |
comment |
Why does the Riemann zeta function have non-trivial zeros?
That was another of the thoughts that lay behind my question. Somehow the fact that the distribution of primes can't be "better than random" feels like a fact that ought to have an elementary proof using some Parseval-like identity. I suspect the zeta function is sort of doing that (with a Mellin transform rather than a Fourier transform), but it doesn't appear to be saying something simple like, "That function has the same L_2 norm and trivially has L_2 norm at least the square root of n." |