06.08.2013 Views

Fire-farve Sætningen

Fire-farve Sætningen

Fire-farve Sætningen

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Fire</strong>-<strong>farve</strong><br />

<strong>Sætningen</strong><br />

JB<br />

Oversigt<br />

Historie<br />

Kort og Grafer<br />

Bevis ide<br />

Kempekæder<br />

Beviserne<br />

Afladning<br />

Forbedringer<br />

og generaliseringer<br />

Andre<br />

overflader<br />

Referencer<br />

Historie<br />

1852 Francis Guthrie formulerede problemet<br />

1879 Alfred Bay Kempe publicerede et bevis<br />

1890 Percy John Heawood fandt en fejl i beviset<br />

1913 George David Birkhoff indførte reducerbarhed<br />

1969 Heinrich Heesch indførte afladning<br />

1976 Appel & Haken gav det første bevis<br />

1996 Robertson et. al. gav et bedre bevis<br />

2004 Gonthier: Formaliseret computer-checked bevis

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!