Ken Appel has died

The Times has a very nice obituary of Kenneth Appel, the main mastermind behind the proof of the four-color theorem, one of the crowning achievements of graph theory. He also sounds likfair pleasant, interesting man. The advent of computers has revolutionized the practice of mathematics (there is hardly a problem I try to solve without extensive computer exploration), and Appel was a pioneer in using artificial computation to make the intractable, tractable.

This entry was posted in Combinatorics, What's the news?. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s