On Apr 26, 2013, at 1:02 PM, danny burstein <[email protected]> wrote:
> 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 Ooh, thanks. -- 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.
