BookofProofs (BoP) is an open book dedicated to mathematics, physics, and computer science. Its goal is to broaden the public knowledge of the axiomatic method, without which the development of these topics over the centuries wouldn't have been possible.
This motto is what BoP is all about.
BoP was launched in February 2014 and started as a collaborative effort. Although there have been 140+ registered users between 2014 and 2018, only three (3) contributions were posted by other users than me during this time. I was forced to realize that it is very hard to mobilize any kind of activity among the community and that it takes me too much time to maintain both, the contents and the functionality of the site. Therefore, after 4 years I decided to remove the functionality enabling co-authoring (collaboration, community, user access, etc.) from my site. Now, I invest my free time only to the contents. If you are still interested in co-authoring or want to provide any kind of feedback, please contact me.
You can learn the axiomatic method immediately. Just follow these steps:
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! Please note that how you can use each publication is restricted by the license referenced or stated in each publication.
There is a lot there to discover but most parts are still under construction...