I was inspired to start the project BookOfProofs (BoP) in February 2014, because I was fascinated with the idea of the axiomatic method – an excellent and indispensable tool for logical reasoning. At the same time, I was frustrated that most people use this method intuitively every day, but still, they have only a little or no knowledge of this method. So I decided to create an open web book, which is dedicated to the axiomatic method and which can be freely used by everyone. The project is educational and non-commercial in nature. It demonstrates the usage of the axiomatic method in the scope of mathematics, physics, and computer sciences. However, the range of applications of the axiomatic method is much broader. It can be used as a tool in almost every scientific discipline, in the world of work, or even in day-to-day life.
In the meantime, there are many users who joined the online community of this project. On behalf of all co-authors and mine, I’d like to thank you for visiting our site. We are hoping you will enjoy using BoP.
We warmly encourage you to become a co-author! Share with your readers, pupils or students your knowledge about different concepts and theorems in mathematics, physics or computer sciences. You can also post your examples, exercises, and solutions related to the specific topics you are interested in.
All contents of the project are licensed under CC BY-SA 3.0 and are provided “AS IS”, without any warranty of any kind, and on a volunteer basis by our community.
Andreas Piotrowski alias bookofproofs, founder of BoP,