Legal Disclaimer

The opinions stated here in this ‘blog or elsewhere on my web site are my own. Any or all facts (real or imagined) are typically presented from my personal point of view. Furthermore these facts and opinions do not necessarily represent or even agree with those of my family, my employer, the US Government, any other organization, or entity (real or imagined). Any similarity (real or imagined) to other individuals, animals, places, items or concepts is purely coincidental.


How about starting Wiki-Mathica? 

Posted as a comment in reply to In reply to Should Wikipedia Allow Mathematical Proofs?" on Slashdot

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, not only allow input and output in formats like Latex, but also allow automated symbolic math processors [] to work directly with the public proof base. Then 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 [url] to the party. And that just might allow some truly amazing breakthroughs.

Comments: Post a Comment