A PHILOSOPHICAL CONTROVERSY OVER

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

MOGHADAM HEYDARI GH.H.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: NAMEH-YE-MOFID Year:2007 | Volume:13 | Issue:2 (62 ECONOMICS) Page(s): 77-92

Download Full-Text

Persian Verion

View:

710

Download:

Cites:

Information Journal Paper

Title

A PHILOSOPHICAL CONTROVERSY OVER "PROOF" IN MATHEMATICS

Author(s)

MOGHADAM HEYDARI GH.H. | Issue Writer Certificate

Keywords

THE FOUR-COLOR CONJECTUREQ3

MATHEMATICAL PROOFQ3

FORMALIZABLEQ3

SURVEYABLEQ3

EXPERIMENTAL MATHEMATICSQ3

Abstract

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 survey able. 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.

Cites

No record.

References

No record.

Cite

APA: Copy

MOGHADAM HEYDARI, GH.H.. (2007). A PHILOSOPHICAL CONTROVERSY OVER "PROOF" IN MATHEMATICS. NAMEH-YE-MOFID, 13(2 (62 ECONOMICS)), 77-92. SID. https://sid.ir/paper/3695/en

Vancouver: Copy

MOGHADAM HEYDARI GH.H.. A PHILOSOPHICAL CONTROVERSY OVER "PROOF" IN MATHEMATICS. NAMEH-YE-MOFID[Internet]. 2007;13(2 (62 ECONOMICS)):77-92. Available from: https://sid.ir/paper/3695/en

IEEE: Copy

GH.H. MOGHADAM HEYDARI, “A PHILOSOPHICAL CONTROVERSY OVER "PROOF" IN MATHEMATICS,” NAMEH-YE-MOFID, vol. 13, no. 2 (62 ECONOMICS), pp. 77–92, 2007, [Online]. Available: https://sid.ir/paper/3695/en

Related Journal Papers