Attention Deficit Disorder Prosthetic Memory Program

Four Color Theorem

ADDPMP403
Four Color Theorem - © Attention Deficit Disorder Prosthetic Memory Program

In mathematics, the four color theorem, or the four color map theorem, states that, given any separation of a plane into contiguous regions, producing a figure called a map, no more than four colors are required to color the regions of the map so that no two adjacent regions have the same color. Adjacent means that two regions share a common boundary curve segment, not merely a corner where three or more regions meet. It was the first major theorem to be proved using a computer. Initially, this proof was not accepted by all mathematicians because the computer-assisted proof was infeasible for a human to check by hand. Since then the proof has gained wide acceptance, although some doubters remain.

The four color theorem was proved in 1976 by Kenneth Appel and Wolfgang Haken after many false proofs and counterexamples (unlike the five color theorem, proved in the 1800s, which states that five colors are enough to color a map). To dispel any remaining doubts about the Appel–Haken proof, a simpler proof using the same ideas and still relying on computers was published in 1997 by Robertson, Sanders, Seymour, and Thomas. Additionally, in 2005, the theorem was proved by Georges Gonthier with general-purpose theorem-proving software.

Four Color Theorem - © Attention Deficit Disorder Prosthetic Memory Program
Aphex Twin - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP195
Aphex Twin
The Pleasure Shock - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP280
The Pleasure Shock
Beach Portraits - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP001
Beach Portraits
The Fourth Sex - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP027
The Fourth Sex
Paintings Radiography - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP433
Paintings Radiography
Peachtree Center - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP018
Peachtree Center
33 Thomas Street - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP339
33 Thomas Street
Anthony Braxton's Composition 113 - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP112
Anthony Braxton's Composition 113
Zona - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP430
Zona
Césarée by Marguerite Duras - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP103
Césarée by Marguerite Duras
Floor Tiling - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP231
Floor Tiling
Vincenzo Peruggia - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP348
Vincenzo Peruggia

You are using an outdated browser.
Please upgrade your browser to improve your experience.