Ian Mueller, scholar of ancient Greek philosophy and math, 1938–2010