Companion encyclopedia of the history and philosophy of the mathematical sciences. Volume one (2016)