Slashdot is powered by your submissions, so send in your scoop

 



Forgot your password?
typodupeerror
×
Math

Should Wikipedia Allow Mathematical Proofs? 469

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?"
This discussion has been archived. No new comments can be posted.

Should Wikipedia Allow Mathematical Proofs?

Comments Filter:
  • Why the /? (Score:2, Offtopic)

    by suso ( 153703 ) *
    I don't see a problem with it, I just wonder why put the / in the article name the way they do. I understand that its to make a kind of sub page, but why?
  • Sure (Score:5, Insightful)

    by lenmaster ( 598077 ) on Sunday December 16, 2007 @10:09AM (#21716536)
    Of course they should allow proofs. Proofs are useful and factual information and proofs alone don't really "teach" mathematics are far as I'm concerned. They should take care to properly separate proofs from higher level information, as not everyone is interested in them.
    • Re: (Score:2, Insightful)

      by TheSHAD0W ( 258774 )
      Wikipedia has the potential to hold everything, but that may not be wise. Should Wikipedia's articles about books also hold copies of the books, even if they are in the public domain? It would be easy enough to do. Alternatively it could link directly to the book in the Gutenberg Project archives. As an encyclopedia Wikipedia should contain useful information about subjects, but not necessarily the entire subject.
      • Re:Sure (Score:5, Insightful)

        by killerkalamari ( 528180 ) on Sunday December 16, 2007 @02:22PM (#21718312) Homepage
        Why exactly is it not wise? You cite some examples of including more, then your last sentence restates your opinion. Please support your claim that all knowledge shouldn't be included in Wikipedia, for I believe the exact opposite.

        There are some topics which used to be on Wikipedia, but were removed. Why were they removed? "not notable enough". See, that makes no sense to me. I would like to see EVERYTHING (everything that is legal of course) in Wikipedia. Why exclude some bits of human knowledge while including others? Does Wikipedia need more hard drive space or something? I can't imagine that being the reason. Perhaps arcane or highly focused knowledge scares some people. Or, perhaps since they are not intelligent enough to understand it, they decide that it has no value. If there are a bunch of less used articles (since they are unused) it won't be raising bandwidth costs either.

        Recently I went to the "quantum gate" article. There are equations and technical language everywhere. I certainly did not understand it.. I'd first need to read more about the underlying concepts. I hope this disproves my "lack of intelligence" point, but I am not convinced. A while back I went to Wikipedia to learn more about Encyclopodia, and it was useful to me. But then I noticed an RfD. I got lucky when I searched, because now I wouldn't be able to learn what I learned then... the article is gone! Why? Because it was highly focused. Not notable enough for some people. Well, you know what? It was useful information to me.. and now that information has been lost. I consider that a step in the wrong direction.

        Besides math, there is knowledge out there that, while I may be completely uninterested in it (celebrity trivia, for example), some people find fascinating. How about articles on "everyday" people. Does including it make Wikipedia any less useful for me? Absolutely not! I cannot predict the future.. who knows but I may need to know some weird fact, read some proof or book, find some arcane piece of knowledge, read about my friend from high school who I lost contact with. Why limit it?

        Now please don't misunderstand what I'm trying to say. I am not saying that factually incorrect information be included in Wikipedia as if it were fact... or sarcasm, etc. We're talking about knowledge here, not fantasy.

        There are already user pages for personal information as well, in case people are concerned with Wikipedia turning into MySpace or something.

        So I ask again.. why not include everything?
        • Re: (Score:3, Insightful)

          by Smauler ( 915644 )

          Wikipedia is not, nor ever was intended to be, anything but an online encyclopedia. Including the entire works of human culture that have expired from copyright or are in the public domain otherwise is not what they are about. When asking "Why not include everything?", you are missing the point of an encyclopedia. An obvious example is youtube - if wikipedia included everything, they'd host all of youtube's content too (minus the copyrighted bits), which would be resource intensive and essentially pointl

      • Re:Sure (Score:5, Insightful)

        by pimpimpim ( 811140 ) on Sunday December 16, 2007 @04:24PM (#21719398)
        Wikipedia has the potential to hold everything, but that may not be wise

        Results 1 - 10 of about 9,830 from en.wikipedia.org for "anime" "list" [google.com]

        This includes the:

        List of video games based on anime or manga

        List of video games based on anime or manga

        List of H anime (but not including fan parodies, have to keep up standards)

        And 9827 more lists of this kind. Shall we keep the mathematical proofs for now, ok? By the time hard disk space becomes scare we can think about where to start deleting.

    • Wikibooks (Score:4, Informative)

      by eean ( 177028 ) <.slashdot. .at. .monroe.nu.> on Sunday December 16, 2007 @12:17PM (#21717396) Homepage
      Yea I agree, though perhaps the longer/more complicated proofs belong in Wikibooks.
      • Mod Parent Up (Score:5, Informative)

        by saibot834 ( 1061528 ) on Sunday December 16, 2007 @02:40PM (#21718424)
        As Jimbo Wales once said, Wikipedia is - as an encyclopedia - only one book in our "wiki library", and one book is not a whole library. Of course mathematical proofs are important and should be freely available, but so is tons of other sort of information, too, and we can't just put everything in Wikipedia. Wikibooks [wikibooks.org] offers a place for some book-like-stuff (and I think mathematical proofs belong there). There are also other projects [wikimediafoundation.org] for different kind of information, like learning materials and dictionaries. We should start to transfer Wikipedia's success to other free wikis and projects.
        • Re:Mod Parent Up (Score:5, Insightful)

          by cnettel ( 836611 ) on Sunday December 16, 2007 @04:21PM (#21719358)
          I don't agree about mathematical proofs in wikibooks. Proofs for individual theorems only rarely require a book-sized volume of text. It also makes little sense to collect proofs of separate theorems into "books", or about as much sense as collecting articles on different subjects into an encyclopedia. Maybe there should be a separate wiki namespace equivalent to Mathworld, but proof of central math theorems certainly should be readily available from wikipedia.
  • Yes. (Score:5, Insightful)

    by One Childish N00b ( 780549 ) on Sunday December 16, 2007 @10:09AM (#21716542) Homepage
    They're obvious academic knowledge with clear educational merit. Where exactly is the problem?
    • That's about it ... they must have gotten sick of webcomics.
    • Re: (Score:3, Interesting)

      by rucs_hack ( 784150 )
      The problem is in ensuring that the proofs are accurate. That's no trivial task, especially if too many such proofs get added to Wikipedia.
    • Re: (Score:2, Insightful)

      by aminorex ( 141494 )
      There are several reasons why mathematical proofs don't belong on Wikipedia:

      1) They are not easily twisted to support a political ideology

      2) They don't appear in standard general purpose encyclopediae

      3) General readers cannot understand them

      The world desperately needs a global rdf-schema wiki for mathematical and scientific information, which allows the description of experimental data, explanatory inference, hypothesis, and proof. Wikipedia is not that.

      If the same semigroup textual diff algebra used in da
  • by 2.7182 ( 819680 ) on Sunday December 16, 2007 @10:10AM (#21716546)
    I find wikipedia useful, and the math is generally well done. The biggest problem is that I hate reading math symbols in anything but latex generated documents.
    • by the_other_chewey ( 1119125 ) on Sunday December 16, 2007 @10:15AM (#21716576)
      I hate reading math symbols in anything but latex generated documents

      No problem for you then: Wikipedia's math content is exactly that.
      • Sticking math in a web page as bitmap graphics just sucks. We have fonts for that.
      • Most WP pages I've seen containing maths have had the symbols rendered to a one-bit image. The few that have had antialiasing have had no sub-pixel AA, which all of the other text has on the page. The only good way of displaying maths on the web at the moment is in PDF form, although MathML support is improving among browsers but it's still very hit-and-miss (MathML is completely impossible to write by hand, however, so you need to store the TeX or whatever that you generated it from as well if you want t
        • by tepples ( 727027 )

          The few that have had antialiasing have had no sub-pixel AA
          And it won't for the next decade or so. Wikimedia Foundation projects are based on free content and free software. Microsoft holds patents related to subpixel antialiasing, and Wikimedia Foundation does not have the legal funding to challenge their validity. Besides, not all displays are color LCDs in RGB pixel order; most notably, the Nintendo DS and a few iBook models are in BGR order.
    • by aminorex ( 141494 ) on Sunday December 16, 2007 @11:15AM (#21716974) Homepage Journal
      The math is generally well-done in the sense that it is accurate, as far as it goes. It usually doesn't go very far, for the technically inclined, and it is usually far too abstract and technical for the general reader. It's sort of the worst of both worlds, really: It's impossibly shallow for the serious student, and impossibly jargon-rich for the layman. There are exceptions to both pessimialities, clearly, cases in which a given article is well-suited to one or the other audience, but in those cases, it has just lost one of its major audiences -- and really, the specialists are a major audience for wikipedia math articles, simply because there is nothing fulfilling that function for the serious student and professional right now, so that wikipedia math articles get more attention from this audience than they would, if such a facility existed. The result is that most of the articles become unusable for the general reader very quickly, but can never really satisfy the needs of the specialist audience.
      • Re: (Score:3, Insightful)

        by QuickFox ( 311231 )
        So true. I wish each article would have two parts, an overview introductory explanation for general readers and an in-depth part for mathematicians. Trying to satisfy both audiences with the same explanation is impossible, and both audiences are important.
  • by FalconZero ( 607567 ) * <FalconZero&Gmail,com> on Sunday December 16, 2007 @10:12AM (#21716556)
    As I see it, all three are essentially the same but vary in their level of details. Given that wikipedia is electronic, and can essentially (re)represent it's data in various forms, why limit the amount if information present (assuming its factually correct)? Surely the level of detail of an article should be up to the user. Perhaps a better solution in this case would be to include the proofs but make them 'rolled up' by default - IE 'click here for details'. I know 'rolling up' is possible in wikipedia; I've done it on my page there.

    As a side note, its worth noting that the article submitter engaged in the discussion [wikipedia.org] about the article for deletion. They voted to delete the article.
    • by wren337 ( 182018 ) on Sunday December 16, 2007 @10:28AM (#21716648) Homepage
      The usual arguments for brevity don't apply here - are you worried about the "book" getting too "thick"?

      They've started something - a compendium of knowledge - and they're preventing it from growing because they want it to fit a publishing model that no longer applies. Why limit yourself?

      • Re: (Score:3, Insightful)

        Editing can be reverted ... the ability to do it doesn't give you a feeling of power. Deletion, now that's a power trip.

        They thrive on the attention, the ability to destroy ... hell they even thrive on the hatred. The fact that one of the deletionist in question even posted this story when it's obvious that no one here is going to agree with him is pretty telling.
    • Re: (Score:3, Interesting)

      by failedlogic ( 627314 )
      Dictionary - Encyclopedia - Textbook: sums up Wikipedia quite well. I see no problem with putting up proofs. I would only ask authors to add mode text that doesn't require specialized knowledge to understand. Many of the science and math entries require a degree to understand. Many Wikipedia surely have though "Hmmm.... this is a cool concept but I want to learn more, I'll look it up on Wikipedia". Only, that when they do look it up, its such a complex, arcane answer, they vow not to look up science or math
      • Re: (Score:3, Informative)

        I think you'll find that the math and science articles that are impenetrable to you are on subjects that would barely get a passing mention in Britannica.

        Some subjects are simply hard. Wikipedia, along with everybody else writing about technical topics, should follow Einstein's advice: simplify it as much as possible, but no further. On no account should precise but highly technical wording ever be replaced with vague descriptions in layman's terms. The latter should simply be used to supplement the existin
    • by Beetle B. ( 516615 ) <{beetle_b} {at} {email.com}> on Sunday December 16, 2007 @12:32PM (#21717502)
      Yes, indeed I did. But I tried not to have my view imposed on you when I wrote the summary here. I was curious to know what everyone else thought. For the record, here is my comment:

      Delete. I feel only notable proofs should be kept in Wikipedia - not proofs of notable theorems. The proof of infinitude of primes is notable - it's often the first proof by contradiction many encounter. Cantor's proof is also notable (and again, may often be the first of its kind seen by students). Both of these may also have had a great deal of historical significance. The proofs provided in this article are in no way special. Yes, totient functions are important, which is why there is an article on them. The proofs of its various properties are just details. I agree that it should be transwikified - Wikibooks if there is a book on number theory being worked on there. Beetle B. (talk) 23:56, 15 December 2007 (UTC)

      In retrospect, I chose a bad headline. I wanted this to be a discussion not on whether they should have proofs, but on what criteria should be used to decide which proofs to include - for which there was little, but not much discussion. It seems many here want Wikipedia to allow all proofs.

      Another analogy no one pointed out is that when scientific results are posted on Wikipedia, is it "acceptable" to post along with them the raw data from the respective research journals (ignoring copyright for a moment)? Is this a valid analogy, and if not, why not? In a sense, that data is "proof" of the "correctness" of those scientific results.

      To muddle the waters further, I actually went to the totient proof page looking for something, and reading one of the proofs did help me with my work...
  • Yes (Score:2, Informative)

    by Gigiya ( 1022729 )
    I don't see why anyone besides the occasional Wikipedia purist of sorts would actually complain about this. It's convenient for proofs to be on there, and it's not like accurate information is degrading Wikipedia's "standards" at all.
  • by teslar ( 706653 ) on Sunday December 16, 2007 @10:17AM (#21716582)

    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?
    That says it all, really. On one hand information that is clearly useful and valuable can be presented, on the other hand we can bicker about how we write it down exactly, even though that doesn't really matter as a proof is a proof as long as it's correct.

    To elaborate a little bit, some proofs are more elegant than others. Some require more knowledge than others. You can prove Pythagoras' theorem on two pages using only elementary geometry or in two lines using vectors. Which version you present depends on your audience, but that doesn't change the fact that you should present one. Proofs are useful, they help you understand not only that a theorem is correct but, much more importantly, why it is correct; so why is there even a discussion about whether or not to include proofs? Especially on a system like Wikipedia, where multiple versions of a proof can coexist peacefully (in theory) on a page - it's not like you'd have to choose one over all others (like you might have to, for instance, when teaching a class or giving a talk).

    So - what's the problem? Unless it's political, in which case, well, you know, *yawn*.
    • by Ibag ( 101144 ) on Sunday December 16, 2007 @11:11AM (#21716946)
      The joy of being a mathematician is that I got to have this debate with a few of my friends a week ago.

      Quite frankly, I am torn. On one hand, wikipedia is supposed to be an encyclopedia, and this is not the kind of thing that would generally make it in an encyclopedia. Even though wikipedia doesn't have the space concerns that regular encyclopedias have, there are issues of aesthetics and flow, as well as not cluttering up what the user wants to find with too much noise (which many proofs will be to many people).

      On the other hand, there isn't an a priori reason why wikipedia should be bound by any of the limitations of a regular encyclopedia, and most of the problems mentioned above can be solved by creating appendices for any proofs that cannot be tastefully inserted into the text, either at the bottom, in a collapsible section, or on another page.

      However, it can be argued that even this leads to clutter, or that certain proofs do not meet relevancy or quality standards. Wikipedia is not, and should not be a general storehouse for everything that happens to be true. It might be appropriate to have a proof of the Pythagorean theorem but not appropriate to have a proof that a fibration leads to a long exact sequence of homotopy groups. In fact, for some things, it is probably for the best if no more than a sketch of a proof and a reference to an edited book/paper are given.

      Personally, I would like to see a companion site, wikimath or some such, that integrates well with wikipedia but contains the things that wikipedia should not. I envision a site which subsumes the content planetmath.org but is closer to the style of wikipedia, both editorially and aesthetically. With enough interlinking between the two sites, it could easily serve as an appendix to wikipedia, placating both the people who wish to add proofs and the people who wish to keep wikipedia pure and relevant.

      In any case, I don't believe that the issue is as clear cut as many people want to claim, and I don't think that a completely satisfactory solution will be simple and easy.
    • Re: (Score:3, Insightful)

      by aminorex ( 141494 )
      That's precisely the problem: In wikipedia, everything is political. The content is driven purely by politics. There is a strongly empowered set of vested interests, there are vast astroturfing armadas from various constituencies, petty cabals that lay claim to tracts of information space in order to control the track of public discourse and groupthink on a given topic, for whatever reason, economic, political, etc., in the real world or other.

      Among these political factions is a major movement called de
      • Re: (Score:3, Interesting)

        by Coryoth ( 254751 )

        Almost nobody will read proofs. Britannica has no proofs. I think proofs at Wikipedia are doomed. But we need something that supports proofs. It should not be in the form of bitmap graphics, like wikipedia. It should be semantic web content, which can be automatically verified, and used by theorem proving programs as well as by human readers.

        Something very muh like that exists at metamath [metamath.org]. Of course metamath is more interested in foundations (building everything up from just ZFC and basic predicate logic), but it does get as far as Hilbert spaces and such, and has the facility, at least in theory, to extend to any particular field you wish to claim; it is all a matter of adding the necessary extra definitions for whatever sorts of mathematical objects you wish to consider.

    • So - what's the problem? Unless it's political, in which case, well, you know, *yawn*.

      The problem is that a proof is very dependent on the theorems presented before it. Plus, it is highly dependent on the manner and exact working of the proof descriptions. Plus, there is no one description of a theorem - some are described slightly different than others. Plus, there will be a million pages of unnamed lemmas that big theorems are based on.

      I think proof outlines when it's useful is ok but allowing proofs

  • by Anonymous Coward
    Speaking as a postgraduate mathematician, it's clear that many people have made an effort with the mathematics articles, but they're almost always waffly. Mathematics is about the beauty of patterns, not a thousand cooks tweaking a proof to highlight their own difficulty or misunderstanding. It might be a good place for a paedagogical commentary on proofs - indeed, unbiased commentary on original research is precisely what an encyclopedia should be. It's not a place to post what is essentially the research
  • by Pyrion ( 525584 ) on Sunday December 16, 2007 @10:18AM (#21716588) Homepage
    Lemme see if I got this right: posting absolute truths on Wikipedia is up for debate?
    • by Daimanta ( 1140543 ) on Sunday December 16, 2007 @10:33AM (#21716682) Journal
      I brushed my teeth this morning. This is an absolute truth. Should it be included in Wikipedia?
      • Re: (Score:2, Insightful)

        by Anonymous Coward
        That you can't tell the difference between eye-witness testimony and a mathematical proof suggests you are an unreliable source. Which means that the alleged "fact" of your teethbrushing should not be included in Wikipedia.
      • Re: (Score:3, Insightful)

        by Rich0 ( 548339 )
        Ok, devil's advocate - why not?

        Is there any reason that absolutely ANY trivial fact can't be included in wikipedia?

        Just have a ratings system to put less-noteworthy material someplace where people won't have to browse through it. Companies like google can specialize in finding data in these kinds of articles.

        Disk space is getting to the point where an encyclopedia could be built capable of containing the continuous typing of every human on earth for the rest of time. So why not let them type?
      • Exactly... That belongs in WikiNews, under the Health section.
      • by kryzx ( 178628 ) *
        I brushed my teeth this morning.

        That is not an absolute truth. It might very well be false tomorrow. In fact, I'd say chances are about fifty-fifty.

  • Heck Yes! (Score:5, Insightful)

    by tjstork ( 137384 ) <todd.bandrowsky@ ... UGARom minus cat> on Sunday December 16, 2007 @10:24AM (#21716616) Homepage Journal
    The whole promise of wikipedia is that computers allow us to accumulate an incredible amount of knowledge. There's no need to draw an artificial line and say "no, you can't have this, because, book form encyclopedias don't have it". If volunteers were willing, it ought to have proofs. And, also it would be good if it had experiments in the other sciences as well. It would certainly make discussions over GW and evolution more accessible to more people as well. How does one infer historic atmospheric chemistry? How does one understand the genetics of evolution? Right now, a lot of this stuff is locked up in scientific journals and these are invariably organized more by article. Wikipedia could, hypothetically, allow us to apply a taxonomy to all of human knowledge. Donations welcome.
    • by GroeFaZ ( 850443 )
      Suppose you had a pet dog. Then your dog's name, race, and age would clearly be information, but does that alone make it worth being put up on wikipedia? Somewhere, you HAVE to draw a line, because if you never stop piling pieces of info on top of each other, eventually those pieces of info that are sufficiently useful for more than say 95% of readers will be buried and marginalized by the sheer amount of other info. Wikipedia should not be more than an introduction for any area of knowledge, with the possi
      • Your dog's name is relevant only to you, and your family and friends. (Unless the dog does something noteworthy, I suppose.) Proofs are relevant to anyone with an interest in mathematics, for all time.
      • Philosophically speaking, is there a difference between a page not existing on Wikipedia, and a page existing on Wikipedia but never being accessed? The disk space used to store it is negligible. The only question is whether someone finds the information useful. I don't see what is gained by deleting material from Wikipedia ever. At most, it should be restructured in such a way that people will not see the material unless they are interested in it.
    • Wikipedia isn't the place for it, though. Wikipedia doesn't want it. I wish it did, but the history of Wikipedia proves otherwise.

      We need a semantic wiki for scientific and mathematical information, which can be used by computers as well as people, that offers many views, suitable to the interests of the reader, for the same underlying data. Proofs, both user-supplied and automatically derived, would be part of that data, visible to those with an interest in them, and in modern browsers, not as bitmap gr
    • by Raisey-raison ( 850922 ) on Sunday December 16, 2007 @11:50AM (#21717208)
      Part of the problem is the insistence in Wikipedia that it cannot contain x,y or z. Here there is some rule that 'Wikipedia is not a manual, guidebook, or textbook.' It's very difficult to argue with people about this. When you point out that since wikipedia is not a paper encyclopedia it can contain a lot more information than a regular one and therefore can have characteristics of a textbook you get circular reasoning of 'Wikipedia is not a manual, guidebook, or textbook.' If you dare to ask to change the policy people say there is already consensus.

      But this 'consensus' is 'weird'. Sometimes even when there is a clear majority in favor of saving some article or changing some policy admins will say that 'Wikipedia is not a democracy.' If you then ask well what does determine it you also end up with a tautology. I once asked someone why they wanted to delete article x and they said they were a 'deletionist'. Again I asked why and ended up with circular reasoning.

      As far as this issue is concerned I think without proofs you are missing a whole lot in math. This also makes Wikipedia a difficult forum to discuss math and science in terms of what goes into an article. As someone in this area I often try to explain to people that their idea about y or z here is doesn't work because of some scientific concept.

      The problems occur when they consider their generalist approach most important even if they are ignorant of the topic area. For example I might be talking about Unsolved problems in biology or Unsolved problems in medicine [wikipedia.org]. Well to really address the issue you need expertise in that area. Generalists without it go in and presume to understand what is an unsolved problem in a field in which they lack knowledge. I heard all sorts of bizarre ideas from people in the unsolved problems in chemistry [wikipedia.org] deletion debate [wikipedia.org] about the 'nature' of chemistry, how chemistry itself was not very precise and easy to define. It's so crazy because Science magazine had a whole issue [sciencemag.org] on the topic of big unsolved problems in chemistry. Oh well I guess those people who are actually scientists just don't get chemistry in the same way as a wikipedia admin.

      It gets really crazy in that although the above articles got deleted enough people kicked up a fuss to save unsolved problems in neuroscience, unsolved problems in chemistry and unsolved problems in economics to save them. To really converse on these issues you have to really understand neuroscinece but wikipedia admins seem to think not. They play sneaky games. If they can't delete them the first time around keep on referring it for deletion. They did this with Unsolved problems in biology here [wikipedia.org] and here [wikipedia.org]. Then if you try to recreate the article you get slapped down by an admin because the article has already been deleted so you lose not matter what.

      I finally gave up on getting any logical argument from the admins when I pointed out that if unsolved problems in neuroscience [wikipedia.org] could exist then why not have unsolved problems in biology [wikipedia.org]. I even talked to some practicing biologists about what these problems might be and low and behold they gave me some. Then the admins said well its not biology, its really biochemistry. Then I asked well why not have Unsolved problems in biochemistry. And it went
  • Middle Ground (Score:5, Interesting)

    by squoozer ( 730327 ) on Sunday December 16, 2007 @10:24AM (#21716620)
    As with most things in life the best solution is probably somewhere in the middle. Hundred page proofs are not really suitable for Wikipedia and a complete ban on proofs would leave the site lacking. If it is sensible to include the proof or part of the proof then it should be included.

    The maintainers of Wikipedia really needs to ask themselves what they wants it to be. Do they want it to be an encyclopedia or does it want to be the source of all knowledge. Personally I think it should aim to be the best encyclopedia going as I suspect being the one source of all knowledge is probably impossible and there is a danger the real worth of the site will be swamped by too much detail.

    Wikipedia should be the starting point of learning not the start, middle and end.
    • Personally I think it should aim to be the best encyclopedia going as I suspect being the one source of all knowledge is probably impossible and there is a danger the real worth of the site will be swamped by too much detail.

      I somewhat agree.
      Why not try a math.wikipedia.com for the math geeks to play around in? The actual proofs (with as much detail as you could want) would be presented there and linked to from the main wiki page.

      If it doesn't work out, scrap the idea.
      Wikipedia should be actively sandboxing new ideas and formats.

    • Hundred page proofs are not really suitable for Wikipedia

      Why? If it's an important proof and you can present it more easily in Wikipedia format (for example, by adding anchor tags all over it so that you can link to "Proof#coolpart"), what would be the argument against doing so? 100 pages will only take up a tiny slice of a modern RAID, and if few people ever view it then it will hardly take any bandwidth. Still, it'll be available for anyone who needs it. I guess I just don't see the reason why you'd want to prune knowledge from the site.

  • Ridiculous (Score:5, Insightful)

    by ytm ( 892332 ) on Sunday December 16, 2007 @10:27AM (#21716640) Homepage
    It seems that admins are recently too happy with removing information from wiki, than adding it.

    Mathematical proofs are as much important and informative as their theorems. The proof allows for better understanding of the theorem, you can see why there are certain assumptions in the theorem and what is broken when these assumptions are not met. For some applications the proof is a blueprint for algorithm to solve problem stated in the theorem.

    But I guess that biographies of fictional characters and detailed descriptions of Japanese cartoon episodes have much more important place on wikipedia.
    • Re: (Score:3, Insightful)

      by TheLink ( 130905 )
      "But I guess that biographies of fictional characters and detailed descriptions of Japanese cartoon episodes have much more important place on wikipedia."

      I wouldn't say more important. A more accurate term would be more secure/permanent place.

      There are typically far more rabid fans of japanese cartoons willing to wage a wikiwar, than there are rabid fans of math proofs.

      Now add the fact that stuff can and does get deleted, and you'll see that a lot of stuff worth keeping could get deleted just because there
      • There are typically far more rabid fans of japanese cartoons willing to wage a wikiwar, than there are rabid fans of math proofs.

        Obviously you haven't read the accounts of what happened when the mathematicians found out the EE's were using "j" instead of "i" for imaginary numbers.
  • by rangek ( 16645 ) on Sunday December 16, 2007 @10:31AM (#21716664)
    What's the deal with wikipedia and deleting stuff anyway? It is not like this little bit of text is wasting space or something. I would think it would be much better to have too many articles than too little. One of the things that has made wikipedia sucessful is the sheer amount of information there.
  • Sure but... (Score:2, Interesting)

    by jellomizer ( 103300 ) *
    They should have links to each mathematical symbol to explain what the symbol means in the current case... Trained Mathematicians are use to seeing this symbols and use them in their current focus. But the symbol can mean different things for different forms of Math. For example Pi in geometry is roughly the number 3.1415926535.... in statistics it is its own function, completely unrelated to the geometry pi.

    Mathematicians seem happy to officiate their ideas so only Mathematicians can read them and leave
    • Mod parent up! The proposal that clicking on sigma you'd get an explanation for sigma is excellent. And I bet it could usually be arranged automatically.

      It's an important problem that Wikipedia math articles very often dive straight into a very low-level (IOW detailed) explanation where there should reasonably be a high-level (IOW overview) introduction before the low-level details. Too many Wikipedians confuse high-level overview and dumbing down. They are not the same thing.
      • MathML is actually pretty good for this kind of thing. It has display and semantic layers, so you can describe how a formula should be displayed and what it actually means in the same document. I've not actually seen anything making use of the semantic aspect, however. It could be a good project for someone working on MediaWiki...
  • Mathematical proofs are arguments, not facts. An encyclopedia should list provable facts with references. There are some notable methods of proving something (e.g. proof by induction), but an applied generic proof method or a "handcrafted" proof for a single problem is just an argument and should only be included if it adds insight beyond the proven fact.
  • The big thing on Wikipedia right now is marking up articles for not quoting their sources. But for a theorem, the proof is the source. If you don't include the proof, then no one has any way of knowing the validity of your claim.

    Also, slight changes in wording can drastically change the content of a theorem. By supplying a proof, it becomes very clear if the theorem has been stated correctly or not.
  • Isn't the point of wikipedia to let the users decide what to put up? Isn't the whole point to avoid one viewpoint?
  • by p3d0 ( 42270 ) on Sunday December 16, 2007 @10:41AM (#21716722)
    Wikipedia has policies and guidelines for this. Include it if it's notable [wikipedia.org], and not original research, etc.
  • Why Wouldn't It? (Score:2, Insightful)

    by RAMMS+EIN ( 578166 )
    Err...what is the argument for _not_ including proofs? I can't come up with any good reason for that...
    • The main argument is that proofs are "not encyclopedic".
    • Re: (Score:3, Informative)

      by saforrest ( 184929 )
      Err...what is the argument for _not_ including proofs? I can't come up with any good reason for that...

      As I've heard them before, the arguments are that proofs might:
      • take up way more room than the theorem itself
      • be difficult to verify as correct by any but a handful of experts who may not be Wikipedians
      • be inaccessible to most readers (the proof can be much, much more technical than the thorem statement)
      • introduce copyright issues (pulling proofs out of textbooks)
      • lead to arguments
  • by Reemi ( 142518 ) on Sunday December 16, 2007 @10:46AM (#21716748)
    I do not understand the problem. A wikiproof site, just like wikiquote, could be a nice solution.

    Existing articles are not 'polluted' with proofs and can link to the relevant wikiproof article. The wikiproof site can implement specific features that are usefull for mathematical proofs.

    Reemi

    • Re: (Score:3, Interesting)

      by kryzx ( 178628 ) *
      That's exactly what I thought when I saw this. I see the argument for not clogging mainstream wikipedia with full proofs, but a central, public wiki of proofs would be a fantastic public resource, a great place for communicating about such things, and might spawn a real discussion community. A wikiproof site would be a great way to separate this out while keeping it available, and wikipedia pages could reference the appropriate proof pages when needed.
  • Validation? (Score:2, Interesting)

    by Nihiltres ( 1161891 )
    While I am sure that it is easy to argue that proofs should be included (I don't really mind either way), as a Wikipedia administrator I know that one of the hardest things to do is to find a source for something, especially something as specific as a proof. I don't mind the extra information that a proof provides, but it is a manhole up from which crackpot theories may crawl, looking more authoritative because they have a mathematical proof which might not even be valid [wikipedia.org].
    The problem is verification [wikipedia.org], that
  • Choose one proof. (Score:2, Interesting)

    by Pedrito ( 94783 )
    Why not choose one proof and show that in Wikipedia. Maybe the shortest or the one that will server the widest audience. Save the rest for one of the Wikibooks [wikibooks.org] on mathematics. A good choice might be The Book of Mathematical Proofs [wikibooks.org]
  • by Garse Janacek ( 554329 ) on Sunday December 16, 2007 @10:59AM (#21716842)

    Wikipedia has allowed mathematical proofs, for several years. I've found several of them useful, as it sometimes has nice proofs that would otherwise have been troublesome to track down without a more detailed literature search. I know other people who have found them useful as well. The fact that this useful information is now being opposed by some (including, apparently, the submitter) on the basis of "OMG, if we allow proofs, then there might be too many proofs, and then how will we stop it?!" is highly irritating to me. Proofs have been allowed for years without overwhelming the rest of the useful information. Wikipedia has not become a repository for opaque, useless 200-page proofs. Why are we suddenly worried about this? If you're really concerned, just put the proof on a separate page from the main theorem.

    I still have never seen a coherent explanation of why Wikipedia is so concerned lately about deleting any material that is unworthy. It has greatly reduced the site's utility to me, and is the reason I use it less and less, and will refuse to contribute to its fund raisers until their deletion policy is substantially revised. The only explanation I've ever seen is a sort of question-begging, "But if we allow non-notable information without deleting it, then there will be non-notable information there!" Yes, so? Here's a nickel, kid, buy yourself a bigger hard drive. If you want to make "non-notable" information appear lower in search results, fine. That's useful. But a lot of information that I find useful is apparently now considered "non-notable" by the Wikipedia admins, and I'd rather there still be some way for me to find that information.

    Also, what's with the policy of hassling articles with trivia sections? That seems so arbitrary to me. It's frequently a useful place to collect interesting information about the subject that doesn't fit neatly in earlier sections (and "if it's notable, you should merge it into the main article!" is just silly -- we should awkwardly insert this single notable and interesting factoid into an unrelated earlier section? That just makes it harder to find for those who care, whereas the people reading the earlier section will wonder why the subject jumps around. Trivia sections allow for cleaner editing and easier information searches.) Again, what is the harm in it being there? If you don't care about trivia, you don't have to read the section. And, again, if it bothers you that much, just put it on a separate page.

    I'm a little bitter about this whole thing. Wikipedia used to be such a great resource, but lately all I hear is admins talking about ways to block useless information (for certain definitions of "useless"), not about how to actually strengthen the material that's there. Pretty soon, teachers won't have to tell kids not to cite Wikipedia....

  • As pointed out, the posed question is rhetorical. Having proofs (as long as they are not too tedious) is always useful. Interesting would be the question, whether Wikipedia should allow proof attempts and maybe get a proof of a previously unproved conjecture. The Web as a gigantic seminar, a modern Bourbaki group: Bourbaki 2. Currently, original material is not encouraged.
  • If its decided to be excluded from Wikipedia, maybe a sister site could be set up just for this.

    For many people the inclusion of a proof could be far beyond their understanding, yet at the same time for some other people this is very useful. I believe that main content of Wikipedia should be easily accessible, in terms of explanation, to the average person and that specialist resources should help provide the harder more specialist content.
  • Obviously (Score:3, Insightful)

    by JamesRose ( 1062530 ) on Sunday December 16, 2007 @11:08AM (#21716918)
    With text and facts wikipedia sites places where it got the information as a resource to prove what is written is true, or they state when they can't site the source. Now with mathematical equations the source is the proof, so it doesn't make any sense not to state how it was proven. However, that being said, some proofs are very long and often people don't want to see them, so possibly put the proofs as a separate page (like clicking on an image to see it at higher quality) See what I've written, its called continuity in policy and I think it's the only way for wikipedia to gain/retain their credibility as a source for mathematics.
  • by Aaron Isotton ( 958761 ) on Sunday December 16, 2007 @11:13AM (#21716958)
    At the risk of being modded redundant, here's my position on the subject:

    "Most people don't understand them" could be applied to most topics on Wikipedia, with or without proof. Just take any page about an advanced topic in philosophy, mathematics, astronomy, chemistry, biology or probably even history.

    I agree that they should not be part of the *same page*, e.g. the previously mentioned proofs of the Pythagorean theorem should IMHO *not* be part of the page "Pythagorean theorem (http://en.wikipedia.org/wiki/Pythagorean_theorem)" (which currently includes 8 different proofs).

    I don't think that something like wikibooks or wikiproof is a good idea. When I want to know more about the Pythagorean theorem, should I go to wikipedia? Or citizendium? Or MathWorld? There are already too many choices, and there is absolutely no advantage to having one more. I find it very useful to have *one* resource for "all knowledge". It's not like Wikipedia gets any heavier if it has more pages.

    The reasonable thing to do would be to add a "Proof" section to things needing a proof, with one link per proof (e.g. "Euclid's proof of the Pythagorean theorem", "Garfield's proof of the Pythagorean theorem") etc. If using the current Wikipedia system is not good enough for that (but I think it is), it should be easy to introduce a new standard "Proof layout" e.g. something like this:

    Proof of the Pythagorean Theorem
     
    There are various ways to prove the Pythagorean theorem. Some of them are listed here:
     
    Name....................Discovered by......Discovered when..Comments
    Euclid's Proof..........Euclid.............300 BC...........Uses only simple algebra
    Rational Trigoniometry..Norman Wildberger..2000.............Requires trigoniometry
     
    A comprehensive list of proofs of the Pythagorean theorem can be found in Foo's book "1001 proofs for the Pythagorean theorem"; since it was published in 1989, the most recent proofs are missing, notably the Rational Trigoniometry proof.
    If something is not in Wikipedia, it is *still* possible to link to Mathworld or wherever else you like. "No mathematic proofs because some don't understand them" is like saying "No dates in history pages because some can't memorize them".
    • Re: (Score:3, Insightful)

      Actually, I think you're pointing to part of the problem - people don't feel dumb because they can't memorize dates. They figure it doesn't matter. When they see a date, they can understand it - they don't feel dumb. However, they can stare at a mathematical proof for hours and get nowhere, so they don't bother - their lack of comprehension makes them feel dumb. They're not conversant in the "language", so they dislike it. I suspect that deep down, some of the folks objecting to it fall into this camp. At t
  • by Futurepower(R) ( 558542 ) on Sunday December 16, 2007 @11:14AM (#21716970) Homepage
    "Should Wikipedia just become a textbook that teaches mathematics?"

    Wikipedia should become whatever people want it to be. Who knows in advance what that is?

    With the approval of the author of a well-known open-source program, I posted information about how to use the program. Next day that contribution was gone, removed by someone who said that Wikipedia should not become a place for software manuals. But my explanation was the clearest, most complete available at the time; the author of the software did not want to spend time re-writing his own manual.

    The problem is not to decide which kinds of content to include in Wikipedia. Wikipedia does not have that problem of paper encyclopedias, paper and printing cost. More pages in Wikipedia are almost free. The only problem Wikipedia has with more content is organizing the content so that it is easy for the reader to make use of what he or she wants, and easy to ignore the rest.

    The problem with Wikipedia is not with content, it is a social problem. There are many, many people with some kind of anger problem. Such people don't have many friends. But although they reject and discourage other people, they are still human and need to socialize. So, they spend time with open social groups like Wikipedia. They are there with the hidden and not-so-hidden purpose of having targets for their anger.

    Angry people have plenty of free time because other people usually don't want to talk with them. Angry people have the time to dominate social groups, and destroy them. Wikipedia's problem is how to recognize angry, destructive contributors and how deal with their anger.
  • Allow them (Score:3, Insightful)

    by Just Some Guy ( 3352 ) <kirk+slashdot@strauser.com> on Sunday December 16, 2007 @11:32AM (#21717084) Homepage Journal

    Allow them. Period. Otherwise you set up circumstances for vandals to thrive [slashdot.org] like they do around all other ambiguous rules. Put another way, if there are any rules specifying when you can delete proof, I guaran-frickin-tee that some kid will use them to remove articles about the four-color theorem and Godel's incompleteness theorem. They'll claim that they're doing it for nebulous purity reasons; that's just because you won't be able to see their smug little grins as they exercise their power.

    The last think Wikipedia needs to do is give the Deletionists more ammunition. They're pissing off enough people as it is.

  • by SL Baur ( 19540 ) <steve@xemacs.org> on Sunday December 16, 2007 @01:09PM (#21717842) Homepage Journal
    An "encyclopedic" web site that explains what the Sword of a Thousand Truths is http://en.wikipedia.org/wiki/Make_Love,_Not_Warcraft [wikipedia.org] could use a little hard mathematics for balance, in my opinion.
  • I am a mathematician (Score:3, Interesting)

    by PuckSR ( 1073464 ) on Sunday December 16, 2007 @07:21PM (#21720754)
    Even I don't understand wikipedia's articles on math sometimes.(and I have a degree in math) I had one of my professors tell the following joke...

    "Wikipedia is proof that math majors can't find jobs."

    Wikipedia articles on math/physics topics really need to develop a whole new format. One thing I would like to see is more casual articles on math topics. Sure, I can almost every popular mathematical proof on wikipedia....but wikipedia is a general knowledge database.

    The proofs should DEFINITELY be on the same page, but a lot more care should be taken to make the articles more approachable. I used to use wikipedia in conjunction with my textbook...and several times I wound up preferring the textbook. This wasn't on instructional topics, but on rather general topics. The wikipedia article was simply to confusing, and too technical.

    Basically, remember that wikipedia articles DO have an instructional quality. Most mathematicians aren't reading the wikipedia article on the "twin prime conjecture". Encyclopedia articles aren't written for people who know everything about the topic, they are written for people who need information.

    **(BTW...this comment is written in the same manner as most of the articles. It has all the essential information, but in a very impractical format)**

Two can Live as Cheaply as One for Half as Long. -- Howard Kandel

Working...