john lennox professor of mathematics