בתשובה להאייל האלמוני, 29/01/04 22:43
שיו, אני *בטוח* שהיה שם פרפר 193985
האייל האלמוני • בתשובה להאייל האלמוני יום ה', 29/1/2004, 22:56
דוגמא לפער הזה בין מתמטיקאים למדעני המחשב הוא המשפט שנקרא ה Prime Number Theorem

המשפט הזה נחשב למשפט מפורסם וחשוב במתמטיקה, והוא מראה מספר המספרים הראשוניים בין 1 ל n שואף ל n/lnn (ככל שn שואף לאינסוף).

עעבור מדעני מחשב,כמעט לכל שימוש אפשרי מספיקה התוצאה של צ'בישב שהמספר הזה הוא בתחום שבין 0.8n/lnn ל 1.2n/lnn, את ההערכה הזו אפשר לקבל בצורה הרבה יותר פשוטה מאשר ה prime number theorem (יש לתוצאה הזו הוכחה של בערך 4 שורות), ולכן מן הסתם אם זה היה תלוי במדעני מחשב, לתוצאה של צ'בישב היו קוראים ה prime number theorem.
שיו, אני *בטוח* שהיה שם פרפר 193989
עוזי ו. • בתשובה להאייל האלמוני יום ה', 29/1/2004, 23:14
כשיגיעו לכאן היצורים הירוקים בעלי שלוש העיניים, אני בטוח שהשאלה הראשונה שלהם תהיה אם כבר הצלחנו להוכיח שההפרש בין מספר הראשוניים מתחת x לבין (x/log(x אינו עולה על קבוע כפול (sqrt(x)*log(x.
שיו, אני *בטוח* שהיה שם פרפר 193994
שוטה הכפר הגלובלי • בתשובה לעוזי ו. יום ה', 29/1/2004, 23:21
ואני חושב שהם יתעניינו יותר במיקומו של פח הזבל הקוסמי. עד שיקחו אותם לרמת חובב.
שיו, אני *בטוח* שהיה שם פרפר 194006
האייל האלמוני • בתשובה לעוזי ו. יום ה', 29/1/2004, 23:55
זאת תהיה השאלה השניה, אחרי שהם ישאלו אם הצלחנו להוכיח שאין מעגל בגודל
2^{sqrt(n)}
לחישוב ספיקות של נוסחה בוליאנית בגודל n.

לגבי השאלה שלך, אני בטוח שהם לא ישאלו אם הצלחנו לחשב מהו בדיוק הקבוע הזה.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות