On Fri, 26 Apr 2013, Joseph Nebus wrote:
Kenneth Appel, one of the team that proved the four color mapping theorem, and pioneered the use of computer-aided proof solving, is reported dead. I haven't had luck finding more precise details, but a review of his really big work is here:http://www.i-programmer.info/news/112-theory/5791-kenneth-appel-of-four-color-theorem-proof-dies.html
http://www.legacy.com/obituaries/fosters/obituary.aspx?n=kenneth-i-appel&pid=164346363&fhid=4127 -- You received this message because you are subscribed to the Google Groups "World News Now Discussion List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/wnndl?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
