نوع مقاله : مقاله پژوهشی
عنوان مقاله English
نویسنده English
The Four-Color Conjecture_ that four colors suffice to color every map was a longstanding conjecture well known to every mathematician. It was clearly in the mainstream of mathematics. The year 1976 saw a complete solution to this conjecture. However this proof was essentially dependent on computer. It could not be looked over, reviewed, verified directly by a rational agent. Other mathematicians could not check it by hand. The proof was formalizable but it was not surveyable. This proof is no traditional proof. Is the computer proof really a mathematical proof? The answer to the question leads to serious philosophical problems. Such use of computers in mathematics introduced empirical experiments into mathematics and finally Experimental Mathematics journal published in 1992. The following essay describes the computer proof of the Four-Color Theorem and traces out its philosophical significance.
کلیدواژهها English
