Knuth's mysterious announcement at the TeX user group gathered some interest on here, but even several hours later no specifics about it seem to be anywhere online. Can someone who was there or found out about it share what it was about?
I did a quick twitter trawl an hour or so after, and it seems like it was actually a joke: a new successor to TeX, using XML, arbitrary precision, and auto-layout.
Also, my favourite was this one: http://twitter.com/elmindreda/statuses/17444964495
"Anyone looking to profile Twitter users can easily identify all programmers today simply by searching for "Knuth"."
I truly worry about the overzealous killing of yc news stories. I can't be the only one who's noticed a recent uptick in the number of stories killed for no apparent reason.
Unfortunately, when they killed it I assumed that it was because it was a hoax submission. It was news that this community was waiting days (months?) to hear about, so, although perhaps not a full news story, it was certainly of interest here. And probably of more interest than "X reasons I love/hate Y" for a lot of us.
Same thing happened to Reddit years ago. As if a battalion 4chan script kiddies had nothing better to do than sick a downvoting botnet on Reddit to decrease its signal:noise ratio. I hope they haven't targetted HN now too. :/
In retrospect, if Knuth had an actual "earthshaking announcement" to make, he probably would have pre-announced it a bit more prominently, or not at all.
Most would not believe him straight away, since it is highly unlikely that P=NP. If the proof holds up to scrutiny though, it is not an issue of belief any more (apart form the social process of proof of course).
Actually, in formal areas of academia (like math, where I studied), there can be considerable use of intuition even after a 'proof' goes out.
I would say this is a good thing, as there are also many cases where a 'proof' is later shown to have holes, areas where everyone made an assumption and didn't realize it.
A good example of this involves limits; for many years mathematicians proved a number of interesting results using infinitesimal limits. It was many decades before a mathematician (Riemann? Maybe?) noted that you can't assume that all the limits in an equation approach their number at the same rate.
This was a super smart thing to notice, and junked a huge number of 'proofs' that had all relied unobtrusively on this idea. All that to say, good theoreticians spend a lot of time wondering if an idea makes sense to them or not.
This is more or less what I wanted to allude to with the social process of proof. The number of things that are actually rigorously formally proven is surprisingly small IMHO.
I think the problem is that we can't write down all our assumptions, even if we try REALLY hard. This is some of what inspired the mathematical formalism movement; trying to make sure that we know what we think we know.
Fortunately mathematics is based on rigorous formal proofs rather than belief, so if he really achieved that he would just publish the proof and become even more famous.
Also, my favourite was this one: http://twitter.com/elmindreda/statuses/17444964495 "Anyone looking to profile Twitter users can easily identify all programmers today simply by searching for "Knuth"."