The life and works of Edward Gibbon