There are lots of different propositions. You can find them in books, in scholl (university), in Wikipedia. Everywhere. And I think that is the main reason why we should pick them up in one place.

This is a proposal for a new Wikimedia sister project.
WikiProves
Black square symbolizes the end of a provement. Q.E.D is a latin expression represents the end of a provement.
Status of the proposal
Statusrejected
Reasonno support. Pecopteris (talk) 04:53, 20 August 2023 (UTC)[reply]
Details of the proposal
Project descriptionThe free encyclopedia of provements for all theorems, lemmas and other propositions from all fields of study
Is it a multilingual wiki?It would be better to have many language versions (like on Wikipedia)
Potential number of languagesThe more the better
Proposed URLwikiproves.com (.org, .net, .ru) Available now: wikiproves.ru
Technical requirements
New features to requireMath formulas support. Although I think this is not a special technical requirement
Proposed interwiki prefixwp:
Development wikiwikiproves.ru (Russian language) (90+ provements)
Interested participants
1. CMTV

The important thing is that there have to be a provement for most of propositions. But the problem is that sometimes they are big, difficult, inarticulate or missing at all! It would be really cool to give simple (or at least understandable) provements to such propositions.

And that is how I came up with an idea of such an encyclopedia.

WikiProves mission — arrange all theorems, lemmas and propositions with simple and evident provements

Arguments

edit
  • A lot of theorems, lemmas and propositions to fill a wiki.
  • Pupils and students are often looking for correct statement and simple provements.
  • Fits the Wikimedia Foundation mission
  • Widipedia and other sites have lots of articles about exact and natural sciences. Some of them have provements for propositions. But the style of provement block varies from article to article. In WikiProves all provements will have the same style.
  • A possibility to see a provement for people who want to learn better.
  • No problems with copyrights (almost everything in this sphere is a public domain).

Alternative names

edit
  • WikiProofs
  • WikiStatement
  • WikiStates

Possible features

edit

A list of features which I use on wikiproves.ru now. I find them really useful. It is not like they have to be in WikiProves as a Wikimedia project, but I think they make WikiProves more attractive and handy for users.

Rules of writing provements

edit

It is important for every article on WikiProves to be simple and evident. That is why I created some rules everyone have to follow when writing a provement. (a hole page on wikiproves.ru)

  • Write in plain language
  • Explain every strange move
  • Add more informative illustrations
  • Give lots of examples
  • Do not skip logical steps

Simple and constant article style

edit

It is much more comfortable to see what you expect ot see rather than trying to find statement which looks different from page to page.

Every article (about proposition) starts with a bow which has a color of a fild of study it refers to with a text of a statment in it.

 

If the proposition has multiply names, I put them in a special box wich is placed below the statement:

 

Colored fields of study

edit

The idea is to use different colours for different fields of study to personalise them.

For example, blue for calculus, orange for analytical geometry a so on.

Current colors:

Field of study Background color Border color
Common category #E4F0DF #B6E190
Calculus #E7EDF9 #9FBAF9
Analytical geometry #F9F0E7 #F9CB9F
Algebra #E8D9F9 #C99FF9
Linear algebra #FDF9C5 #F3DB00
Physics #DCF5F9 #92D9E4

Proposed by

edit

CMTV

People interested

edit
  1. CMTV
  2. -Jztinfinity (talk) 15:43, 5 July 2016 (UTC)[reply]
  3. --Bart Michels (talk) 22:08, 10 November 2017 (UTC)[reply]

Discussion

edit

Other comments

edit
  • Unclear what this is about. Whether this is covered by Wikiversity depends on what the precise goal is. Is it meant to be a database of mathematics? Then it is not covered by Wikiversity and would not match their format. In that case, I do think it would make a healthy project. Actually, it already is, see proofwiki:. --Bart Michels (talk) 21:47, 10 November 2017 (UTC)[reply]