I can visually see why the Wikipedia elite, might be disinclined to include formal mathematical proofs in general audience articles. They look intimidating.
It seems to me like the mathematics community on Wikipedia ought to be able to set up a new, top level Wiki-media project, along the lines of what Wikimedia Commons has become, dedicated to the sharing, presentation and interlinking of math proofs.
The formal proofs could then be easily linked to from within Wikipedia, without making the Wikipedia articles harder for laypersons to understand.
Also such a top level project might be able to introduce some structure to proofs that would allow automated symbolic math processors to work directly with the public proof base. Also some enterprising Google geeks and/or college students ought to be able to bring some sophisticated search techniques along with the computing power of something like Amazon's Elastic Compute Cloud to the party. And that just might allow some truly amazing breakthroughs.
It seems that someone with that understands this vulnerability could write some scripts to examine a sampling of keys on the public key servers (like certserver.pgp.com and pgpkeys.mit.edu:11371)and get an idea of how wide spread the problems might be.
Is big brother really watching, or is there just a potential that he could be?
The part you're missing is that the decoding software from DigitalConvergence (DC) tracks what you scan and correlates it with demographic data that you gave to get your "Activation Code". DC then presumably sells this back to the advertisers (including Radio Shack) that use their:Cues.
It's a slick business model. But the hack is just too easy.
Slashdot Mirror
I can visually see why the Wikipedia elite, might be disinclined to include formal mathematical proofs in general audience articles. They look intimidating.
It seems to me like the mathematics community on Wikipedia ought to be able to set up a new, top level Wiki-media project, along the lines of what Wikimedia Commons has become, dedicated to the sharing, presentation and interlinking of math proofs. The formal proofs could then be easily linked to from within Wikipedia, without making the Wikipedia articles harder for laypersons to understand.
Also such a top level project might be able to introduce some structure to proofs that would allow automated symbolic math processors to work directly with the public proof base. Also some enterprising Google geeks and/or college students ought to be able to bring some sophisticated search techniques along with the computing power of something like Amazon's Elastic Compute Cloud to the party. And that just might allow some truly amazing breakthroughs.
It seems that someone with that understands this vulnerability could write some scripts to examine a sampling of keys on the public key servers (like certserver.pgp.com and pgpkeys.mit.edu:11371)and get an idea of how wide spread the problems might be. Is big brother really watching, or is there just a potential that he could be?
The part you're missing is that the decoding software from DigitalConvergence (DC) tracks what you scan and correlates it with demographic data that you gave to get your "Activation Code". DC then presumably sells this back to the advertisers (including Radio Shack) that use their :Cues.
It's a slick business model. But the hack is just too easy.