John Barrow - English mathematician, naval historian and lexicographer