BookOfProofs

BookofProofs

About

About

BoP is an open book dedicated to mathematics, physics, and computer science. Its goal is to broaden the public knowledge of the axiomatic method.

Motto

Motto

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!

Project

Project

BoP was launched in February 2014 is a collaborative project. In February 2023, we started migrating the site to github. You can now co-author if you are a github user.

Feedback

Feedback

To get in touch, please use our discussions.

Post a Comment

Selected Publications

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.

Logic
Image by ElisaRiva from Pixabay
Set Theory
Image by Clker-Free-Vector-Images from Pixabay
Number Systems and Arithmetics
Image by Dean Norris from Pixabay
Algebra
Image by OpenClipart-Vectors from Pixabay
Calculus
Image by OpenClipart-Vectors from Pixabay
Topology
Image by Chrom72 from Pixabay
Geometry
Image by gingertea from Pixabay
Euclid's Elements
Image by maxek from Pixabay
Combinatorics
Image by Clker-Free-Vector-Images from Pixabay
Probability Theory and Statistics
Image by OpenClipart-Vectors from Pixabay
Number Theory
Image by Clker-Free-Vector-Images from Pixabay
Graph Theory
Image by Gerd Altmann from Pixabay
Knot Theory
Image by Clker-Free-Vector-Images from Pixabay
Game Theory
Image by Peggy und Marco Lachmann-Anke from Pixabay
Theoretical Physics
Image by OpenClipart-Vectors from Pixabay
Theoretical Computer Science
Image by Gerd Altmann from Pixabay
Dudeney's Amusements in Mathematics
Image by Karen Arnold from Pixabay