Proof: pure mathematics is no longer a game

Posted 6 Dec 2013 at 23:46 UTC (updated 7 Dec 2013 at 23:14 UTC) by badvogato Share This

Pure mathematics is no longer a game for the young and restless only. Thanks to Chinese American Dr. Zhang Yitang's daring effort at raising the bar for 'bounded gap of prime numbers' from two to 70 millions, hence start the race towards solving 'Twin Prime Conjecture'

I am so pleased to watch this most recent coverage for Chinese audience from reporter of Voice of America. I've met most of Chinese folks in that interview.

I have been writing about inspirations Dr Zhang has inadverdently generated by his publication at Annuals of Mathematics. I read many coverage about this great excitement in pure mathematics world. I am particularly like this reader's comment quoted below. It goes back to my own thinking 'What is mathematics, really'. Once a maths lover, always a maths lover. Once a warrior, always a warrior. Life is beauty and terror. Mathematicians must have terrifying moments, that what millions see as self evident, need no proof, he has to take on the challenge to provide a mathematical proof without any funding from world government but private institution like Princeton Advanced Study.

"When there are possibly a million approaches towards solving a problem, and the feasibility of each approach is verifiable in polynomial time, this problem is called NP-HARD. When a prophet tells you that one particular approach is doable, then everybody can solve this problem in polynomial time.

When there are a million conjectures, and the provability of each conjecture requires indefinite time to know, this family of conjectures is called UNDECIDABLE. When a prophet tells you that one particular conjecture (e.g. bounded gaps between primes) is doable with contemporary techniques (modification of GPY), then a lot mathematicians, Tao for instance, would stop their current work and prove the conjecture “within months of each other”. I think you shouldn’t call this “a complete coincidence”.


What I do at my workplace is no pure mathematics nor rocket science. But I appreciate my own work, even when others have no need or no desire to pay attention to those details I spent majority of my time re-work out many inherited 'lousy' programming procedures. Here is an example, re-worded for this forum's liberal-minded readers:

A basic SQL problem:

if i have a result set, say:

CREATE OR REPLACE PROCEDURE DEL_OFOFFLINE_OLDMSG AS

V_max ofHolyPresence.Offlinedate%type := NULL

BEGIN

delete from ofoffHolyline

where creationdate older than ( select max(AdamIsBorn) from ofoffHolyline ) - ChristResurrect;
commit;

END

END DEL_OFOFFLINE_OLDMSG

DISCLAIMER: THIS IS NOT A GENOCIDE PROCEDURE BUT PURIFYING FOR THE SAKE OF THIS PLANET TREES.

Since there can easily be many millions of records in my result set, current implementation is VERY inefficient at dealing with 'batch' deletion as it attempts to go through an INNER loop and joining two tables and sort messages that belong to one user. I have no control over chained blocks which might cause condition at any unspecific time when one out of thousands users might NOT be able to get messages delivered to him in real time when the job is in the run, how can I declare a curse/pointer to delete, let's say, 100 records at a time, regardless of what religious holy book it belongs to?

in maths world, criticisms can always settle on good terms?, posted 8 Dec 2013 at 00:46 UTC by badvogato » (Master)

like in this case?

Open Source IS amazing.

more to read about obscure maths advancement, posted 8 Dec 2013 at 02:12 UTC by badvogato » (Master)


There was another superb recent advance in the field: Peter Scholze’s construction of Galois representations attached to torsion classes in the cohomology of locally symmeteric spaces for GL_n.

Since it doesn’t deal with elementary mathematics, it of course, recieved absolutely no press. Can one hope that someone at Quanta will take up the challenge to write a popular piece on it?

Nobel Peace Prize , posted 9 Dec 2013 at 16:09 UTC by badvogato » (Master)

I have to air my dissent that awarding Nobel Peace Prize to Liu Xiaobo was a bad miscalculation from all parties. If Liu hadn't been awarded the prize, his wife wouldn't be as depressed as she is NOW. Husband and wife may still continue to work as a team for a brighter future they believed in, for better or for worse.

Kidnapping of Dr. Wang Bingzhang was a far worse violation of human rights . Resue Dr. Wang bingzhang from his sentence of life in Chinese prison ought to have more urgent call than any other case.

pure politics is still the only game in town?, posted 23 Dec 2013 at 15:46 UTC by sye » (Journeyer)

Luis E. Tellez

President

The Witherspoon Institute
================================================================================

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

In this Issue
Highlight Articles from Public Discourse
Guangcheng Chen Made Senior Fellow
Benjamin Carson Receives Witherspoon Medal
Jennifer Bryson Published in New Book
Robert George Elected Chair of U.S. Religious Freedom Commission
The Institute on Facebook and Twitter
SUPPORT THE INSTITUTE

UK Guardian links Gary Locke stepping down with Chen Guangcheng's ill-timed fate.

IMHO, in Cheng Guangcheng's place was the ghost of Dr. Wang

United Nations Working Group declared ..., posted 23 Dec 2013 at 21:42 UTC by badvogato » (Master)

Arbitary detention of Dr. Wang Bingzhang and a top priority in its Foreign Policy. Yet what Gary Locke has accomplished during his stay in China and what Witherspoon Institution is doing now?

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!

X
Share this page