תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- ב[[שעשועי מתמטיקה]], '''הוכחה שגויה''' היא "[[הוכחה]]" המובילה ל[[סתירה (לוגיקה)|סתירה]] ברורה, וזאת משום שהיא מכילה [[כשל לוגי ...מתמטית. בכולן ישנה [[טעות]] באחד או יותר משלבי ההוכחה, ולכן השימוש במילה "הוכחה" בהמשך אינו נאמן להגדרתו ה[[לוגיקה|לוגית]]. ...13 ק"ב (322 מילים) - 11:28, 6 בנובמבר 2022
- ...=תשע"ג 2012|oclc=1241933369|מחבר=תלמה לויתן|פרק=8.1|שפה=עברית}}}} היא שיטת הוכחה לפיה אם [[הפרכה|הפרכת]] טיעון מסוים מובילה ל[[סתירה לוגית]] — הטיעון נכון. ...את הטיעון ששלילה של הטענה ההפוכה גוררת שהטענה נכונה. על כן הם אינם מקבלים הוכחה בדרך השלילה כהוכחה קבילה. ...10 ק"ב (110 מילים) - 17:31, 26 בפברואר 2025
- ...טוגרפיה]], '''הוכחה באפס ידיעה''' או '''פרוטוקול אפס ידיעה''', היא [[מערכת הוכחה אינטראקטיבית]], שבה צד אחד ('''מוכיח''' או '''טוען''') משכנע את הצד השני (' #'''שלמות''' (Completeness) – פרוטוקול הוכחה אינטראקטיבי ייקרא '''שלם''', אם בהינתן מוכיח ומוודא הגונים (המבצעים את מהלכ ...40 ק"ב (928 מילים) - 19:46, 26 באוגוסט 2024
- ב[[תורת הסיבוכיות]], '''מערכת הוכחה אינטראקטיבית''' היא [[דיאלוג]] בין שתי קבוצות משתתפים, שבמהלכו משכנעת קבוצה ישנם סוגים רבים של מערכות הוכחה אינטראקטיביות, הנבדלים זה מזה במספר המוכיחים ובסוגי החישוב שמותר למוכיחים ו ...27 ק"ב (356 מילים) - 16:58, 7 ביוני 2024
- ...>a_{i_1},\ldots, a_{i_k}</math> לפי אחד מכללי ההיסק. בסדרה כזו אפשר לראות "הוכחה של ה[[משפט (מתמטיקה)|משפט]] <math>\ a_n</math>", משום שכל טענה היא או אקסיו הגדרה פורמלית זו מאפשרת לטפל במושג האינטואיטיבי "[[הוכחה]]" באופן פורמלי במסגרת תחום ה[[לוגיקה מתמטית]]. הענף של לוגיקה מתמטית העוסק ...2 ק"ב (45 מילים) - 19:23, 9 במרץ 2025
- ...שה בו הוא הפרכת היותן של קבוצות [[קבוצה בת מנייה | בנות מנייה]], זאת אומרת הוכחה ש[[עוצמה (מתמטיקה) |עוצמתן]] גדולה ממש מ[[אלף אפס|<math> \!\ \aleph_0 </mat ...5 ק"ב (246 מילים) - 09:22, 19 במאי 2024
דפים עם תוכן תואם
- ...>a_{i_1},\ldots, a_{i_k}</math> לפי אחד מכללי ההיסק. בסדרה כזו אפשר לראות "הוכחה של ה[[משפט (מתמטיקה)|משפט]] <math>\ a_n</math>", משום שכל טענה היא או אקסיו הגדרה פורמלית זו מאפשרת לטפל במושג האינטואיטיבי "[[הוכחה]]" באופן פורמלי במסגרת תחום ה[[לוגיקה מתמטית]]. הענף של לוגיקה מתמטית העוסק ...2 ק"ב (45 מילים) - 19:23, 9 במרץ 2025
- ==הוכחה== * [[proofwiki:Cassini's Identity|הוכחה של זהות קאסיני]] באתר proofwiki ...2 ק"ב (165 מילים) - 21:41, 16 ביוני 2020
- ==הוכחה== ...2 ק"ב (123 מילים) - 21:22, 15 בנובמבר 2022
- == הוכחה== [[הוכחה בדרך השלילה|נניח בשלילה]] שהסודרים מהווים קבוצה A, עם סדר ההשוואה הרגיל. לפ ...2 ק"ב (33 מילים) - 23:46, 8 באוגוסט 2024
- == הוכחה == ...2 ק"ב (144 מילים) - 12:16, 17 בדצמבר 2021
- ==הוכחה== ...1 ק"ב (102 מילים) - 08:45, 3 באפריל 2024
- ==הוכחה== הנה הוכחה נוספת: ...2 ק"ב (135 מילים) - 15:54, 17 בדצמבר 2022
- ...מסוים כדי שדבר מה יהיה נכון, וידוע שהדבר שגוי, הרי שהתנאי לא מתקיים (כי [[הוכחה בדרך השלילה|אילו]] היה התנאי מתקיים אזי הדבר היה נכון). ==הוכחה== ...2 ק"ב (86 מילים) - 15:29, 1 במאי 2024
- == הוכחה עבור חזקה 2 == == הוכחה למקרה הכללי == ...3 ק"ב (196 מילים) - 14:35, 26 באוגוסט 2024
- == הוכחה == הוכחה עבור פונקציות רציפות ומחזוריות <math>2\pi</math> לכל <math>\varepsilon>0</m ...2 ק"ב (117 מילים) - 18:10, 30 במאי 2024
- :'''הוכחה''': <math>\forall x,x\mathcal{R}x\,\Rarr\,\forall x,x\mathcal{R}^{-1}x</mat :'''הוכחה''': מההגדרה <math>x\mathcal{R}^{-1}y\iff y\mathcal{R}x</math> נובע כי <math ...5 ק"ב (597 מילים) - 20:55, 8 בספטמבר 2024
- ==הוכחה== הוכחה: ביטוי שקול הוא <math>a_1b_1+a_2b_2-a_1b_2-a_2b_1>0</math> או <math>(a_1-a_ ...2 ק"ב (108 מילים) - 07:34, 5 בפברואר 2024
- ...ס וולפשקל ליעדם של חובבים רבים, שטענו שמצאו הוכחה למשפט, אך הוכחתם הייתה [[הוכחה שגויה|שגויה]]. מכתבים כה רבים ושגויים נשלחו ל[[אוניברסיטת גטינגן]] כדי לזכו ...2 ק"ב (23 מילים) - 07:28, 7 באוקטובר 2023
- == הוכחה == ===הוכחה ללמה הראשונה=== ...4 ק"ב (68 מילים) - 19:30, 1 באוגוסט 2024
- ===הוכחה=== ...2 ק"ב (84 מילים) - 10:36, 27 בפברואר 2025
- ...שמוגדר ל[[משולש]] כלשהו. הוא קרוי על שמו של [[לאונרד אוילר]] שגילה אותו ו[[הוכחה|הוכיח]] את קיומו ב-[[1765]]. === הוכחה להימצאות מפגש הגבהים === ...2 ק"ב (50 מילים) - 13:15, 3 בינואר 2023
- ==הוכחה== ===הוכחה על בסיס מכפלת אוילר לפונקציית סינוס=== ...4 ק"ב (516 מילים) - 13:29, 2 ביוני 2022
- ==הוכחה== ...2 ק"ב (67 מילים) - 20:45, 4 במאי 2024
- ==הוכחה== ...2 ק"ב (102 מילים) - 04:58, 14 בינואר 2025
- ==הוכחה== מכאן נשתמש באותה הדרך שבה הוכחה [[נוסחת ברהמגופטה]], נקבל כי: ...3 ק"ב (201 מילים) - 09:07, 4 בספטמבר 2018