近代哲学中，德国创立微积分与数理逻辑的哲学家是（）。