תוצאות החיפוש

...דול יותר, כך סביר יותר שניתן להציגו כסכום של שני ראשוניים. מובן שזו אינה [[הוכחה]]. ...

...יבי המשפט טוען שתוכנית מחשב אינה יכולה לדעת כמעט מאום על הפלטים של תוכניות מחשב הנתונות לה כקלט. ...ונקציה ש[[תחום של פונקציה|תחום ההגדרה]] שלה [[הקבוצה הריקה|ריק]]. אלגוריתם מחשב את הפונקציה הריקה [[אם ורק אם]] הוא לא עוצר על אף קלט, כלומר נכנס תמיד ל[[ל ...

...בצביעה של המספרים הטבעיים תחת אילוצים. לבעיה נמצאה במאי 2016 [[הוכחה בעזרת מחשב]], שהתפרסמה בעיתונות הפופולרית כהוכחה "הארוכה ביותר בעולם"{{הערה|[http://ww ...עבד על כך במשך יומיים. לבעיות ספיקות שהתשובה עליהן היא שלילית אין בדרך כלל הוכחה קצרה לחוסר הספיקות (הבעיה היא שלמה ל-[[co-NP]]). במקרה זה ההוכחה שנוצרה גוד ...

==מימוש בתוכנית מחשב== סכום של טור סופי ניתן למימוש פשוט ב[[תוכנית מחשב]] תוך שימוש ב[[לולאה (תכנות)|לולאה]]. את הביטוי <math> \sum_{i=m}^{n} x_{i} ...

...ור את הבעיה באמצע [[המאה ה-19]]. היא נודעה כ'השערת ארבעת הצבעים', וזכתה ל[[הוכחה שגויה|הוכחות שגויות]] רבות. ...למצוא הוכחה סטנדרטית יותר, שיכולה לעמוד ל[[ביקורת עמיתים]] ללא עזרת מחשב. הוכחה כזו עדיין לא נמצאה. ...

...ם [[מדעי המחשב]]. המודל המקובל הוא [[מכונת טיורינג]], שמדמה את פעולתו של [[מחשב]] בסיסי במיוחד (ועם זאת, כזה שניתן לפתור בו כל בעיה שניתנת לפתרון במחשב רגי ...נים בתור <math>\ \mbox{DSPACE}(f(n))</math>. את אוסף כל השפות שניתן להכרעה באמצעות [[מכונת טיורינג לא-דטרמיניסטית|מכונת טיורינג '''אי-דטרמיניסטית''']] בסיבוכי ...

לו הטור היה מתבדר, הייתה בידינו הוכחה של [[השערת המספרים הראשוניים התאומים]]. אבל מכיוון שהטור מתכנס, לא ידוע עדי ...ב התוצאה משתבשת. לאחר בדיקה ממושכת השתכנע שהתקלה נובעת מפגם ב[[מעבד]] של [[מחשב אישי|המחשב האישי]], וכך התגלה "[[באג הפנטיום]]". ...

...מישורים פרויקטיביים מסדר 6 או 14. [[הוכחה באמצעות מחשב|הוכחה מפרכת באמצעות מחשב]] הראתה שגם מישורים מסדר 10 אינם קיימים{{הערה|https://cms.math.ca/cjm/v41/c ...על הנקודות רגולרית<!-- ראה אחרי משפט 3.7 ב-Thas-->. כך אפשר לתאר מישור כזה באמצעות קבוצת הפרשים, כפי שהוסבר לעיל. ...

...[לוגיקה בוליאנית]], ערכי האמת בלוגיקה טרינארית יכולים להיות מיוצגים נומרית באמצעות מספר ייצוגים. כמה מהנפוצים ביותר הם: ...המבוסס על לוגיקה טרינארית. היישום המודרני היחיד והאחרון נכון לשנת 2008 הוא מחשב ה[[:en:Setun|סטון]], [[:en:Setun|Setun]] הסובייטי שנבנה בשלהי שנות ה-50 במו ...

...ק בשנת 2002 על ידי המתמטיקאי האוסטרלי וורוויק טאקר, על ידי [[הוכחה באמצעות מחשב]]. [[קטגוריה:הוכחה באמצעות מחשב]] ...

...כום של שני מספרים ראשוניים. ההשערה טרם זכתה ל[[הוכחה]], אך נבדקה באמצעות [[מחשב]] ונמצאה נכונה לכל מספר עד <math>\ 2 \cdot 10^{17}</math> כך שהיא נכונה למס ...

...ק את השטח התחום לאינסוף [[משולש]]ים אשר שטחיהם יוצרים [[סדרה הנדסית]]. הוא מחשב את הסכום של ה[[טור (מתמטיקה)|טור הגאומטרי]] המתקבל, ומוכיח שזהו השטח של המק ==הוכחה גאומטרית== ...

...דול יותר, כך סביר יותר שניתן להציגו כסכום של שני ראשוניים. זו כמובן אינה [[הוכחה]]. [[הגרסה החלשה של השערת גולדבך]] (הוכחה ב-2013) קובעת שכל מספר אי-זוגי (גדול מ-5) אפשר להציג כסכום של שלושה ראשוניי ...

...ספרים האי-רציונליים מיוחס ל[[היפאסוס]], מחברי [[האסכולה הפיתגוראית]], שמצא הוכחה שהשורש הריבועי של 2 הוא מספר אי-רציונלי. אולם, דבר הגילוי נשמר בסוד על-מנת ...ם של הסדרה נקבל ערך מדויק יותר של השורש הריבועי של 2. למעשה, ניתן לבטא זאת באמצעות [[שבר משולב]]: ...

...נסוף מצבים), מספיק לבדוק אותה ב-1,936 מקרים מסוימים; אלו נבדקים ב'כוח', ב[[מחשב]]. במקרה הגרוע [[NP (מחלקת סיבוכיות)|בעיות NP קשות]] ניתנות לפתרון רק באמצעות חיפוש ממצה{{הערה|[http://mathworld.wolfram.com/ExhaustiveSearch.html Exhaus ...

בתורת ה[[חישוביות]], '''סיבוכיות זמן''' של [[אלגוריתם]] היא הערכה, באמצעות [[חסם (מתמטיקה)|חסמים]], על מספר הפעולות שמבצע האלגוריתם כ[[פונקציה]] של גו ...שניות), משום שמשך הזמן לביצוע פעולה תלוי ב[[מודל חישובי|מודל החישובי]] וב[[מחשב]] שעליו רץ האלגוריתם. למשל, ייתכן שבמודל או בארכיטקטורה מסוימת ניתן [[חילוק ...

...ימות זהויות]] ברשת, במקום שיטת האימות הקונבנציונלית באמצעות [[סיסמה]]. ככל הוכחה באפס ידיעה, פרוטוקול פייגה-פיאט-שמיר מאפשר למשתתף אחד להוכיח בפני המשתתף הא ...ורו מחזיר אתגר אקראי למוכיח והאחרון משיב לאתגר במתן מענה נכון התלוי בסודו. באמצעות המידע הפומבי, ההוכחה והמענה לאתגר שקיבל, המוודא מסוגל להשתכנע כי המוכיח מחז ...

...ה לא [[כריעות|כריעה]] ב[[מדעי המחשב]], העוסקת בשאלה: "כמה עבודה ניתן לעשות באמצעות [[מכונת טיורינג]] עם מספר נתון של מצבים אפשריים, שפועלת על סרט ריק ועוצרת?" ...רינג". אחת הדרכים הפשוטות לראות את מכונת טיורינג היא על ידי המחשתה כמעין [[מחשב]] מכני בסיסי, שמורכב מארבעה חלקים: ...

===הוכחה באמצעות סכום סדרה חשבונית=== הטיעון של גאוס מחשב למעשה כל סדרה חשבונית. ...

#אין הוכחה בהכרח שאם <math>f</math> חד-כיוונית יהיה '''תמיד קשה''' להפוך אותה גם כאשר ...הבעיה על ידי הטמעה של הסיבית הסודית בתוך מספר אקראי כלשהו במיקום מוסכם או באמצעות חישוב כלשהו כמו [[XOR]], אך העובדה שבאופן עקרוני בכל סכימה דטרמיניסטית גם א ...