User Tools

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

Main Menu : categories & index etc.

Main menu
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

Contact
Register
Sandbox

Also see

Importance Ratings
News
Legal
Donate/Sponsor
Curator's rationale
AI Policy



Twitter feed š¯•¸



Feeds + s.e.o. etc.
rss / xml feed
sitemap file
A-Z listing (archived)


Indexed under : Resolved

Wikenigma - an Encyclopedia of Unknowns Wikenigma - an Encyclopedia of the Unknown

Four Color Theorem

The 'Resolved' category archives questions which have been answered since they were added to the site.

As of Apr. 2019, this entry is now moved to the 'Resolved' 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 Wikenigma 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


    Please share this page to help promote Wikenigma !

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

Ideas for new topics, and suggested additions / corrections for older 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

Further resources :

DOKUWIKI IMPLEMENTATION DESIGN BY UNIV.ORG.UK DECEMBER 2023