Riemann Revisited II
I'm so excited by this claim of Tribikram Pati! I haven't read the paper yet, but quoting from the abstract: our analysis shows that the assumption of the truth of the Riemann Hypothesis leads to a contradiction. Maybe he's right! After all, we've seen that the zeta function really shouldn't be studied within the confines of Boolean logic. But then there is already a post by Julia Kuznetsova claiming to have found the (almost inevitably present) flaw. A reply by a K. L. Lange to this criticism, supporting the proof, states, "So the main idea of [Pati] was to show, that we need that delta to prove RH, but there is no delta, so we cannot prove RH after all ..." In other words, the paper may well show that there is no proof of the Hypothesis within standard analysis. That doesn't sound surprising at all.
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.
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.
6 Comments:
Hi Kea,
This comment is on surreals rather than the Riemann zeta function.
Tony's referenced surreal tree is an adaptation from JH Conway 'On Numbers and Games' [ONAG] 2ed, 2001 figure 0.
I proposed a possible manner of treeing complex surreals in this comment [#1] at Mark Chu-Carroll 'Good Math, Bad Math'.
http://scienceblogs.com/goodmath/2007/04/
sign_expansions_of_infinity_1.php#comments
Thanks, Doug! I'll check it out.
Proof or non-proof of the Riemann hypothesis would have great importance to cosmology. It relates to whether the Universe is spherical or something else.
Hi guys! Actually, the Pati paper business is a joke. If someone could show that RH is undecidable in the usual axioms, then RH would be true, not false, because if one can't decide it's false, then one can't find a zero off the critical line! But yes, however the RH turns out, it is fascinating for physics. Now, I must get back to that undecidability question....
To your implcations about RH:
The proof idea by Alain Connes "Trace formula in noncommutative geometry and the zeros of the Riemann zeta function" leads to a promising way to handle RH.
Pati paper dien't roles that out...
Hi Klaus! Welcome! I noticed your last comment on that discussion board thread... thanks for the Connes' reference.
Post a Comment
<< Home