ProofWiki:About

ProofWiki is dedicated to providing a place where people can take their knowledge of math proofs and share it online. Anyone can add or edit articles on math proofs from any field of mathematics.

Proofwiki was started in April 2008 by Joe George, Tyson Davis, and Andrew Ricketts, three mathematics students at Memorial University of Newfoundland, and its hosting, provided by Siteground, was paid for by them.

Currently, it is just maintained by Joe with the help of Cynic and Matt Westwood.

The more people we have supporting the project, the bigger and better it will become, so spread the word!

Manifesto
So, why another page dedicated to mathematical proofs, Aren't there enough of these sites on the web already?

Well okay, there are quite a few around, but this one will be special, as follows.

Completely connected
Every proof is to be connected via a link to every result which it depends upon.

Every concept is defined concisely in terms of simpler concepts which have also likewise been defined.

At base lie the axioms on which the entire edifice depends.

Fully detailed
Every proof is presented in full detail.

Every thought is presented separately.

Nothing is glossed over.

The intention is that anybody, with no prior knowledge or experience, should be able to select a random page and be able to understand it completely.

But why?
There is a lot of argument against what is perceived to be "spoon-feeding". The argument goes: you mustn't present proofs, you must make the aspiring mathematicians do all the work themselves, or they won't grow as mathematicians. If you do all the work for them, they won't be able to develop the mental muscle to generate their own proofs.

To which we say: fair enough. But mathematics is an enormous subject nowadays. Just to get to a level so as to be able to understand what the questions are requires either years of study or a lightning-fast brain.

Or, perhaps, a completely systematic exposition of the underlying basics that all mathematicians ought to be familiar with.

To which we say, Welcome, ProofWiki.