Please register ( or log-in ) to create and edit pages

User Tools

    Please register ( or log-in ) to create and edit pages
  • Register

Site Tools


Main Menu

Main menu
[ Click categories to expand ]

Other categories

For tests only


Also see:

Content Guidelinesplugin-autotooltip__plain plugin-autotooltip_bigContent guidelines

Ideas for new topics are always welcomed, from experts and non-experts alike - if you're not sure if they'll be accepted by other editors, put them in the 'Proposed content' section for approval. The easiest way to create a new page is to use the

Registrationplugin-autotooltip__plain plugin-autotooltip_bigRegistration

At present, only registered users can create and edit articles. The registration process is very straightforward. Just click the 'Register' link at the top right of any page.

After you've registered, you'll be able to login with your password at any time…

How to edit pagesplugin-autotooltip__plain plugin-autotooltip_bigEditing pages

Once you're logged in, a grey floating 'Tool' menu at the right hand side of the screen enables access to all the main 'Content Pages' for editing. (Note: Some pages, such as the site info etc. are locked)

Like most Wikis, the site doesn't use

Importance Ratingsplugin-autotooltip__plain plugin-autotooltip_bigImportance ratings

In a departure from the usual Wiki format, Wikenigma assigns 'Importance Ratings' to some pages.

The idea is to separate articles which are considered (by the editors) to cover exceptionally important unknown issues from those which (although also u…

Faqplugin-autotooltip__plain plugin-autotooltip_bigFrequently Asked Questions

Q. Why the weird syntax? A. Like most Wikis, the site doesn't use HTML for formatting (security reasons etc). A guide to the special syntax can be found here. Unfortunately it can be quite confusing at first - but there's now a new 'Visual …

Newsplugin-autotooltip__plain plugin-autotooltip_bigNews

[ newest at the top ]

• Oct 2020 : A milestone of 500 unknown articles has been reached.

• Aug 2020 : Currently (beta) testing the new 'WYSIWYG' (What You See Is What You Get) page editor. It greatly simplifies the editing process, avoiding the need to learn th…

Contactsplugin-autotooltip__plain plugin-autotooltip_bigContacts

Use this form to send a message to Wikenigma . . . [ * note: all fields must be completed ]

Legalplugin-autotooltip__plain plugin-autotooltip_bigLegal

Content in general

Please note that in common with other publicly editable wikis, this website is not responsible for content posted by the public. Nevertheless, the ongoing editing process should be able to remove unsuitable content in a reasonable time. If you…


538 unknowns listed

Wikenigma supports:

plugin-autotooltip__plain plugin-autotooltip_bigDonate to Wikenigma . . .

The best way to donate is by adding new original content !

That can either be by contributing to an existing article, or by creating a new page with an as-yet-unlisted 'Known Unknown'.

Any registered user can create content.

A-Z listing
rss / xml feed
sitemap file

Wikenigma - an Encyclopaedia of Unknowns Wikenigma - an Encyclopaedia of the Unknown Science

Four Color Theorem

Note: This theorem is widely regarded as having been solved. As of Apr. 2019, this entry is now moved to 'Deprecated'

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. https://en.wikipedia.org/wiki/Four_color_theorem

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 (Heawood 1890) https://en.wikipedia.org/wiki/Percy_John_Heawood

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


Also see Formal Proof—The Four Color Theorem


    Share this page :


DOKUWIKI IMPLEMENTATION DESIGN BY UNIV.ORG.UK