John Dee — 16th-century English mathematician, astrologer, and alchemist