### User Tools

To create and edit articles, please register and log-in

### Main Menu : categories & index etc.

Click categories to expand

A-Z listingplugin-autotooltip__plain plugin-autotooltip_bigA-Z listing

This is an alphabetical index of all content pages.

Other categories

Utilities

Also see

Wikenigma supports:

Auto-Translate Site
Indexed under : Deprecated

# Four Color Theorem

 As of Apr. 2019, this entry is now moved to the 'Deprecated' section. This theorem is widely regarded as having been solved. See : Formal Proof—The Four-Color Theorem Notices of the AMS Volume 55, Number 11. For reference, the original text of the article is archived below :

The Four Color 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. Source : Wikipedia

Computational tests, checking millions of possible configurations, have never found an exception. (note that a formal proof with 5 colors was made in the late 19th century by Percy Heawood, seeWikipedia ).

A 'machine generated proof' was described by Georges Gonthier of Microsoft Research Cambridge England, in 2007. See: Asian Symposium on Computer Mathematics, ASCM 2007 Asian Symposium on Computer Mathematics, ASCM 2007: Computer Mathematics pp 333-333

## Dear reader : Do you have any suggestions for the site's content?

Ideas for new topics, and suggested additions / corrections for old ones, are always welcome.

If you have skills or interests in a particular field, and have suggestions for Wikenigma, get in touch !

Or, if you'd like to become a regular contributor . . . request a login password. Registered users can edit the entire content of the site, and also create new pages.

( The 'Notes for contributors' section in the main menu has further information and guidelines etc.)

## Automatic Translation

You are currently viewing an auto-translated version of Wikenigma

Please be aware that no automatic translation engines are 100% accurate, and so the auto-translated content will very probably feature errors and omissions.

Nevertheless, Wikenigma hopes that the translated content will help to attract a wider global audience.

Show another (random) article

### Page Tools

DOKUWIKI IMPLEMENTATION DESIGN BY UNIV.ORG.UK AUGUST 2022