The Four Color Theorem was the first major theorem to be proved using a computer. Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
The four color theorem was the first major theorem to be proved using a computer. Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
"Formal proof–the four-color theorem." Định lý bốn màu (four-color theorem)
For example, the first proof of the four color theorem was a proof by exhaustion with 1,936 cases. Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.
For example, the first proof of the four colour theorem was a proof by exhaustion with 1,936 cases. Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.
The first proof of the four colour theorem was a proof by exhaustion with 1,936 cases. Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.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.
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.
The shortest known proof of the four color theorem Template:As of 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.
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.
