בתשובה לאורי צ., 02/12/20 21:48
התחום האפור (?) של הוכחה מתמטית 729373
ab • בתשובה לאורי צ. יום ד', 9/12/2020, 8:29
הניחוש שלי שהשערת גולדבך נכונה משתי סיבות:

1.
הצפיפות האסימפטוטית של הראשוניים היא n/LAN n בכל קטע טבעיים
[n,2n] , לפיכך מספר הסכומים של
ראשוניים באותו קטע הוא בקירוב גס n^2 מחולק בריבוע של (LAN n) והמספר האחרון גדול לאין שיעור יחסית למספר n של טבעיים שכלולים באותו קטע.

2.
אני מאמין שחישבו את כל הסכומים הבינריים של כל הראשונים והראו שהשערת גולדבך נכונה לכל הזוגיים שקטנים מ- 100 מיליון
( נראה לי שכל החישובים הללו קלים לחישוב במחשבים חזקים היום). העובדה שהשערת גולדבך נכונה למספר כה גדול של מספרים זוגיים היא תמיכה חזקה מאוד בהשערה.

אשר להוכחה פורמלית , אני לא מצפה שזה יקרה בעתיד הקרוב כי ההוכחה (אם יש) אמורה להיות מסובכת מכדי שמישהו יטרח מספר שנות עבודה כדי לנסות להוכיח. בסך הכל ההשערה היא בנושא די איזוטרי היום לכן אין תמורה הולמת למאמץ. בנוסף, נראה לי שבשנים הקרובות (נאמר עד סוף המאה ה- 21) המתמטיקה תתרכז במחקר מדעי המחשב, אולי גם הנדסה של בעיות ביולוגיות . לפיכך ינטשו תחומים "קלסיים" במתמטיקה (כמו תורת המיספרים). במתמטיקה של מדעי המחשב (כולל ביולוגיה מיחשובית) — התמורה למאמץ משתלמת הרבה יותר.
התחום האפור (?) של הוכחה מתמטית. ** תיקון ניסוח. 729469
ab • בתשובה לab יום ו', 11/12/2020, 5:56
טעות הקלדה בשורה האחרונה נישמטה המילים "התחומים האזוטריים הללו יוחלפו" בראש המשפט.
לאחר התיקון הניסוח הנכון הוא

*התחומים האזוטריים הללו יוחלפו* במתמטיקה של מדעי המחשב (כולל ביולוגיה מיחשובית) — התמורה למאמץ משתלמת הרבה יותר.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות