הוכחה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות)
מ בוט החלפות: לעיתים
מ ←‏מאפיינים של הוכחות: קישורים פנימיים
שורה 24:
* הוכחה קונסטרוקטיבית: הוכחה שמראה כיצד ליצור עצם בעל תכונה מסוימת.
 
[[משפט ארבעת הצבעים]], שהוכח בשנת 1976, היה המשפט הראשון שלהוכחתו נדרשה [[הוכחה בעזרת מחשב|הסתייעות מהותית ב[[מחשבבמחשב]]. עובדה זו עוררה פולמוס בין המתמטיקאים סביב השאלה האם הוכחה כזו, שאדם אינו יכול לבדוק אותה בכוחות עצמו, יכולה להיחשב כהוכחה מתמטית תקפה.
 
פעמים רבות ניתן להוכיח טענה מסוימת בדרכים שונות, ולעיתים אף דרכים רבות למדי. [[משפט פיתגורס]] נודע במאות הוכחות שניתנו לו. למשפט הקובע שה[[מספר רציונלי|מספרים הרציונליים]] הם [[קבוצה בת מניה]] מופיעות ב[[ויקיפדיה העברית|וויקיפדיה העברית]] שלוש הוכחות שונות, בערכים: [[קבוצה בת מנייה]], [[מספר רציונלי#תכונות המספרים הרציונליים|מספר רציונלי]] ו[[עוצמה (מתמטיקה)#שקילות בין קבוצות|עוצמה]].