The shortest known proof of the four colour theorem today still has over 600 cases and is a proof by exhaustion. Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
The shortest known proof of the four color theorem as of 2011[update] still has over 600 cases. Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem. Wolfgang Haken và Kenneth Appel đã sử dụng một chiếc máy tính để chứng minh định lý bốn màu vào năm 1976.
In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem. Wolfgang Haken và Kenneth Appel đã sử dụng một chiếc máy tính để chứng minh định lý bốn màu vào năm 1976.[40]
The shortest known proof of the four color theorem today still has over 600 cases. Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.936 trường hợp.
The shortest known proof of the four colour theorem today still has over 600 cases. Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.936 trường hợp.
The shortest known proof of the four color theorem as of 2011 still has over 600 cases. Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.936 trường hợp.
Other results in geometry and topology, including the four color theorem and Kepler conjecture , have been proved only with the help of computers. Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.
Other results in geometry and topology, including the four color theorem and Kepler conjecture, have been proved only with the help of computers. Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.
Other results in geometry and topology, including the four color theorem and Kepler conjecture, have been proved only with the help of computers. Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thuyết Kepler, chỉ giải được với sự trợ giúp của máy tính.
