De Crousaz, Jean Pierre, active 1711-1758, Swiss philosopher and mathematician