Kenneth Appel was an American mathematician who is best known for his work in the field of combinatorial mathematics and computer science. He gained significant recognition for being one of the first mathematicians to use a computer to prove a theorem. This notable achievement was his involvement in the proof of the Four Color Theorem in 1976, which states that any map can be colored with no more than four colors in such a way that no adjacent regions have the same color.
Articles by others on the same topic
There are currently no matching articles.