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
Self-Hypnosis - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP023
Self-Hypnosis
Luecke Farm - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP204
Luecke Farm
Arborglyphs - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP295
Arborglyphs
Axis of Evil - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP082
Axis of Evil
Blast Wave - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP514
Blast Wave
Gabrielle d'Estrées - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP033
Gabrielle d'Estrées
List of films that most frequently use the word "fuck" - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP494
List of films that most frequently use the word "fuck"
Pangea Proxima - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP246
Pangea Proxima
Animal Prosthetics - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP559
Animal Prosthetics
Olympus Mons - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP441
Olympus Mons
Tameshiwari - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP100
Tameshiwari
Tempescope - © Attention Deficit Disorder Prosthetic Memory Program
ADDPMP328
Tempescope

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