## Category: Thoughts on mathematics

### The nightmare

In September 30 the mathematician Vladimir Voevodsky passed away. Voevodsky, a Fields medalist, is a mathematician of whom I barely heard earlier, but after bumping into an obituary I was drawn to read about him and about his career. His story is remarkable in many ways. Voevodsky comes out as brilliant, intellectually honest giant, who bravely and honestly confronted the crisis that he observed “higher dimensional mathematics” was in.

### A comment on the sowa versus Gowers affair

I wanted to write about something else this weekend, but I got distracted and ended up writing this post. O well…

This is post is reply to (part of) a post by Scott Aaronson. I got kind of heated up by his unfair portrayal of the blog “Stop Timothy Gowers!!!“, and started writing a reply which got to be ridiculously long, so I moved it here.

### Tapioca on page 49

To my long camping vacation this year I took the book “Topological Vector Spaces” by Alex and Wendy Robertson. I “inherited” this book (together with a bunch of other classics) from an old friend after he officially decided to leave academic mathematics and go into high-tech. The book is a small and thin hard-cover, with pages of high quality that are starting to become a delicious cream color.

### Journal of Xenomathematics

I am happy to advertise the existence of a new electronic journal/forum/website: Journal of Xenomathematics. Don’t worry, it’s not another new research journal. The editor is John E. McCarthy. The purpose is to discuss mathematics that is out of this world. Aren’t you curious?

### Thirty one years later: a counterattack on Halmos’s critique of non-standard analysis

As if to celebrate in an original way the fifty year anniversary of Bernstein and Robinson’s solution to (a generalization of) the Smith-Halmos conjecture (briefly, that if $T$ is an operator such that $p(T)$ is compact for some polynomial $p$, then $T$ has an invariant subspace), several notable mathematicians posted a interesting and very nonstandard (as they say) paper on the arxiv.

This paper briefly tells the story regarding the publication of this paper, in which Bernstein and Robinson use Robinson’s new theory of non-standard analysis (NSA) to prove the above mentioned conjecture in operator theory. This was one of the first major successes of NSA, and perhaps one would think that all of the operator theory community should have accepted the achievement with nothing but high praise. Instead, it was received somewhat coldly: Halmos went to work immediately to translate the NSA proof and published a paper proving the same result, with a proof in “standard” operator theoretic terms. (See the paper, I am leaving out the juicy parts). And then, since 1966 until 2000 (more or less), Halmos has been apparently at “war” with NSA (in the paper the word “battle” is used), and has also had criticism of logic; for example, it is implied in his book that he did not always consider logic to be a part of mathematics, worse, it seems that he has not always considered logicians to be mathematicians. (When I wrote about Halmos’s book a few months ago, I wrote that I do not agree with all the opinions expressed in the book, and I remember having the issue with logic and logicians in my mind when writing that).

In the paper that appeared on the arxiv today, the authors take revenge on Halmos. Besides a (convincing) rebuttal of Halmos’s criticisms, the seven authors hand Halmos at least seven blows, not all of them below the belt. The excellent and somewhat cruel title says it all: A non-standard analysis of a cultural icon: the case of Paul Halmos.

Besides some feeling of uneasiness in seeing a corpse being metaphorically stabbed (where have you been in the last thirty years?), the paper raises interesting issues (without wallowing too much on either one), and may serve as a lesson to all of us. There is nothing in this story special to operator theory versus model theory, or NSA, or logic. The real story here is the suspicion and snubbish-ness of mathematicians towards fields in which they do not work, and towards people working in these fields.

I see it all the time. Don’t kid me: you have also seen quite a lot of it. It is possible, I confess, that I have exercised myself a small measure of suspicion and contempt to things that I don’t understand. As the authors of the paper hint, these things are worse than wrong – they might actually hurt people.

Anyway, many times people who are ignorantly snobbish to other fields end up looking like idiots. Stop doing that, or thirty years from now a mob of experts will come and tear you to shreds.

P.S. – It seems that the question of who was the referee of the Bernstein-Robinson paper is not settled, though some suspect it was Halmos. Well, if someone could get their hands on the (anonymous!) referee report (maybe Bernstein or Robinson kept the letter?), I am quite sure that if it was Halmos, it would be clear. In other words, if Bernstein or Robinson suspected that it was him on account of the style, then I bet it was.

P.P.S. – regarding the theorem starting this discussion the quickest way to understand it is via Lomonosov’s theorem. The invariant subspace theorem proved by Bernstein and Robinson (polynomially compact operator has an invariant subspace) is now superseded by Lomonosov’s theorem (google it for a simple proof), which says that every bounded operator on a Banach space that commutes with a nonzero compact operator has a non-trivial invariant subspace.