Riemann Revisited II
If we built an L function on the surreals in the M Theory operadic landscape, would we care about the ordinary Riemann zeta function? Yes, of course we would, because it's very interesting! And the M Theory L function would contain the Riemann one anyway. I have reluctantly come to the conclusion that a decent definition for n-logoses really must sort out the meaning of Analysis in category theory. This can't be done the 1-topos way. At least surreals have infinitesimals. And now I should probably confess that I always had great difficulties with analysis. Well, I also have great difficulties with Geometry, Algebra and Logic, which is one good reason for studying category theory, because it rolls them all into one! But as Donaldson, Perelman and many other mathematicians have shown, beautiful proofs these days need analysis.