בתשובה לאלון עמית, 27/08/07 11:11
כמה הערות 458403
ראשית, אני מתנצל על העיכוב שמקורו קשיי התנסחות + ענייני פרנסה ‏1.

מחצית מן התיזה? בוא נראה.
הבנה: נראה שאנו מסכימים על הגדרת הבנה כ"יכולת תמצות העומדת במבחן הניבוי".

יצירה: אם לא הדגשתי נקודה זו במידה מספקת אז אעשה זאת כאן: "יצירה" במובן הכרונולוגי (create) אינה אפשרית עבור מבנה מתמטי – שהינו "יש" שאינו תלוי בזמן. השימוש במילה זו במאמר ובתגובותיי הוא בהוראתו המתמטית – "generate", כבמקרה של חבורה ויוצריה. (תחליפים אפשריים למילה "ליצור" בהוראה זו הם "לעמוד בבסיס”, "לגזור”, "לגרור").

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

עיקר הטענה במאמר לגבי מהות היקום היא אכן, כפי שאתה מציין, שהוא מבנה מתמטי, שתכונותיו אינן מוליכות (לוגית, לא כרונולוגית!) לסתירה. מה לכך ולאקסיומות? הרי האקסיומות אינן "גורמות" למבנה להתקיים ובד"כ אף ישנן מערכות אלטרנטיביות רבות של אקסיומות, היוצרות/עומדות בבסיס/גוזרות מבנה מתמטי נתון.

במקרה הגרוע, כמעט כל פרט במבנה נגזר מאקסיומה נפרדת. אני לא יודע אם זו דוגמא טובה לכך, אך מה שעולה על דעתי בהקשר זה הוא גרף (במובן של מדעי-המחשב) בו שכניו של כל קודקוד נקבעים ע"י אקסיומה נפרדת. אלא שלא במבנים כאלו עוסקים פיסיקאים (ומתמטיקאים?). למה? אין תקציב, אז מתרכזים במה שבהשקעה קטנה יחסית נותן תמורה גדולה: מבנים הכפופים לסדירות כלשהי.

סדירות: שלא כבדוגמא הקודמת, מבנה מתמטי שכמות/מידת מרכיביו עולה בהרבה על כמות היסודות המינימלית ממנה הוא נגזר, מחיייב מידה של קשר חוזר בין מרכיביו – איזושהי הומוגניות. למשל, ללא חזרה על אותו סוג של חלקיק, לא תתקיים כימיה הדירה, וכמובן גם לא ביולוגיה (אני לא בטוח לגבי ספרות).

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

אילוצים: אך לא רק אקסיומות נדרשות ליקומנו וליקומים מסוגו, וכאן אני כבר מתייחס לתורת הקוואנטים (אגב, לא נראה לי שיקום ניוטוני מוגדר באופן מלא, גם אם נתעלם מתופעות קוואנטיות ויחסותיות שלא נודעו אז). האקסיומות גוררות מיצוע היוצר אילוצים - התייחסתי לכך בסעיף "עקביות" במאמר וכן בתגובה 455952 לטל. דוגמאות לאילוצים כאלו הינן מש' שדה/מסלול/תנועה כמש' דיראק ומש' איינשטיין.

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

פאנו: ישנן כמובן מערכות אקסיומות נוספות, חזקות יותר, הנותנות גם הן את הטבעיים. הזכרתי מערכת זו רק כדוגמא.

לא הבנתי מה הבעייה עם זיהוי מארג המשפטים כמבנה. לדוגמא, האין המספר 1 הוא משפט המתקבל מאקסיומות פאנו, והמספר 2 גם הוא משפט, המתקבל ממנו?

בעניין החבורה בעלת ששת האיברים: האין די בקיום לוח הכפל המלא שבין אבריה כדי שהיא תחשב למבנה מתמטי המוגדר היטב?

"מאחר שהוא מבנה מתמטי עקבי, קיומו הוא כורח": אני מקווה שהסברתי מדוע בחרתי בניסוח זה בתגובה 456448 .

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

1 כפיצוי על ההמתנה, הנה שני משחקים לשיחות טלפון ארוכות: http://www.wiiplayable.com/playgame.php?gameid=208
וכן זה:http://www.biomotionlab.ca/Demos/BMLwalker.html
אה, כמעט שכחתי: אם עוד לא ראית את miss teen של אמריקה, שבקלות מתחרה בקריסטין שלנו (http://www.youtube.com/watch?v=o1nFSF-sUaE): http://www.youtube.com/watch?v=aR75L08SBHo&NR=1 .
כמה הערות 458900
אני עדיין מתקשה להבין מדוע אתה נזקק בכלל לאקסיומות. הבאת "גרף" כדוגמה למבנה מתמטי "לא סדיר" אשר, על-מנת לתארו, צריכים המון אקסיומות שרירותיות. אבל כך הוא עם כל מבנה מתמטי. אני חושב שאתה מתבלבל בין האקסיומות של ה*תורה* (תורת הגרפים, תורת החבורות), שהן בד"כ מעטות ונאות אבל מאפשרות המוני מבנים שונים, לבין מקרה פרטי או מודל של התורה (גרף מסויים, חבורה מסויימת) שכדאי לתאר *אותו*, ספציפית, צריך שפע אקסיומות שרירותיות למדי (אם אפשר בכלל לעשות זאת; ברוב התורות הלוגיות השימושיות, מובטח לך שלא ניתן בכלל להצביע אקסיומטית על מודל אחד ויחיד).

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

כמה עניינים ספציפיים:

"האין המספר 1 הוא משפט המתקבל מאקסיומות פאנו, והמספר 2 גם הוא משפט, המתקבל ממנו?" - לא בשום מובן שאני מכיר. המספר "1" איננו משפט, והוא ודאי לא "מתקבל" מאקסיומות פאנו.

"האין די בקיום לוח הכפל המלא שבין אבריה (של חבורה בת 6 איברים) כדי שהיא תחשב למבנה מתמטי המוגדר היטב?" - אני מניח שכן, אבל זה לא מניח את דעתי: התואר "עקבי" מתאים למערכות אקסיומטיות, לא למבנים ספציפיים. אפשר לחקור בשמחה את תכונותיה של חבורת התמורות על 3 עצמים בלי אקסיומות ובלי ששום דבר יהיה עקבי. הנה החבורה, הנה איבריה, הרי לך "יקום". למה צריך אקסיומות?

אני מדגיש, שוב: החבורה הזו - וכל חבורה אחרת - אינה "נוצרת" מהאקסיומות של תורת החבורות בשום מובן, סטטי או דינמי, שאני יכול לחשוב עליו. בשל כך אני מתקשה להבין גם את הסברך בתגובה 456448. אמור פשוט: כל מבנה מתמטי - קיים, וכל מה שקיים - מבנה מתמטי. מבנה מתמטי אינו נצרך לאקסיומות; הוא פשוט (בד"כ) אוסף מסויים של אובייקטים בעלי תכונות חד-משמעיות מסויימות.

"איני מכיר את life, אך כדי שזה יהווה יקום נדרש ממנו להיות מבנה מתמטי מפורט, העומד בפני עצמו (למשל ללא תלות בזמן חיצוני) ומכיל כל אחד מפרטי המשחק."

"אך לא רק אקסיומות נדרשות ליקומנו וליקומים מסוגו" - אה. אז מה עוד? יש מבנים מתמטיים המקובלים עליך כיקומים פוטנציאליים, וכאלה שלא?

המשחק http://en.wikipedia.org/wiki/Conway%27s_Game_of_Life גם הוא מסגרת היוצרת מודלים רבים, שונים ומשונים. כולם מבנים מתמטיים עקביים ש"אינם תלויים בזמן חיצוני" (נח להסתכל עליהם כמתקדמים בזמן, כמו על עולמנו, אך אין בזה כל הכרח מתמטי; אפשר לחשוב על כל לוח לייף כמערך תלת-ממדי קפוא בזמן). לשיטתך - כפי שאני מבין אותה עכשיו - כל המבנים הללו קיימים ב"אותה המידה" בה יקומנו שלנו קיים, וכמוהם כל המשחקים הדומים להם שהומצאו או לא הומצאו. טוב ויפה - זה יוצר גודש אונטולוגי מפחיד למדי, אבל לי אישית זה לא מפריע.
כמה הערות 462027
לאחר שביזבזתי סופ"ש שלם על סידור המרתף ‏1, אני יכול עתה להגיב בניחותא. בקצרה: נדמה לי שאנו מסכימים על העיקר אך בכמה פרטים יש ביננו אי-הבנה שאיני מצליח לפוגג, שלא לדבר על האפשרות הבלתי סבירה שאני טועה (:

אכן איני רואה הבדל בין תורה מתמטית לבין כזו המתקבלת מתורה מתמטית ע"י הוספת אקסיומות ("מקרה פרטי").
האם לא ניתן לקחת כל מערכת אקסיומות ולראותה כמודל של כל מערכת המוכלת בה ממש? אם כן, מהי ההפרדה הזו לתורה ולמודל?

לגבי גודלה/עוצמתה של מערכת האקסיומות המינימלית (או החסם התחתון לה, או מה שלא יהיה) העומדת בבסיס יקומנו – איני יודע.

לגבי המספר אחד: שתי אקסיומות פאנו הראשונות הן ‏2:
• קיים מספר טבעי 0.
• לכל מספר טבעי a קיים עוקב.
משפט: קיים עוקב למספר אפס (יש הקוראים לו "אחד" – למשל אני). לזאת התכוונתי ב"המספר 1 הוא משפט המתקבל מאקסיומות פאנו".

בעניין האקסיומות ותפקידן – אני מסכים עם עיקר דבריך – אלא שאין הם מנוגדים לדבריי, לפחות במובן לו התכוונתי בתגובות קודמות. בכל אופן, אם אנו מסכימים על: "כל מבנה מתמטי - קיים, וכל מה שקיים - מבנה מתמטי" – דיינו, שכן זהו העיקר ‏3.

בעניין משחק החיים: לאחר קריאת הערך בויקיפדיה אליו הפנית, נראה שלבד מהיות מגניב באופן מיוחד, הוא אכן "מבנה מתמטי מפורט, העומד בפני עצמו (למשל ללא תלות בזמן חיצוני) ומכיל כל אחד מפרטי המשחק."

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

אסיים בקישורים שסל המיחזור לי גדוש מהכיל ולכן אני מעדיף להשליך אותם כאן (אל דאגה, מחר תפנה אותם המשאית של העיריה):
ציפ-ציפ: http://birdloversonly.blogspot.com/2007/09/may-i-hav...
מיאו: http://www.youtube.com/watch?v=3S4hNMqDhoo
בלופ (נדמה לי שככה עושה תא, בכל אופן סרט שווה, אך לוקח זמן רב לטעון אותו): http://www.studiodaily.com/main/technique/tprojects/...
בום (גם כן ארוך וגם כן שווה): http://www.youtube.com/watch?v=1uwOL4rB-go

2 מספר טבעי [ויקיפדיה]

3 אם נניח לרגע בצד את עשיית הטוב
תחזוקת קישורים 462151
כנראה שכדי לראות את המרתף שלי (‏1) צריך לפעמים לגשת ל
http://www.business.study.ru/forum/viewtopic.php?t=1... וללחוץ על הקישור בהודעה הראשונה שם.
תחזוקת קישורים 462178
אהה. באמת הרגשתי שנעלם לי קצת כסף מהארנק.
תחזוקת קישורים 462243
במשקל הקל לאחרונה של הארנק שלך גם אני הרגשתי, אבל התביישתי להעיר.
תחזוקת קישורים 462395
אני באמת מצטער לשמוע את זה, מאחר וכשלעצמי אני שומר חוק, אלא שכמה מאנשיי אינם כאלה. בוודאי תתנחם מכך שרוב הסכום הולך לצדקה: עבור כל טון נייר המגיע ל"אמניר", אנו מקבלים 130$, שמתוכם 90$ הולכים להצלת יערות הגשם ולהכנסת כלה (השאר מתחלק באופן שווה בין אלכוהול, נערות ליווי והימורים).
תחזוקת קישורים 462406
לאור המופיע בסוגריים, אני תוהה לאן אתם מכניסים את הכלה.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים