Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences