Re: [math-fun] Kenneth I. Appel, Mathematician Who Harnessed Computer Power, Dies at 80