a computer to check tens of thousands of cases and is thus not humanly checkable, even in principle. Some thought that this brought the philosophical status of the proof into doubt.

There are now rumours of a simpler proof, not requiring the use of a computer.

See also chromatic number

Last updated: 1995-03-25

Nearby terms:

e] Applied by extension to manual pages that don'trete

Try this search on Wikipedia, OneLook, Google