BoP is an open book dedicated to mathematics, physics, and computer science. Its goal is to broaden the public knowledge of the axiomatic method.
The ability to formulate mathematical proofs using the axiomatic method should be taught as a basic skill like reading or writing.
This is what BoP is all about!
BoP is now migrating to Github Pages. Contributing is now possible via this Github Repository.
BookofProofs is a non-profit project providing high-quality educational content. Running it is laborious and time-consuming.
It is our deep conviction that education should be available for free and never be mixed with commercial advertising.
Sponsor us with your donations!
We need to find enough funds to engage high-quality editors and to run this site free of charge and without advertising.
The axiomatic method is one of the greatest inventions of mankind, without which the development of mathematics, physics and technology over the centuries wouldn't have been possible.
The method is very powerful. It works like a snowball and allows constructing complex theories from easy to understand basic axioms.
The "Little Bird Theory" is nonsense, since it disagrees with our daily experience. But apart from some technical details, which are unimportant here (eg. we haven't defined how exactly we derive new theorems using logical steps), there is nothing to complain about this theory.
The success of the mathematics, physics and computer sciences based on the axiomatic method lies in the clever choice of axioms at the very beginning of a new theory. The better the choice of axioms, the more likely the axiomatic method will produce a theory which has better applications in the real world or makes better predictions about the real world. For instance, the axiom "The speed of light is constant whether the ray be emitted by a stationary or by a moving body" allowed Albert Einstein at the beginning of the 20th century to develop his Theory of Relativity. Now, we harvest this theory by applications like the GPS system, which wouldn't work, if the axiom was wrong.
All publications listed below can be downloaded for free. Enjoy! Some of them are still work-in-progress. Usage or reproduction may be restricted by the license referenced or stated in each publication.