David Brooks reports, in his Granite Geek blog: Kenneth Appel, famous for being part of the team that created the first great computer-aided proof, of the “four-color” theorem which says that any map can be colored with four colors without bumping colors against each other, and who later headed up the UNH math department, has […]