Catch up on stories from the past week (and beyond) at the Slashdot story archive


Forgot your password?
DEAL: For $25 - Add A Second Phone Number To Your Smartphone for life! Use promo code SLASHDOT25. Also, Slashdot's Facebook page has a chat bot now. Message it for stories and more. Check out the new SourceForge HTML5 Internet speed test! ×

Comment How about starting Wiki-Mathica? (Score 1) 469

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.


Submission + - Should Wikipedia Allow Mathematical Proofs? ( 4

Beetle B. writes: "An argument has arisen over whether Wikipedia should allow pages that provide proofs for mathematical theorems (such as this one).

On the one hand, Wikipedia is a useful source of information and people can benefit from these proofs. On the other hand, how does one choose which proofs to include and which not to? Should Wikipedia just become a textbook that teaches mathematics? Should it just state the bare results of theorems and not provide proofs (except as external links)? Or should they take an intermediate approach and formulate a criterion for which proofs to include and which to exclude?"

Data Storage

Submission + - Use flash drive for swap space? 1

TSayles writes: "With 4 and 8 Gb flash drives getting cheaper every day, what have Slashdoters found to be the pros and cons of using these devices as a location for swap partitions/files? Are there any significant differences in using USB flash drives versus some flavor of card in a reader?"

Slashdot Top Deals

Asynchronous inputs are at the root of our race problems. -- D. Winker and F. Prosser