Comment Re:Headline mathematics fail (Score 1) 233
True, but the article describes further pushback from two other (highly prominent) mathematicians, Alexander Beilinson and Thomas Hales.
In a five year period we can get one superb programming language. Only we can't control when the five year period will begin.