גישה מהירה יותר מאשר בדפדפן!
138 יחסים: Co-NP, E (קבוע מתמטי), Reductio ad absurdum, The Ink Black Heart, מספר אי-רציונלי, מספר ראשוני, מספר ליוביל, מספר חשיב, מערכת זיהוי תווי פנים, מרובע סאקרי, משפט ארדש-סקרש, משפט ארדש-צ'באטאל, משפט ארו, משפט נאש, משפט ערך הביניים, משפט קנטור, משפט קנטור לרציפות במידה שווה, משפט קניג (תורת הקבוצות), משפט קרנו (תרמודינמיקה), משפט קזוראטי-ויירשטראס, משפט רייס, משפט לסקר-נתר, משפט לינדמן-ויירשטראס, משפט ליוביל (קירוב דיופנטי), משפט טורן, משפט טיכונוף, משפט זקנדורף, משפט בליכפלדט, משפט גיבארד-סטרת'ווייט, משפט המינימקס, משפט האן-בנך, משפט האי-שלמות של צ'ייטין, משפט האי-גדירות של טרסקי, משפט הסדר הטוב, משפט השלמות של גדל, משפט החתונה, משפט היחידות (אנליזה מרוכבת), משפטי פיקאר, משחק אסטרטגיה מופשט, משחק צ'ומפ, משחק רוב משוקלל, משחק תומך, מתמטיקה, מתמטיקה ביוון העתיקה, מטריצת אולם, מחיר האנרכיה, מונבז (תנא), מונה אי נשיג, מושג המספר ביוון העתיקה, מודוס טולנס, ..., מיכה פרלס, אמנות לעומת לא-אמנות, אמפיריציזם, אקספוננט, אקסיומת המקבילים, אקסיומת היסוד, אלגוריתם חמדן, אלימינציה, אבן אל-היית'ם, אבסורד, אגווין אל'וור, אינטואיציוניזם, אינדוקציה טרנספיניטית, איגרות ברוך שפינוזה, נסיגה אינסופית, נקודת הצטברות, נחש מי?, ספקנות מוסרית, ספקטרום (מתמטיקה), סתירה (לוגיקה), עם בוא הסער, עקרון שובך היונים, עקרון הסדר הטוב, עקרון השלישי הנמנע, על דרך השלילה, פרדוקס השקרן, פונקציה קמורה, פילוסופיה - מונחים, פילוסופיה של המתמטיקה, קריטריון אייזנשטיין, קלוד פרדריק בסטייה, קטגוריות של תורות, קבוע אומגה, קבוצה שאינה בת מנייה, קיומם של אינסוף מספרים ראשוניים, רצף סידון, רשת מיון, רדוקציה לאבסורד, רדוקטיו אד היטלרום, ריקו, שולה המוקשים (משחק), שיטת המיצוי, שידוך יציב, תכונת החיתוך הסופי, למת הניפוח לשפות רגולריות, לוגיקה, לויצן אגברטוס יאן בראואר, טענה, טראבל שוטינג, טרנסצנדנטיות של e, טור ההופכיים של המספרים הראשוניים, טימוכארס, טיסה 77 של אמריקן איירליינס, זנון מאליאה, חזקה אין אדם טורח בסעודה ומפסידה, חידת חמשת החדרים, בעיית העצירה, בדרך השלילה, בדיקת השערות, בומב, ג'ובאני סאקרי, גרף מישורי, המשפט האחרון של פרמה, המשפט הקטן של פרמה, המשפט היסודי של האלגברה, האלכסון של קנטור, הנחת יסוד למטפיזיקה של המידות, הנחה (לוגיקה), הפרדוקס של קרי, הפרדוקס של בורלי-פורטי, הפרכה, הקס (משחק), השורש הריבועי של 2, הלמה של צורן, הלמה של קנסטר-קורטובסקי-מזורקביץ', הלמה של קניג, הלוגיקה של אריסטו, הטיעון האונטולוגי, הזוגיות של אפס, הבעיות הגאומטריות של ימי קדם, הבונה העסוק, הוכחה, הוכחה בשלילה, הכפלת הקובייה, היסק, היסטוריה של המתמטיקה, כשל לוגי, יסודות (ספר). להרחיב מדד (88 יותר) »
Co-NP
בתורת הסיבוכיות, המחלקה co-NP היא המחלקה המשלימה למחלקה NP; כלומר, מחלקה שאיבריה הן בעיות המשלימות לבעיות הנמצאות במחלקה NP.
חָדָשׁ!!: הוכחה בדרך השלילה וCo-NP · ראה עוד »
E (קבוע מתמטי)
פונקציות מעריכיות בבסיסים שונים. פונקציית האקספוננט, המסומנת בכחול, היא הפונקציה המעריכית היחידה ששיפוע הישר המשיק לה (המסומן באדום) בנקודה x.
חָדָשׁ!!: הוכחה בדרך השלילה וE (קבוע מתמטי) · ראה עוד »
Reductio ad absurdum
#הפניה הוכחה בדרך השלילה.
חָדָשׁ!!: הוכחה בדרך השלילה וReductio ad absurdum · ראה עוד »
The Ink Black Heart
The Ink Black Heart (בתרגום חופשי לעברית: הלב השחור כדיו) הוא רומן פשע שנכתב על ידי הסופרת ג'יי קיי רולינג, תחת שם העט רוברט גלבריית'.
חָדָשׁ!!: הוכחה בדרך השלילה וThe Ink Black Heart · ראה עוד »
מספר אי-רציונלי
מספרים אי-רציונליים מספר אי רציונלי הוא מספר ממשי שאינו מספר רציונלי, כלומר שלא ניתן להציגו כמנה של שני מספרים שלמים.
חָדָשׁ!!: הוכחה בדרך השלילה ומספר אי-רציונלי · ראה עוד »
מספר ראשוני
בתורת המספרים, מספר ראשוני הוא מספר טבעי גדול מ-1, שלא ניתן להציגו כמכפלה של שני מספרים טבעיים קטנים ממנו, כלומר הוא מתחלק רק ב-1 ובעצמו.
חָדָשׁ!!: הוכחה בדרך השלילה ומספר ראשוני · ראה עוד »
מספר ליוביל
מספר ליוביל הוא מספר ממשי שניתן לקרב אותו דיופנטית מכל סדר שהוא.
חָדָשׁ!!: הוכחה בדרך השלילה ומספר ליוביל · ראה עוד »
מספר חשיב
במתמטיקה, במדעי המחשב ובלוגיקה חישובית, מספר חשיב, הנקרא גם מספר רקורסיבי, הוא מספר ממשי שאפשר לחשב אותו, בכל דיוק רצוי, בזמן סופי.
חָדָשׁ!!: הוכחה בדרך השלילה ומספר חשיב · ראה עוד »
מערכת זיהוי תווי פנים
טקסט.
חָדָשׁ!!: הוכחה בדרך השלילה ומערכת זיהוי תווי פנים · ראה עוד »
מרובע סאקרי
מרובעי סאקרי. מרובע סאקרי (לעיתים נקרא גם מרובע ח'יאם-סאקרי) הוא מרובע עם שתי צלעות שוות הניצבות לבסיס משותף.
חָדָשׁ!!: הוכחה בדרך השלילה ומרובע סאקרי · ראה עוד »
משפט ארדש-סקרש
250px במתמטיקה דיסקרטית, משפט ארדש–סקרש הוא משפט הקובע, שלכל a,b טבעיים, בכל סדרה באורך \ ab + 1 של מספרים ממשיים שונים יש תת־סדרה עולה באורך \ a+1 או תת־סדרה יורדת באורך \ b+1.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט ארדש-סקרש · ראה עוד »
משפט ארדש-צ'באטאל
בתורת הגרפים, משפט ארדש-צ'באטאל הוא משפט המספק תנאי מספיק לקיום מעגל המילטון בגרף נתון.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט ארדש-צ'באטאל · ראה עוד »
משפט ארו
משפט האי-אפשרות של ארו (או פרדוקס ארו) הוא משפט מתמטי בתחום הבחירה החברתית (שמהווה חלק מתורת המשחקים) שהוכח על ידי הכלכלן קנת' ג'וזף ארו.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט ארו · ראה עוד »
משפט נאש
משפט נאש הוא משפט בתחום תורת המשחקים.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט נאש · ראה עוד »
משפט ערך הביניים
המחשה גרפית של משפט ערך הביניים. u מספר בין ערכי הפונקציה בקצוות הקטע, ולכן קיים c בקטע כך ש-f(c).
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט ערך הביניים · ראה עוד »
משפט קנטור
גאורג קנטור משפט קנטור הוא משפט מתמטי בתורת הקבוצות, הקובע שהעוצמה של כל קבוצה קטנה מהעוצמה של קבוצת החזקה שלה.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט קנטור · ראה עוד »
משפט קנטור לרציפות במידה שווה
בחשבון אינפיניטסימלי, משפט קנטור (הידוע גם כמשפט קנטור-היינה) על רציפות במידה שווה קובע כי פונקציה שהיא רציפה על קטע סגור היא רציפה במידה שווה בו.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט קנטור לרציפות במידה שווה · ראה עוד »
משפט קניג (תורת הקבוצות)
משפט קניג (נקרא גם אי-שוויון קניג) הוא משפט מתמטי בתורת הקבוצות.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט קניג (תורת הקבוצות) · ראה עוד »
משפט קרנו (תרמודינמיקה)
משפט קרנו בתרמודינמיקה קובע חסם עליון לנצילות התאורטית של מנוע חום.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט קרנו (תרמודינמיקה) · ראה עוד »
משפט קזוראטי-ויירשטראס
משפט קזוראטי-ויירשטראס הוא משפט מתמטי מתחום הפונקציות המרוכבות, הנותן מידע בדבר תמונת פונקציה הולומורפית בסביבה של נקודת סינגולריות עיקרית.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט קזוראטי-ויירשטראס · ראה עוד »
משפט רייס
משפט רייס (מאנגלית: Rice's theorem), הוא משפט מרכזי בתחום החישוביות, שעוסק ביכולת של אלגוריתמים לחקור אלגוריתמים אחרים.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט רייס · ראה עוד »
משפט לסקר-נתר
משפט לסקר-נתר או משפט הפירוק הפרימרי הוא משפט בתורת החוגים, המספק, עבור כל אידיאל של חוג קומוטטיבי נתרי, פירוק בתור חיתוך של מספר סופי של אידיאלים פרימריים.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט לסקר-נתר · ראה עוד »
משפט לינדמן-ויירשטראס
במתמטיקה, משפט לינדמן-ויירשטראס הוא משפט מרכזי בחקר המספרים הטרנסצנדנטיים.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט לינדמן-ויירשטראס · ראה עוד »
משפט ליוביל (קירוב דיופנטי)
באנליזה דיופנטית, משפט ליוביל קובע שאם מספר אלגברי אי-רציונלי הוא שורש של פולינום ממעלה n מעל השלמים, אז לא ניתן לקרב אותו דיופנטית קירוב מסדר העולה על n. מכאן שמספרים לא רציונליים הניתנים לקירוב מכל סדר הם טרנסצנדנטיים.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט ליוביל (קירוב דיופנטי) · ראה עוד »
משפט טורן
גרף טורן במקרה n.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט טורן · ראה עוד »
משפט טיכונוף
בטופולוגיה, משפט טיכונוף קובע שאם \left\_ משפחה של מרחבים טופולוגיים קומפקטיים, אז גם מרחב המכפלה \prod_ X_i קומפקטי.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט טיכונוף · ראה עוד »
משפט זקנדורף
מספר פיבונאצ'י עד 144. גובהו של כל מלבן שווה למספר פיבונאצ'י המתאים לו. ניתן לראות שכל מספר נוצר כסכום של המלבנים שמתחתיו. בתורת המספרים, משפט זקנדורף הוא משפט הקובע כי כל מספר טבעי ניתן להצגה בצורה יחידה כסכום של מספרי פיבונאצ'י שונים שאין ביניהם שניים עוקבים (סמוכים זה לזה בסדרה).
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט זקנדורף · ראה עוד »
משפט בליכפלדט
משפט בליכפלדט, בניסוח שטוען שכל קבוצה בעלת שטח A (כאן אליפסה עם שטח \pi) מכילה לפחות \lceil A\rceil (כאן, \lceil\pi\rceil.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט בליכפלדט · ראה עוד »
משפט גיבארד-סטרת'ווייט
משפט גיבארד-סטרת'ווייט (על-שם Allan Gibbard ו- Mark Satterthwaite) הוא משפט בתורת ההצבעות, המתייחס למערכת שבה כל מצביע מדרג את המועמדים ותוצאת ההצבעה היא בחירה של מועמד אחד.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט גיבארד-סטרת'ווייט · ראה עוד »
משפט המינימקס
בתורת המשחקים, משפט המינימקס העוסק במשחק סכום אפס סופי לשני שחקנים, אומר כי לכל משחק מסוג זה קיימת דרך פעולה אופטימלית לשחק מבחינת שני השחקנים, כך שהרווח המינימלי של כל אחד אינו תלוי במעשי השני.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט המינימקס · ראה עוד »
משפט האן-בנך
משפט האן-בנך הוא משפט מרכזי באנליזה פונקציונלית העוסק בהרחבה של פונקציונל \ f_0 מתת-מרחב של מרחב בנך, אל המרחב כולו.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט האן-בנך · ראה עוד »
משפט האי-שלמות של צ'ייטין
משפט האי-שלמות של צ'ייטין הוא משפט הקובע שבכל תורה עקבית עשירה מספיק, לא ניתן להוכיח טענות מסוימות לגבי סיבוכיות קולמוגורוב, אף על פי שהן נכונות.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט האי-שלמות של צ'ייטין · ראה עוד »
משפט האי-גדירות של טרסקי
בלוגיקה מתמטית, משפט אי הגדירות של טרסקי הוא משפט הטוען שאין דרך להגדיר בתוך תורה נתונה, מספיק עשירה, את אוסף המשפטים שנכונים בה.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט האי-גדירות של טרסקי · ראה עוד »
משפט הסדר הטוב
משפט הסדר הטוב הוא משפט בתורת הקבוצות, הקובע שאפשר לסדר כל קבוצה בסדר טוב.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט הסדר הטוב · ראה עוד »
משפט השלמות של גדל
משפט השלמות, אותו הוכיח קורט גדל בעבודת הדוקטורט בשנת 1929, הוא אחד המשפטים היסודיים בלוגיקה מתמטית.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט השלמות של גדל · ראה עוד »
משפט החתונה
בקומבינטוריקה, משפט החתונה, שמיוחס למתמטיקאי האנגלי פיליפ הול (1935), הוא משפט שמגדיר תנאי הכרחי ומספיק לבחירת נציגים ייחודיים עבור משפחה של קבוצות.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט החתונה · ראה עוד »
משפט היחידות (אנליזה מרוכבת)
באנליזה מרוכבת, משפט היחידוּת (או משפט הזהות) קובע שפונקציה הולומורפית נקבעת בכל תחומה על פי ערכיה בקבוצה קטנה יחסית של נקודות.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפט היחידות (אנליזה מרוכבת) · ראה עוד »
משפטי פיקאר
באנליזה מרוכבת, משפטי פיקאר הם שני משפטים שנותנים מידע בדבר תמונת פונקציה אנליטית של המישור המרוכב כולו או סביב נקודת סינגולריות עיקרית יחידה.
חָדָשׁ!!: הוכחה בדרך השלילה ומשפטי פיקאר · ראה עוד »
משחק אסטרטגיה מופשט
משחק שח-מט המעוצב בסגנון ימי הביניים. משחק אסטרטגיה מופשט (באנגלית: Abstract strategy game) הוא משחק אסטרטגיה ללא אלמנט מזל שמשוחק בדרך כלל על גבי לוח.
חָדָשׁ!!: הוכחה בדרך השלילה ומשחק אסטרטגיה מופשט · ראה עוד »
משחק צ'ומפ
משחק צ'ומפ הוא משחק סופי לשני שחקנים, בעל ידיעה שלמה וללא מהלכי גורל המסתיים תמיד בניצחון של אחד השחקנים (כלומר קבוצת התוצאות האפשריות כוללת ניצחון לשחקן 1 או ניצחון לשחקן 2).
חָדָשׁ!!: הוכחה בדרך השלילה ומשחק צ'ומפ · ראה עוד »
משחק רוב משוקלל
משחק רוב משוקלל הוא מושג מתורת המשחקים המתאר משחק פשוט אשר בו קואליציה זוכה (ביחידה אחת) אם היא מהווה רוב (משקלה של הקואלציה גדול ממכסה נתונה כלשהי).
חָדָשׁ!!: הוכחה בדרך השלילה ומשחק רוב משוקלל · ראה עוד »
משחק תומך
משחק תומך (באנגלית: Carrier Game) הוא מושג בתורת המשחקים בתחום המשחקים השיתופיים.
חָדָשׁ!!: הוכחה בדרך השלילה ומשחק תומך · ראה עוד »
מתמטיקה
שיעור באלגברה ליניארית באוניברסיטת הלסינקי ילדות פותרות תרגיל במתמטיקה מָתֵמָטִיקָה היא תחום דעת העוסק במושגים כגון כמות, מבנה, מרחב ושינוי.
חָדָשׁ!!: הוכחה בדרך השלילה ומתמטיקה · ראה עוד »
מתמטיקה ביוון העתיקה
יסודות מאת אוקלידס, על פפירוס שנמצא בחפירות באוקסירינכוס; האיור שייך לטענה החמישית בספר אחת מתרומותיה החשובות לאנושות של יוון העתיקה היא פיתוח המתמטיקה.
חָדָשׁ!!: הוכחה בדרך השלילה ומתמטיקה ביוון העתיקה · ראה עוד »
מטריצת אולם
בתורת הקבוצות, מטריצת אוּלַם (באנגלית: Ulam matrix) היא מערך של תתי קבוצות של מונה עם תכונות מסוימות.
חָדָשׁ!!: הוכחה בדרך השלילה ומטריצת אולם · ראה עוד »
מחיר האנרכיה
מחיר האנרכיה הוא מונח מתורת המשחקים, המתאר את השוני בתועלת המקסימלית החברתית ואת התועלת של נקודת שיווי משקל במשחק נתון.
חָדָשׁ!!: הוכחה בדרך השלילה ומחיר האנרכיה · ראה עוד »
מונבז (תנא)
מונבז היה תנא שחי ככל הנראה בדור הרביעי של התנאים.
חָדָשׁ!!: הוכחה בדרך השלילה ומונבז (תנא) · ראה עוד »
מונה אי נשיג
בתורת הקבוצות, מונה אי-נשיג או מונה בלתי-נגיש הוא סוג של מונה גדול.
חָדָשׁ!!: הוכחה בדרך השלילה ומונה אי נשיג · ראה עוד »
מושג המספר ביוון העתיקה
יוון העתיקה באזור המאה ה-5 לפנה"ס. מספרים ביוון העתיקה היוו את הבסיס שממנו צמחה המתמטיקה כולה באותה העת.
חָדָשׁ!!: הוכחה בדרך השלילה ומושג המספר ביוון העתיקה · ראה עוד »
מודוס טולנס
מודוס טוֹלֶנְס (Modus tollens), בלוגיקה, הוא כלל היסק שמאפשר להסיק משני הנתונים הבאים.
חָדָשׁ!!: הוכחה בדרך השלילה ומודוס טולנס · ראה עוד »
מיכה פרלס
מיכה אשר פרלס (Micha A. Perles; נולד ב-1936) הוא פרופסור אמריטוס במכון איינשטיין למתמטיקה באוניברסיטה העברית בירושלים.
חָדָשׁ!!: הוכחה בדרך השלילה ומיכה פרלס · ראה עוד »
אמנות לעומת לא-אמנות
אמנות לעומת לא-אמנות: אמנות מתוך הרוח (באנגלית: Art versus Nonart: Art out of Mind), הוא שם ספרו של פרופסור ציון אביטל, שראה אור בהוצאת אוניברסיטת קיימברידג' בשנת 2003, תורגם ויצא לאור בסינית בקומרשיאל פרס ב-2009 ובספרדית בוורנון פרס ב-2018.
חָדָשׁ!!: הוכחה בדרך השלילה ואמנות לעומת לא-אמנות · ראה עוד »
אמפיריציזם
אֶמְפִּירִיצִיזְם (לפי האקדמיה ללשון העברית: נְסוּתָנוּת; באנגלית: empiricism; מקור המילה במילה "אמפירי" שמשמעותה תצפיתי) הוא זרם מרכזי באפיסטמולוגיה (תורת ההכרה) של תקופת הנאורות.
חָדָשׁ!!: הוכחה בדרך השלילה ואמפיריציזם · ראה עוד »
אקספוננט
באנליזה מתמטית, אֶקְסְפּוֹנֶנְט הוא פונקציה מעריכית עם בסיס e, שלה תכונות מיוחדות רבות ושימושיות.
חָדָשׁ!!: הוכחה בדרך השלילה ואקספוננט · ראה עוד »
אקסיומת המקבילים
אקסיומת המקבילים היא האחרונה מבין 5 ההנחות בספרו של אוקלידס, "יסודות", שבו פיתח את הגאומטריה האוקלידית מעקרונות היסוד שלה.
חָדָשׁ!!: הוכחה בדרך השלילה ואקסיומת המקבילים · ראה עוד »
אקסיומת היסוד
בתורת הקבוצות, אקסיומת היסוד היא אקסיומה במערכת ZFC, שהוצגה לראשונה על ידי ג'ון פון נוימן.
חָדָשׁ!!: הוכחה בדרך השלילה ואקסיומת היסוד · ראה עוד »
אלגוריתם חמדן
שימוש באלגוריתם חמדן עבור קביעת מספר המטבעות הנמוך ביותר הנדרש כדי להגיע לסכום של 36 אגורות, כאשר ערכי המטבעות הם: 20, 10, 5 ו-1.במדעי המחשב, אלגוריתם חמדן (באנגלית: Greedy Algorithm) הוא אלגוריתם המתבסס על היוריסטיקה לפיה בוחרים את האפשרות הטובה ביותר הנראית לעין בשלב הנוכחי, מבלי לקחת בחשבון את ההשפעה של צעד זה על המשך הפתרון.
חָדָשׁ!!: הוכחה בדרך השלילה ואלגוריתם חמדן · ראה עוד »
אלימינציה
אין תיאור.
חָדָשׁ!!: הוכחה בדרך השלילה ואלימינציה · ראה עוד »
אבן אל-היית'ם
אל-חסן בן אל-חסן בן אל-היית'ם אבו עלי (בערבית: ألحسن بن ألحسن بن الهيثمابو علي; בלטינית: Alhacen או Alhazen – גלגול של שמו הפרטי, אלחסן, 965-1040 לספירה) היה מדען ואיש אשכולות מוסלמי ערבי.
חָדָשׁ!!: הוכחה בדרך השלילה ואבן אל-היית'ם · ראה עוד »
אבסורד
אבסורד בו נראה שלט 'נא לא לקטוף' בעוד שאף אחד לא משתמש בפירות והם נרקבים אבסורד בו נראה ספסל שלא ניתן לשבת עליו אַבְּסוּרְד הוא סיטואציה כזו שאינה מתיישבת עם ההיגיון והשכל הישר.
חָדָשׁ!!: הוכחה בדרך השלילה ואבסורד · ראה עוד »
אגווין אל'וור
אגווין אַלְ'וֶור (באנגלית: Egwene al'Vere) היא דמות בדיונית מסדרת מחזור כישור הזמן של רוברט ג'ורדן.
חָדָשׁ!!: הוכחה בדרך השלילה ואגווין אל'וור · ראה עוד »
אינטואיציוניזם
בפילוסופיה של המתמטיקה, אינטואיציוניזם הוא גישה הרואה במתמטיקה תוצאה של פעילות אנושית של בניות מנטליות.
חָדָשׁ!!: הוכחה בדרך השלילה ואינטואיציוניזם · ראה עוד »
אינדוקציה טרנספיניטית
אינדוקציה טרנספיניטית או אינדוקציה על־סופית היא שיטת הוכחה המאפשרת להוכיח שתכונה מסוימת מתקיימת לכל איברי קבוצה סדורה היטב.
חָדָשׁ!!: הוכחה בדרך השלילה ואינדוקציה טרנספיניטית · ראה עוד »
איגרות ברוך שפינוזה
עטיפת הספר ברוך שפינוזה איגרות איגרות ברוך שפינוזה הן קבוצה של איגרות מן ההתכתבות של הפילוסוף היהודי ברוך שפינוזה עם חוקרים שונים בהולנד ובארצות חוץ (אנגליה, גרמניה).
חָדָשׁ!!: הוכחה בדרך השלילה ואיגרות ברוך שפינוזה · ראה עוד »
נסיגה אינסופית
במתמטיקה, נסיגה אינסופית היא שיטה להוכחת משפטים על קבוצות סדורות היטב, כגון קבוצת המספרים הטבעיים.
חָדָשׁ!!: הוכחה בדרך השלילה ונסיגה אינסופית · ראה עוד »
נקודת הצטברות
בטופולוגיה ובאנליזה מתמטית, x היא נקודת הצטברות של קבוצה A אם בכל סביבה של x קיימת לפחות נקודה אחת פרט ל-x השייכת ל-A. לדוגמה, נקודות ההצטברות של קטע הן נקודות הקטע וכן הקצוות שלו.
חָדָשׁ!!: הוכחה בדרך השלילה ונקודת הצטברות · ראה עוד »
נחש מי?
גרסת ענק של "נחש מי?" נחש מי (מוכר גם בשם מי-זה-מי) הוא שמו של משחק קופסה פופולרי בעיקר בקרב ילדים, שהומצא על ידי המעצבים הישראלים תיאו ואורה קוסטר בחברת תיאורה שבבעלותם בשנת 1973, והופץ בארצות הברית בשם Guess who החל מ-1987.
חָדָשׁ!!: הוכחה בדרך השלילה ונחש מי? · ראה עוד »
ספקנות מוסרית
ספקנות מוסרית או סקפטיציזם מוסרי היא גישה מטא-אתית לפיה איננו יכולים להחזיק באמונות מוסריות מוצדקות, או למצער איננו יכולים להחזיק בידע מוסרי.
חָדָשׁ!!: הוכחה בדרך השלילה וספקנות מוסרית · ראה עוד »
ספקטרום (מתמטיקה)
באנליזה פונקציונלית, הסְפֶּקְטְרוּם של אופרטור חסום A ממרחב בנך לעצמו, הוא קבוצת הנקודות \ \lambda במישור המרוכב שעבורן האופרטור \ A - \lambda I איננו הפיך באלגברה של האופרטורים החסומים על המרחב.
חָדָשׁ!!: הוכחה בדרך השלילה וספקטרום (מתמטיקה) · ראה עוד »
סתירה (לוגיקה)
בלוגיקה, סתירה (או אנטיפסה, מיוונית: αντίφαση) פסוק מורכב שאינו אמיתי באף מצב עניינים.
חָדָשׁ!!: הוכחה בדרך השלילה וסתירה (לוגיקה) · ראה עוד »
עם בוא הסער
עם בוא הסער (באנגלית: The Gathering Storm) הוא הספר הראשון בטרילוגיית "זיכרון האור", הטרילוגיה המסיימת את סדרת הספרים מחזור כישור הזמן.
חָדָשׁ!!: הוכחה בדרך השלילה ועם בוא הסער · ראה עוד »
עקרון שובך היונים
מקובל להדגים עיקרון זה באמצעות יונים בשובך. כאשר 10 יונים נמצאות ב-9 תאים בשובך, תא אחד לפחות חייב להכיל לפחות שתי יונים. עיקרון שובך היונים או עיקרון דיריכלה הוא עיקרון מתמטי הקובע כי אם n פריטים מפוזרים בין n-1 תאים, אז בהכרח ישנו תא אחד לפחות המכיל יותר מפריט אחד.
חָדָשׁ!!: הוכחה בדרך השלילה ועקרון שובך היונים · ראה עוד »
עקרון הסדר הטוב
במתמטיקה, עקרון הסדר הטוב קובע שהסדר המקובל על המספרים הטבעיים הוא סדר טוב.
חָדָשׁ!!: הוכחה בדרך השלילה ועקרון הסדר הטוב · ראה עוד »
עקרון השלישי הנמנע
עקרון השלישי הנמנע (או כלל השלישי הנמנע, לטינית: tertium non datur) אומר כי כל טענה היא אמיתית או שהשלילה שלה אמיתית, ואין אפשרות שלישית.
חָדָשׁ!!: הוכחה בדרך השלילה ועקרון השלישי הנמנע · ראה עוד »
על דרך השלילה
#הפניה הוכחה בדרך השלילה.
חָדָשׁ!!: הוכחה בדרך השלילה ועל דרך השלילה · ראה עוד »
פרדוקס השקרן
האם משפט זה הוא אמת או שקר? בפילוסופיה ובלוגיקה, פרדוקס השקרן הוא פרדוקס המיוצג במשפטים "אני משקר עכשיו" או "המשפט הזה הוא שקר" ודומים להם, המכילים התייחסות עצמית המובילה לסתירה פנימית, שאינה מאפשרת לקבוע האם המשפט הוא אמת או שקר.
חָדָשׁ!!: הוכחה בדרך השלילה ופרדוקס השקרן · ראה עוד »
פונקציה קמורה
דוגמה לפונקציה קמורה במתמטיקה, פונקציה ממשית היא פונקציה קמורה בקטע מסוים, אם לכל שתי נקודות על גרף הפונקציה (שערך ה-\,x שלהן נמצא בקטע), הקו המחבר ביניהן נמצא מעל לגרף הפונקציה (או עליו).
חָדָשׁ!!: הוכחה בדרך השלילה ופונקציה קמורה · ראה עוד »
פילוסופיה - מונחים
המונחים הפילוסופיים נוצרו מאז העת העתיקה ביוונית עתיקה, שפות סינו-טיבטיות, סנסקריט, פאלי, ערבית, לטינית, ומאז העת החדשה בגרמנית, צרפתית ואנגלית.
חָדָשׁ!!: הוכחה בדרך השלילה ופילוסופיה - מונחים · ראה עוד »
פילוסופיה של המתמטיקה
הפילוסופיה של המתמטיקה היא ענף של הפילוסופיה העוסק בהנחות היסוד של המתמטיקה ובמשמעותה של המתמטיקה.
חָדָשׁ!!: הוכחה בדרך השלילה ופילוסופיה של המתמטיקה · ראה עוד »
קריטריון אייזנשטיין
במתמטיקה, קריטריון איזנשטיין נותן תנאי מספיק לכך שפולינום בעל מקדמים שלמים הוא אי פריק מעל חוג השלמים \ \mathbb (לפי למה של גאוס, פולינום כזה הוא גם אי פריק מעל שדה המספרים הרציונליים \ \mathbb).
חָדָשׁ!!: הוכחה בדרך השלילה וקריטריון אייזנשטיין · ראה עוד »
קלוד פרדריק בסטייה
קלוד פרדריק בָּסְטִייָה, נקרא בסטיא (צרפתית: Claude Frédéric Bastiat; 30 ביוני 1801 - 24 בדצמבר 1850) היה פובליציסט צרפתי, תאורטיקן של הליברליזם הקלאסי וחבר באספה הלאומית הצרפתית.
חָדָשׁ!!: הוכחה בדרך השלילה וקלוד פרדריק בסטייה · ראה עוד »
קטגוריות של תורות
בלוגיקה מתמטית, אומרים שתורה T היא קטגורית אם כל המודלים שלה איזומורפיים.
חָדָשׁ!!: הוכחה בדרך השלילה וקטגוריות של תורות · ראה עוד »
קבוע אומגה
קבוע אומגה הוא קבוע מתמטי המסומן באות היוונית אומגה, המקיים: ערכו של הקבוע הוא בקירוב...0.5671432904097838729999686622.
חָדָשׁ!!: הוכחה בדרך השלילה וקבוע אומגה · ראה עוד »
קבוצה שאינה בת מנייה
בתורת הקבוצות, קבוצה שאינה בת מנייה היא קבוצה אינסופית המכילה יותר מדי איברים מכדי שניתן יהיה למנות אותם.
חָדָשׁ!!: הוכחה בדרך השלילה וקבוצה שאינה בת מנייה · ראה עוד »
קיומם של אינסוף מספרים ראשוניים
עובדת קיומם של אינסוף מספרים ראשוניים הוכחה לראשונה על ידי המתמטיקאי היווני אוקלידס (יסודות, ספר IX).
חָדָשׁ!!: הוכחה בדרך השלילה וקיומם של אינסוף מספרים ראשוניים · ראה עוד »
רצף סידון
בתורת המספרים, רצף סידון (או אשכול סידון), הקרוי על שמו של המתמטיקאי ההונגרי-יהודי שמעון סידון, הוא רצף סופי או אינסופי A.
חָדָשׁ!!: הוכחה בדרך השלילה ורצף סידון · ראה עוד »
רשת מיון
איור 1: רשת מיון פשוטה לארבעה קלטים בעלת ארבעה חוטים וחמש יחידות השוואה. במדעי המחשב, רשת השוואה היא מבנה מתמטי הכולל רשת של "חוטים" שעליהם "זורמים" ערכים, ושל יחידות השוואה המחברות בין זוגות חוטים ומחליפות בין הערכים שבהם כדי לסדרם, אם יש צורך.
חָדָשׁ!!: הוכחה בדרך השלילה ורשת מיון · ראה עוד »
רדוקציה לאבסורד
#הפניה הוכחה בדרך השלילה.
חָדָשׁ!!: הוכחה בדרך השלילה ורדוקציה לאבסורד · ראה עוד »
רדוקטיו אד היטלרום
מפלגה הרפובליקנית, גם את/ה?" רדוקטיו אד היטלרום (מלטינית: Reductio ad Hitlerum) או ארגומנטום אד היטלרום (מלטינית: argumentum ad Hitlerum) הוא כשל לוגי שעיקרו דחיית או קביעת טיעון אך ורק על יסוד העובדה שאדולף היטלר או המפלגה הנאצית תמכו ברעיון או בטיעון זה.
חָדָשׁ!!: הוכחה בדרך השלילה ורדוקטיו אד היטלרום · ראה עוד »
ריקו
ריקו (אנגלית: Rico; 1994–2008) הוא כלב מסוג בורדר קולי שהתפרסם בחדשות בעקבות מחקר, שערכה האנתרופולוגית ג'וליין קמינסקי ממכון מקס פלאנק בלייפציג.
חָדָשׁ!!: הוכחה בדרך השלילה וריקו · ראה עוד »
שולה המוקשים (משחק)
משחק ברמת מתחיל תוכנת Gnome Mines שוֹלה המוקשים הוא משחק מחשב פשוט, המוכר בעיקר בזכות המשחק המצורף לחלונות של מיקרוסופט מגרסה 3.1 ומעלה, אך משחקים עם עקרון דומה קיימים גם למערכות הפעלה שונות.
חָדָשׁ!!: הוכחה בדרך השלילה ושולה המוקשים (משחק) · ראה עוד »
שיטת המיצוי
במתמטיקה, שיטת המיצוי היא שיטה להוכחת נוסחה לחישוב שטח של צורה כלשהי באמצעות חסימת סדרה של מצולעים בתוך הצורה, כך ששטח המצולעים בסדרה מתכנס לשטח הצורה - ההפרש בין שטח המצולע לשטח הצורה הולך וקטן ככל שאנו מתקדמים בסדרה.
חָדָשׁ!!: הוכחה בדרך השלילה ושיטת המיצוי · ראה עוד »
שידוך יציב
משחק שידוכים הוא משחק שיתופי בתורת המשחקים, שמטרתו לשדך בין חברי שתי קבוצות בצורה התואמת ביותר להעדפותיהם.
חָדָשׁ!!: הוכחה בדרך השלילה ושידוך יציב · ראה עוד »
תכונת החיתוך הסופי
אוסף קבוצות מקיים את תכונת החיתוך הסופי אם לכל תת-אוסף סופי שלו חיתוך לא ריק.
חָדָשׁ!!: הוכחה בדרך השלילה ותכונת החיתוך הסופי · ראה עוד »
למת הניפוח לשפות רגולריות
למת הניפוח נועדה להוכיח ששפה L כלשהי איננה שפה רגולרית.
חָדָשׁ!!: הוכחה בדרך השלילה ולמת הניפוח לשפות רגולריות · ראה עוד »
לוגיקה
לוֹגִיקָה (מיוונית: λογική. בעברית: תּוֹרַת הַהִגָּיוֹן) היא שם כולל לתורות הבוחנות קשרי היסק בין טענות תוך התבססות על אקסיומות.
חָדָשׁ!!: הוכחה בדרך השלילה ולוגיקה · ראה עוד »
לויצן אגברטוס יאן בראואר
לויצן אגברטוס יאן בראואר (בהולנדית: Luitzen Egbertus Jan Brouwer; ידוע בעיקר בשמו המקוצר L E J Brouwer; 27 בפברואר 1881 – 2 בדצמבר 1966) היה מתמטיקאי הולנדי, אבי זרם האינטואיציוניזם בפילוסופיה של המתמטיקה.
חָדָשׁ!!: הוכחה בדרך השלילה ולויצן אגברטוס יאן בראואר · ראה עוד »
טענה
טַעֲנָה (בלועזית: פְּרוֹפּוֹזִיציה) היא מושג מרכזי בפילוסופיה של הלשון ובתחומים דומים.
חָדָשׁ!!: הוכחה בדרך השלילה וטענה · ראה עוד »
טראבל שוטינג
טראבל שוטינג (באנגלית: Troubleshooting, בעברית: איתור תקלות) הוא צורה לפתרון בעיות המיושמת בדרך כלל במוצרים או תהליכים כושלים.
חָדָשׁ!!: הוכחה בדרך השלילה וטראבל שוטינג · ראה עוד »
טרנסצנדנטיות של e
הקבוע המתמטי e תופס מקום מרכזי בענפי מתמטיקה רבים.
חָדָשׁ!!: הוכחה בדרך השלילה וטרנסצנדנטיות של e · ראה עוד »
טור ההופכיים של המספרים הראשוניים
טור ההופכיים של המספרים הראשוניים הוא הסכום האינסופי של כל המספרים ההופכיים של מספרים ראשוניים.
חָדָשׁ!!: הוכחה בדרך השלילה וטור ההופכיים של המספרים הראשוניים · ראה עוד »
טימוכארס
טימוכארס (Timochares, ביוונית: Τιμοχάρης) היה היסטוריון שפעל במחצית השנייה של המאה ה-2 לפנה"ס, ככל הנראה כהיסטוריון חצר של בית המלוכה הסלאוקי.
חָדָשׁ!!: הוכחה בדרך השלילה וטימוכארס · ראה עוד »
טיסה 77 של אמריקן איירליינס
שתי תמונות סטילס ממצלמת האבטחה של הפנטגון - רגע לפני ההתנגשות ורגע לאחר ההתנגשות. מטוס בואינג 757 של אמריקן איירליינס הזהה למטוס שנחטף. טיסה 77 של אמריקן איירליינס הייתה הטיסה השלישית שנחטפה במסגרת פיגועי 11 בספטמבר.
חָדָשׁ!!: הוכחה בדרך השלילה וטיסה 77 של אמריקן איירליינס · ראה עוד »
זנון מאליאה
זנון מאליאה (ביוונית: Ζήνων ὁ Ἐλεάτης) היה פילוסוף יווני מדרום איטליה שביוון הגדולה.
חָדָשׁ!!: הוכחה בדרך השלילה וזנון מאליאה · ראה עוד »
חזקה אין אדם טורח בסעודה ומפסידה
חזקה אין אדם טורח בסעודה ומפסידה היא חזקה בהלכה היהודית האומרת כי אדם לא יכין סעודה או יטרח הרבה לריק.
חָדָשׁ!!: הוכחה בדרך השלילה וחזקה אין אדם טורח בסעודה ומפסידה · ראה עוד »
חידת חמשת החדרים
260x260px חידת חמשת החדרים היא חידה קלאסית ופופולרית.
חָדָשׁ!!: הוכחה בדרך השלילה וחידת חמשת החדרים · ראה עוד »
בעיית העצירה
בעיית העצירה היא בעיה מרכזית בתחום החישוביות, שהוא אחד מעמודי התווך של מדעי המחשב התאורטיים.
חָדָשׁ!!: הוכחה בדרך השלילה ובעיית העצירה · ראה עוד »
בדרך השלילה
#הפניה הוכחה בדרך השלילה.
חָדָשׁ!!: הוכחה בדרך השלילה ובדרך השלילה · ראה עוד »
בדיקת השערות
בסטטיסטיקה, בדיקת השערות הוא הליך המשתמש בנתוני מדגם כדי להחליט אם לדחות או לא לדחות השערה נתונה.
חָדָשׁ!!: הוכחה בדרך השלילה ובדיקת השערות · ראה עוד »
בומב
מכונת ה"בומב" חיקתה את פעולתן של מספר מכונות אניגמה מחוברות זו לזו. כל אחד מהתופים, הסתובבו במהירות כדי לדמות את פעולת הרוטור. הבומב היה התקן אלקטרו-מכני אשר שימש את המפענחים הבריטיים ככלי לפענוח הודעות האניגמה במהלך מלחמת העולם השנייה.
חָדָשׁ!!: הוכחה בדרך השלילה ובומב · ראה עוד »
ג'ובאני סאקרי
שער ספרו Logica demonstrativa שער ספרו Euclides ab omni naevo vindicatus ג'ובאני ג'ירולאמו סאקרי (באיטלקית: Giovanni Girolamo Saccheri; 5 בספטמבר 1667 – 25 באוקטובר 1733) היה כומר ישועי, פילוסוף סכולסטי ומתמטיקאי איטלקי.
חָדָשׁ!!: הוכחה בדרך השלילה וג'ובאני סאקרי · ראה עוד »
גרף מישורי
ייצוג גרפי של גרף מישורי בתורת הגרפים, גרף מישורי הוא גרף שניתן לצייר במישור מבלי שהקשתות תחתוכנה זו את זו (חוץ מאשר בצמתי הגרף).
חָדָשׁ!!: הוכחה בדרך השלילה וגרף מישורי · ראה עוד »
המשפט האחרון של פרמה
אריתמטיקה" עם הערותיו של פרמה המשפט האחרון של פרמה הוא משפט מפורסם בתורת המספרים שנוסח על ידי המתמטיקאי פייר דה פרמה בשנת 1637 ונותר כבעיה פתוחה, עד שהוכח על ידי אנדרו ויילס (Wiles) בשנת 1995.
חָדָשׁ!!: הוכחה בדרך השלילה והמשפט האחרון של פרמה · ראה עוד »
המשפט הקטן של פרמה
בתורת המספרים, המשפט הקטן של פרמה קובע שלכל ראשוני p ולכל מספר שלם a, ההפרש a^p - a מתחלק ב-p, כלומר \ a^p\equiv a \pmod.
חָדָשׁ!!: הוכחה בדרך השלילה והמשפט הקטן של פרמה · ראה עוד »
המשפט היסודי של האלגברה
המשפט היסודי של האלגברה קובע שלכל פולינום לא קבוע עם מקדמים מרוכבים יש לפחות שורש מרוכב אחד.
חָדָשׁ!!: הוכחה בדרך השלילה והמשפט היסודי של האלגברה · ראה עוד »
האלכסון של קנטור
ספרות שהן 0 ו-w מייצג ספרות שאינן 0. האלכסון של קנטור היא הוכחתו של גאורג קנטור משנת 1891 שהמספרים הממשיים אינם בני מנייה.
חָדָשׁ!!: הוכחה בדרך השלילה והאלכסון של קנטור · ראה עוד »
הנחת יסוד למטפיזיקה של המידות
הנחת יסוד למטפיזיקה של המידות (גרמנית: Grundlegung zur Metaphysik der Sitten) הוא ספר מאת עמנואל קאנט.
חָדָשׁ!!: הוכחה בדרך השלילה והנחת יסוד למטפיזיקה של המידות · ראה עוד »
הנחה (לוגיקה)
הנחה בתורת ההגיון היא שם כולל לכל הטענות והאקסיומות בהיסק שאינן מסקנתו.
חָדָשׁ!!: הוכחה בדרך השלילה והנחה (לוגיקה) · ראה עוד »
הפרדוקס של קרי
הפרדוקס של קרי (Curry's paradox) הוא פרדוקס ממשפחת הפרדוקסים של התייחסות עצמית, הכוללת גם את פרדוקס השקרן ואת הפרדוקס של ראסל.
חָדָשׁ!!: הוכחה בדרך השלילה והפרדוקס של קרי · ראה עוד »
הפרדוקס של בורלי-פורטי
הפרדוקס של בּוּרָלִי-פוֹרְטִי הוא פרדוקס שהציע המתמטיקאי האיטלקי 'צֶ'זָארֶה בּוּרָלִי-פוֹרְטִי' בשנת 1897.
חָדָשׁ!!: הוכחה בדרך השלילה והפרדוקס של בורלי-פורטי · ראה עוד »
הפרכה
הפרכה היא הוכחה כי טענה מסוימת אינה נכונה.
חָדָשׁ!!: הוכחה בדרך השלילה והפרכה · ראה עוד »
הקס (משחק)
הקס הוא שמו של משחק לוח המתנהל על לוח מרוצף משושים.
חָדָשׁ!!: הוכחה בדרך השלילה והקס (משחק) · ראה עוד »
השורש הריבועי של 2
שווה-שוקיים שאורך ניצביו הוא 1. השורש הריבועי של 2, ידוע גם כקבוע פיתגורס, לרוב מסומן כ- \sqrt, הוא המספר הממשי החיובי שכאשר יוכפל בעצמו, תהיה התוצאה שווה ל-2.
חָדָשׁ!!: הוכחה בדרך השלילה והשורש הריבועי של 2 · ראה עוד »
הלמה של צורן
הלמה של צורן (Zorn's lemma) במתמטיקה, ובמיוחד בתורת הקבוצות, היא משפט שימושי העוסק בתכונה של קבוצות סדורות חלקית.
חָדָשׁ!!: הוכחה בדרך השלילה והלמה של צורן · ראה עוד »
הלמה של קנסטר-קורטובסקי-מזורקביץ'
הלמה של קנסטר-קורטובסקי-מזורקביץ היא משפט בסיסי בטופולוגיה של סימפלקסים, המאפשר להסיק, בתנאים מסוימים, שלכמה קבוצות סגורות יש נקודה משותפת.
חָדָשׁ!!: הוכחה בדרך השלילה והלמה של קנסטר-קורטובסקי-מזורקביץ' · ראה עוד »
הלמה של קניג
בתורת הגרפים, הלמה של קניג היא למה הנותנת תנאי מספיק לכך שבגרף אינסופי יהיה מסלול אינסופי.
חָדָשׁ!!: הוכחה בדרך השלילה והלמה של קניג · ראה עוד »
הלוגיקה של אריסטו
גישתו של אריסטו ללוגיקה הייתה שיטתית יותר מזו של קודמיו, והוא הפך אותה לתורה סדורה המאפשרת להבחין בין טיעונים מבוססים לטיעונים שאינם מבוססים על סמך זיהויה של הצורה הלוגית של הטיעונים.
חָדָשׁ!!: הוכחה בדרך השלילה והלוגיקה של אריסטו · ראה עוד »
הטיעון האונטולוגי
הטיעון האונטולוגי (המוכר גם בשם ההוכחה האונטולוגית לקיום האל או בקיצור ההוכחה האונטולוגית) הוא טיעון לוגי-אונטולוגי שמטרתו להוכיח את קיום האל.
חָדָשׁ!!: הוכחה בדרך השלילה והטיעון האונטולוגי · ראה עוד »
הזוגיות של אפס
המאזניים האלו מכילים אפס עצמים, המחולקים לשתי קבוצות שוות. אפס הוא מספר זוגי, משום שהוא שווה לפעמיים אפס, וכל מספר השווה לפעמיים מספר שלם הוא זוגי לפי ההגדרה.
חָדָשׁ!!: הוכחה בדרך השלילה והזוגיות של אפס · ראה עוד »
הבעיות הגאומטריות של ימי קדם
הבעיות הגאומטריות של ימי קדם הן בעיות בנייה שנוסחו על ידי היוונים הקדמונים, והעסיקו מתמטיקאים במשך מאות שנים.
חָדָשׁ!!: הוכחה בדרך השלילה והבעיות הגאומטריות של ימי קדם · ראה עוד »
הבונה העסוק
הבונה העסוק (באנגלית: Busy beaver) הוא שמה של בעיה לא כריעה במדעי המחשב, העוסקת בשאלה: "כמה עבודה ניתן לעשות באמצעות מכונת טיורינג עם מספר נתון של מצבים אפשריים, שפועלת על סרט ריק ועוצרת?".
חָדָשׁ!!: הוכחה בדרך השלילה והבונה העסוק · ראה עוד »
הוכחה
במתמטיקה ובלוגיקה הוכחה היא סדרה סופית של טענות הנובעות זו מזו בעזרת כללי היסק, תוך שימוש בהגדרות, באקסיומות, ובידע קודם שהוכח קודם לכן, המראה שטענה מסוימת היא נכונה.
חָדָשׁ!!: הוכחה בדרך השלילה והוכחה · ראה עוד »
הוכחה בשלילה
#הפניה הוכחה בדרך השלילה.
חָדָשׁ!!: הוכחה בדרך השלילה והוכחה בשלילה · ראה עוד »
הכפלת הקובייה
הכפלת הקובייה הכפלת הקובייה היא אחת מהבעיות הגאומטריות של ימי קדם.
חָדָשׁ!!: הוכחה בדרך השלילה והכפלת הקובייה · ראה עוד »
היסק
בתורת ההיגיון, היסק (באנגלית: Inference) הוא טיעון שמסקנתו נובעת מן הנחותיו.
חָדָשׁ!!: הוכחה בדרך השלילה והיסק · ראה עוד »
היסטוריה של המתמטיקה
פעולות החשבון. היסטוריה של המתמטיקה היא תחום מחקר העוסק בהתפתחות המתמטיקה בחברה האנושית, מראשיתה של המתמטיקה ועד ימינו.
חָדָשׁ!!: הוכחה בדרך השלילה והיסטוריה של המתמטיקה · ראה עוד »
כשל לוגי
כשל לוגי הוא שגיאה בתהליך הסקת מסקנות מטיעון לוגי כאשר אמיתותה של המסקנה אינה תלויה בנכונותן של ההנחות שהיא מבוססת עליהן.
חָדָשׁ!!: הוכחה בדרך השלילה וכשל לוגי · ראה עוד »
יסודות (ספר)
יסודות (ביוונית: Στοιχεῖα, סְטוֹיכֵיַא, נקרא גם 'האלמנטים') הוא חיבור בן שלושה-עשר חלקים, שכתב המתמטיקאי ההלניסטי אוקלידס מאלכסנדריה, מראשית המאה השלישית לפנה"ס.
חָדָשׁ!!: הוכחה בדרך השלילה ויסודות (ספר) · ראה עוד »
מפנה מחדש כאן:
אד אבסורדום, רדוקציו אד אבסורדום, רדוקטיו אד אבסורדום, הוכחה על דרך השלילה.
אזכור
[1] https://he.wikipedia.org/wiki/הוכחה_בדרך_השלילה
