בתשובה לדורון שדמי, 17/11/05 15:28
 |
|
 |
||
|
||||
 |
פיספוס בתגובה קודמת. במקום: אז ככה, x הוא המשתנה הלא תלויי ונגיד שהוא משתנה בין x ל-o (האות "או" באנגלית) . צריך להיות: אז ככה, x הוא המשתנה הלא תלויי ונגיד שהוא משתנה בין x ל-x+o (האות "או" באנגלית) . |
 |
 |
 |
|
|
|
||
|
||||
|
תשובה מלאה ומדויקת. מה עם שאר השאלות? אני אשמח לראות תשובות בעיקר לשאלה 5 ולשאלה 3. | |
|
|
|
|
|
||
|
||||
|
עכשיו תקשיב טוב אייל-צעיר. הנושאים שהעלת בתגובתך, כולל תשובתי לאח של אייל בעניין הנגזרת, אין להם שום קשר למחקר העוסק ביסודות-המתמטיקה, אלא הם אוסף של טכניקות במסגרת מערכת המבוססת על לוגיקת סתירה בין הפכים ועל חשיבה סדרתית בלבד. מחקר *אמיתי* של יסודות המתמטיקה מתחיל מרמת האינטואיציה העומדת בבסיס שפת המתמטיקה, ומחקרי עוסק (בשלב זה) רק ואך ורק "בקו-תפר" זה שבין אינטואיציה להגדרות המכוננות (אקסיומות) של שפה זו. ההבדל העקרוני במחקרי הוא, שאני כולל את התודעה ואת תהליך החקירה עצמו כחלק בלתי-נפרד של מרחב-החקירה. גישה זו איפשרה לי לפתח את עקרונות הלוגיקה המבוססת על סינתיזה בין הפכים, והמאפשרת לכונן גישור בפועל בין כישורינו הלוגיים-טכנולוגיים לכישורינו האתיים. אשמח מאוד אם מעתה תפנה את יכולותיך על מנת לדון במהותה של שפת המתמטיקה, ובאפשרות להשתמש בה ככלי ראשון במעלה לשם פיתוח "שפת הטכנולוגיה של התודעה". |
|
|
|
|
|
|
||
|
||||
|
תשובה מלאה, בהנחה שאתם מסכימים בשאלה מה זה גבול. כדאי לך להתעקש קצת יותר על הגדרת המושג הזה. (בהרצאה ששמעתי לא מזמן, המרצה ניסח טענה A, ואז "בהנחה שטענה A טריוויאלית, בואו נוכיח אותה"). |
|
|
|
|
|
|
||
|
||||
|
לא רציתי לומר שום דבר שייתפס כהתחמקות מהעובדה שדורון צדק. אני לא אדרוש ממנו לענות על השאלה מה זה גבול, אבל אני *אשמח מאוד* אם הוא יענה גם עליה. | |
|
|
|
|
|
||
|
||||
|
אתייחס למושג הגבול, כגבול של סדרה. סדרה של מספרים השואפת לערך קבוע מסויים X , ניתן לומר על X כי הוא גבולה של סדרת המספרים הנ"ל, אם עבור כל מספר חיובי נתון מראש (ויהיה קטן ככל שיהיה) אפשר למצוא מקום בסדרה, שממנו והלאה ההפרש בין כל איברי הסדרה לבין X (הגבול) יהיה קטן תמיד מהמספר השרירותי הנתון מראש. בוא ניתן דוגמא: אם לוקחים את ההיפוכים של כל המספרים הטבעיים (1 חלקיי מספר-טבעי) אנו אומרים כי 0 הינו הגבול של סדרה זו, מפני שניתן להראות כי ממקום מסוים בסדרה הנ"ל, יהיו כל האיברים קטנים מהמספר הנתון מראש, ויהיה מספר זה קטן ככל שיהיה. |
|
|
|
|
|
|
||
|
||||
|
זה רק חוסר תשומת לב מצידך או שאתה באמת לא רוצה להוסיף את עניין הערך המוחלט (כלומר אתה מגדיר גבול רק לסדרות מונוטוניות)? | |
|
|
|
|
|
||
|
||||
|
אני דווקא לא רואה שום פגם בהגדרה שלו, אם כי הוא באמת יותר מילולי מטכני. כשהוא אומר ''ההפרש'', קרוב לודאי שכוונתו לערך המוחלט של חיסור אחד המספרים מהשני. | |
|
|
|
|
|
||
|
||||
|
''קרוב לודאי שכוונתו לערך המוחלט של חיסור אחד המספרים מהשני.'' בדיוק. |
|
|
|
|
|
|
||
|
||||
|
אוקיי. תודה. | |
|
|
|
|
|
||
|
||||
|
דווקא 3? את 3 גם המתמטיקה המונדית יכולה לפתור בלי בעיה (בשביל הפתרון לא צריך אינסופים ולא גבול ולא כלום, סתם אבחנה מדוייקת, אם כי יפה מאוד). | |
|
|
|
|
|
||
|
||||
|
גם עם דברים סופיים למתמטיקה המונדית יש בעיות, כי גם לאובייקטים סופיים (מספרים טבעיים, למשל) יש אופי קוואנטי, ולכן יש לעסוק בחשיבה מקבילית במצבי אי-הוודאות שלהם... בכל אופן, התשובה של דורון לשאלה הזאת עשויה לפתוח דיון מעניין על התקפות ועל האובייקטיביות של ההוכחה, שאומרת משהו על המציאות עצמה. אגב, האם אתה מכיר את המשפט ה"תאום" של החידה הזאת? אם תסיר מלוח שחמט משבצת לבנה אחת ומשבצת שחורה אחת לבחירתך, תמיד תוכל לכסות את מה שנשאר מהלוח באמצעות אבני דומינו. גם ההוכחה של המשפט הזה (שנקרא משפט Gomory, ע"פ וולפרם) קצרה, פשוטה ואלגנטית. |
|
|
|
|
|
|
||
|
||||
|
מסקרן. אני אחשוב על זה בעצמי. אגב, שים לב שבניסוח של המשפט המקורי נותנים רמז עבה לפתרון שלו. אפשר לנסח את המשפט בצורה שונה, בלי להזכיר בכלל לוח שחמט משובץ אלא פשוט דף משבצות שמורדות ממנו שתי פינות נגדיות. מעניין האם זה מסבך את החיים למי שמנסה להוכיח. |
|
|
|
|
|
|
||
|
||||
|
ודאי שזה מסבך. הנה עוד אחת נחמדה ברוח החידה שהזכיר הצעיר: לוח בגודל 8x8, מוציאים משבצת כלשהי, צריך לרצף עם חתיכה שנראית כמו האות "י", בגודל 3 משבצות. OO
O |
|
|
|
|
|
|
||
|
||||
|
הפתרון ללוח ריבועי עם 4 בחזקת n משבצות מתקבל בבניה טריוויאלית מהפתרון ל- 4 בחזקת n-1. פתרת ל- 2x2, פתרת את כולם. |
|
|
|
|
|
|
||
|
||||
|
מה קרה לרמזי zero knowledge הדקים מן הדק? עכשיו תבקש יפה סליחה מגדי. | |
|
|
|
|
|
||
|
||||
|
מה זת'ומרת? *זה* היה הרמז zero knowledge דק מן הדק! כשאני נתקל בחידה שאני מעוניין לנסות לפתור בכחות עצמי, איני ממשיך בקריאת הפתיל (אם קיים) כל עוד לא הגעתי לכדי הרגשה שהעסק מוצה. אני סומך על גדי שהוא מכיר את הטריק. (במילים אחרות: אין שום סיכוי שעכשיו אני אבקש יפה סליחה מגדי, אבל אם זה נורא חשוב לו, הוא יכול לקבל בקשת סליחה דחויה לאחת בצהריים). |
|
|
|
|
|
|
||
|
||||
|
(וממני). | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |