KnowraFour color theoremLinked fromLinked fromThe 15 pages that link to Four color theorem, each with the reason it gives.All 15Broader topic 5Related 7Compared with 3Mathematical proofBroader topic: Its computer-assisted proof prompted debate about how much computation a proof may require.TheoremBroader topic: Its proof, which relies on computer-assisted checking, broadened discussion of what counts as proof.Computer-assisted proofBroader topic: Its first proof relied on computer-checked configurations and reducibility.Mathematical conjectureBroader topic: Its proof, which uses extensive computation, illustrates debate over acceptable proof methods.Mathematical problemBroader topic: Its proof illustrates how a finite coloring question can require extensive computation.