Leslie, John, Sir, active 1805-1835, Professor of Natural Philosophy at Edinburgh University