אוג' 26 2012

הוכחות

מאת גאולה ומרכז המורים בתאריך 13:45 נושאים כללי

הוכחותclip_image002

קבצים מצורפים: היחידה כקובץ PDF

 

מהי הוכחה מתמטית?
במצריים העתיקה, כמו גם ביוון, אנשים עסקו בשאלות מעשיות, למשל בחלוקת חלקות אדמה.
לכן הגאומטריה העתיקה עסקה בעיקר במדידות ובאובייקטים כמו משולשים, מרובעים ומעגלים (למשל, לצורך עיצוב של אמפיתאטרונים). אנשים ציירו את האובייקטים, תיארו אותם במילים והסבירו כיצד האובייקטים יתמקדו במרחב. ציורים, ג'סטות, אנלוגיות, אוטוריטות ולפעמים אף אלימות עזרו "לשכנע" אחרים שההצעות עונות על הדרישות. לאנשים לא היה צורך בהוכחה פורמלית מעבר לסתם שכנוע.
הוכחה מתמטית היא אמצעי לשכנע חבורת אנשים שטענה מסוימת נכונה במערכת שבה ישנה הסכמה על כללים לוגיים מסוימים. דרך טבעית להוכיח לחבורת אנשים שטענה כלשהי נכונה היא לייחס אותה לטענות A, B, C… שכבר ידועות כנכונות. מתקבלת שרשרת: A->B->C->…->X.

ללימוד הוכחות לוגיות מתמטיות יש שימוש רב בחיי יום יום.

אין תגובות

RSS תגובות

השארת תגובה

עליך להתחבר כדי להגיב.