مبرهنة
.PNG)
المبرهنة theorem قضية افتراضية ( بمعنى جملة خبرية : تحتمل الصدق و الكذب ) proposition قد تم البرهنة عليها و إثباتها أو انها مطلوب إثباتها ، و ذلك بناء على افتراضات واضحة محددة explicit assumptions . يعتبر برهنة المبرهنات احدى اهم فعاليات الرياضياتيون .
يجب عدم الخلط بين المبرهنة "theorem" و "النظرية".
المبرهنات بشكل عام تحتاج إلى تأسيس ، عدد من الشروط التي يجب أن تذكر و تحقق قبل ذكر المبرهنة ، عندئذ تكون المبرهنة استنتاجا لهذه الشروط ، فتكون المبرهنة عبارة رياضية صحيحة عند تحقق الشروط المذكورة . و مع ان البرهان الرياضي ضروري في حال المبرهنات فإنه لا يعتبر جزءا من المبرهنة.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
المبرهنات في المنطق
تفسير مبرهنة شكلية
المبرهنات والنظريات
انظر أيضاً
الهامش
- ^ Elisha Scott Loomis. "The Pythagorean proposition: its demonstrations analyzed and classified, and bibliography of sources for data of the four kinds of proofs" (PDF). Education Resources Information Center. Institute of Education Sciences (IES) of the U.S. Department of Education. Retrieved 2010-09-26. Originally published in 1940 and reprinted in 1968 by National Council of Teachers of Mathematics.
المراجع
- Heath, Sir Thomas Little (1897). The works of Archimedes. Dover. Retrieved 2009-11-15.
- Hoffman, P. (1998). The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. Hyperion, New York. ISBN 1-85702-829-5.
- Hofstadter, Douglas (1979). Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books.
- Hunter, Geoffrey (1996) [1973]. Metalogic: An Introduction to the Metatheory of Standard First Order Logic. University of California Press. ISBN 0-520-02356-0.
- Mates, Benson (1972). Elementary Logic. Oxford University Press. ISBN 0-19-501491-X.
- Petkovsek, Marko; Wilf, Herbert; Zeilberger, Doron (1996). A = B. A.K. Peters, Wellesley, Massachusetts. ISBN 1-56881-063-6. Archived from the original on 2006-01-29.