|
||||
|
||||
נתחיל ממשפט פשוט יותר, שאומר שבכל סדרה אינסופית אקראית של ספרות תוכל למצוא כל תת-סדרה סופית של ספרות שתבחר. (הוכחה באינדוקציה, די מייגע אותי לרשום את זה בפירוט אבל אם תתעקש, ואם עוזי לא ישלוף איזה שפן פשוט יותר, אטרח). עכשיו עבור לבסיס ספירה ששווה למספר הגדול ביותר בסדרה הסופית+1, וחזרת למשפט הקודם. |
|
||||
|
||||
ההמשך ברור, המשפט הראשון לא. אם אני בונה סדרה אקראית ע"י הגרלה של ספרות. (לשם הפשטות אני אניח התפלגות שווה) אני לא רואה איך אתה יכול להוכיח שבהכרח סדרה זו תכלול תת סדרה סופית מסויימת. אתה יכול להוכיח שההסתברות שהיא לא תכלול תת-סדרה סופית מסויימת היא קטנה מאוד ולמעשה שואפת ל0. אבל עדיין תתכן סדרה כזאת, מאחר וקיימות אין סוף (לא בר מנייה) סדרות כאלו. |
|
||||
|
||||
ראשית, המלה "אקראי" אינה חד-משמעית. לפעמים מתכוונים למשהו שמגרילים (ולא חשוב איך בדיוק), ולפעמים דווקא להגרלה מהתפלגות אחידה. נניח שמדובר בסדרות שכל הספרות שלהן מוגרלות באופן לא תלוי מאותה התפלגות, שבה לכל ספרה יש הסתברות חיובית. כל רצף סופי של מספרים מופיע, בהסתברות 1, בסדרה מקרית אינסופית. יתרה מזו, גם הסיכוי ש*כל* הרצפים הסופיים יופיעו בסדרה מקרית אינסופית, הוא 1. לעומת זאת, לכל רצף סופי, קיימות סדרות אינסופיות שבהן הוא אינו מופיע. העובדה שמאורע קורה בהסתברות 1 (ולא "שואפת ל-1"; זהו המספר 1 המוכר מהשוויון 1+1=2) אינה מבטיחה שהוא יקרה. היא רק אומרת שלא כדאי להמר על ההיפך (בשום יחס הימורים סופי). |
|
||||
|
||||
כלומר, צדקתי? למעשה קיבלתי כבר בדואר יעוץ מתמטי שאמר פחות או יותר את מה שאתה אומר והיווה את הבסיס להודעה הקודמת שלי. מה הסיכוי למצוא את התנ"ך בשלמותו מקודד ברציפות במספר PI? |
|
||||
|
||||
האבחנה החשובה היא (כפי שציינת) בין "נכון בהסתברות 1" לבין "נכון בהכרח". מספר ממשי נקרא "נורמלי" אם כל רצף סופי מופיע בו, בשכיחות הנכונה (כלומר, 1/10 בחזקת מספר הספרות של הרצף). ידוע שכמעט כל1 המספרים הם נורמליים, למרות שלא קל למצוא כאלה. משערים2 שפאי הוא מספר נורמלי, ואז, בפרט, אם נכתוב אותו בבסיס 256, אפשר יהיה למצוא בו כל רצף סופי של תווים. בינתיים ידועות2 כמליארד הספרות (העשרוניות) הראשונות של פאי, ולכן אפשר למצוא שם את רוב הרצפים של תשע ספרות. אפשר לשאול גם את ההיפך: מה הסיכוי למצוא את פאי מקודד בתנ"ך?... 1 "כמעט כל" = לקבוצה המשלימה יש מידה אפס. כשמגרילים מספר (על-ידי הגרלת הספרות שלו באופן אחיד) הוא נורמלי בהסתברות 1. 2 למרות שלא ברור את מי זה מעניין |
|
||||
|
||||
הסיכוי למצוא את פיי בתנ"ך הוא אפס, ולו רק בגלל סופיותו של האחרון. אפשר כמובן להחליט שפיי בתנ"ך זה 3, כמו שהחליטו בנברסקה על פי מידות ים הנחושת. |
|
||||
|
||||
נכון שפאי אינו מספר רציונלי, אבל זה לא אומר שצריך ספר אינסופי כדי לתאר אותו. אפילו האייל יספיק: "היקף מעגל לחלק לקוטרו". קירוב לא רע לפאי מקודד בפסוק על ים הנחושת: "ויעש [המלך שלמה] את הים מוצק, עשר באמה משפתו אל שפתו, עגול סביב, וחמש באמה קומתו, וקו(ה) שלשים באמה יסוב אותו סביב", כאשר למלה "קו" כתיב "קו" וקרי "קוה". היחס בין שתי המלים בגימטריה, 105/111, הוא קירוב טוב מאד ליחס בין שלוש (היחס המופיע בפסוק) לפאי (האמיתי). הקירוב הזה הוא הקירוב הטוב ביותר האפשרי מבין כל אלו שהמכנה שלהם אינו גדול מ- 111. |
|
||||
|
||||
http://www.daatemet.co.il/daathalacha/he_pi.html ומה שקרה כאשר שלחו את זה לאתר "מנוף":http://www.hofesh.org.il/religion_merchants/claims/s... |
|
||||
|
||||
אני מכיר את המקורות האלה היטב, וכל מלה שכתבתי - מדויקת. אפשר לקבל קירובים אופטימליים של פאי על-ידי פיתוח לשברים משולבים. הקירובים הראשונים לשליש פאי הם כדלקמן: 1, 22/21, 111/106, 355/339, 103993/99306. בפרט: אין קירוב רציונלי עם מכנה קטן מ- 99000, שהוא מדויק יותר מ- 355/339; אין קירוב רציונלי עם מכנה קטן מ- 339 שהוא מדויק יותר מ- 111/106. |
|
||||
|
||||
ואני תוהה - האם אתה מתייחס לעובדה זו כהוכחה למשהו? האם לדעתך מי שכתב את הדברים קודד שם את הקירוב לפאי, מתוך כוונה מפורשת לקודד שם קירוב לפאי? |
|
||||
|
||||
כלומר מדובר לדעתך בקוריוז משעשע בלבד? |
|
||||
|
||||
בדיוק. והכי משעשע - כמות המלל שאפשר לייצר מהקוריוז. מעבר לזה, אני לא בקיא בהסטוריה של קירובים רציונליים לפאי, אבל אני מעריך ש- 333/106 הוא קירוב מצויין יחסית לתקופה שבה נכתב הפסוק. מהנתון הזה לבדו אי-אפשר להסיק דבר על הכוונה לטמון את הקירוב דוקא שם. |
|
||||
|
||||
התאור שנתת לפאי מזכיר לי פרדוקס ישן שקראתי פעם, אודות המספר הקטן ביותר שאי אפשר לכתוב בפחות משלושים וארבע הברות. |
|
||||
|
||||
ועוד דבר, יש סרט בשם "פיי" של הבמאי דארן אהרונופסקי, שגם עשה את הסרט "רקוויאם לחלום" עוצר הנשימה, שבו הגיבור מנסה למצוא איזו מחזוריות לא ברורה1 בערך העשרוני של פיי, תוך שהוא זוכה להתעניינות מצד גורמים בבורסה וחבורה של "קבליסטים", כל קבוצה מסיבות השמורות עימה. 1 שהרי פיי אינו רציונלי, ועל כן אינו ניתן ליצוג מחזורי, אבל אולי הוא חיפש משהו אחר. |
|
||||
|
||||
אינדוקציה על מס' האיברים בסדרה הסופית. עבור n=1 זה טריביאלי. חפש בסדרה האינסופית את האיבר הראשון של הסדרה הסופית. מאחר ואיברי הסדרה האינסופית הוגרלו, ההסתברות לכך שלא תמצא אותה היא 0. אם מצאנו תת-סידרה עם n-1 איברים ששוים ל n-1 האיברים הראשונים בסדרה הסופית, נסתכל על הסיפרה הבאה. אם שווה, גמרנו (ההסתברות לכך היא 0.1 אם הגרלת את הספרות בסדרה המקורית). אם לא, נבנה את הסידרה האינסופית הבאה שלנו: האיבר הראשון שלה הוא האיבר שאחרי האיבר האחרון בסדרה המקורית שהיה שווה לאיבר ה n-1 בסדרה הסופית, ונחזור על התהליך עבור הסדרה החדשה. מאחר ואפשר לחזור על התהליך ללא הגבלה, בעוד ההסתברות למציאת הספרה (ה-nית בסדרה הסופית שלנו) גדולה מאפס, ההסתברות לכך שנצליח היא 1 (כמו בשלב הראשון באינדוקציה). אני מתנצל על שימוש במילים במקום בסימונים המקובלים (a(n וכו', אני מנסה להימנע משיחה בנוסח סמילי-ד. פר בתקווה שגם ילדות בנות 13 תוכלנה לעקוב והמערכת לא תוצף בתלונות. |
|
||||
|
||||
או שלא הבנתי או שהוכחת משהו אחר. הטענה היתה שבסדרה אקראית ניתן למצוא כל תת-סדרה סופית ואתה הראית שקיימת סדרה אקראית שכוללת תת-סדרה סופית מסויימת. זה לא אותו דבר. |
|
||||
|
||||
למה "קימת"? לא הינחתי כלום על הסדרה האינסופית שלנו מלבד שספרותיה הוגרלו. הראיתי ש*בכל* סדרה כזאת, ההסתברות למצוא *כל* סידרה סופית (שהרי גם לגביה לא הינחתי כלום) היא 1. עוזי טוען שזה לא תואם את טענתי שזה אומר "בהכרח תימצא", ואני מניח שהוא צודק (מאחר וישנם מאורעות בעלי הסתברות 0 שכן קורים). במובן הזה אתה והוא צודקים כנראה. אבל אם כך אפשר לצמצם את ה"ויכוח" (אם מותר לקרוא לזה כך) לשאלה אם ספרה בודדת אחת (למשל: 7) תימצא ב*הכרח* בכל סידרה אינסופית של ספרות אקראיות. מה דעתך? אגב, על הקוף המפורסם ההוא שאם יתנו לו מספיק זמן יקליד במקרה לגמרי את "המלט" בטח שמעת. זה אותו משפט עצמו. |
|
||||
|
||||
שוב - יש הבדל בין "קיימת סדרה המקיימת ..." לבין "כל סדרה מקרית מקיימת ..." לבין "הסיכוי שסדרה מקרית תקיים ... הוא 1". הוכחת (פחות או יותר) את הטענה השלישית (עבור התכונה 'מכילה את הרצף A', באינדוקציה על אורך הרצף). איזי טען שהטעה השניה אינה נכונה, ושניכם צודקים. הניסוח ההסתברותי של חוק מרפי: גם דברים שהסיכוי שלהם לקרות הוא אפס, עלולים לקרות. |
|
||||
|
||||
ראה את התשובה הקודמת שלי לאיזי. רק שוטים מתווכחים איתך על מתמטיקה. |
|
||||
|
||||
אני תוהה אם זה מה שקורה כאן. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |