בתשובה להאייל הצעיר, 02/09/05 0:50
פרסום (?) למתמטיקה מונדית 327121
אורי גוראל-גורביץ' • בתשובה להאייל הצעיר יום ו', 2/9/2005, 1:05
נדמה לי שגדי שאל על ההבדל בין מודל לתורת החבורות (דהיינו חבורה) לבין מודל לתורת הקבוצות ("היקום המתמטי"+-).
פרסום (?) למתמטיקה מונדית 327144
גדי אלכסנדרוביץ' • בתשובה לאורי גוראל-גורביץ' יום ו', 2/9/2005, 8:16
אני למדתי ש''מודל'' הוא, בבסיסו, קבוצה. לכן ''מודל לתורת הקבוצות'' נשמע כמו הנחת המבוקש.

כן, אני יודע מה תגיד עכשיו, כבר הצקתי למרצים שלי בעניין והם אמרו לי להשאיר את זה לפילוסופים. זה גם לא ממש מפריע לי.
פרסום (?) למתמטיקה מונדית 327179
אורי גוראל-גורביץ' • בתשובה לגדי אלכסנדרוביץ' יום ו', 2/9/2005, 12:51
מתוך ענין: מה אני אגיד עכשיו?‏1 ניסיתי לחשוב איך לגשת לענין ועוד לא החלטתי. תן תחזית ואז נמשיך.

‏1 ודאי שלא אומר לך להשאיר את זה לפילוסופים.
פרסום (?) למתמטיקה מונדית 327185
גדי אלכסנדרוביץ' • בתשובה לאורי גוראל-גורביץ' יום ו', 2/9/2005, 13:33
אני לא רואה שום בעיה באקסיומות שהן "הנחת המבוקש", כשהנחות הבסיס הן סבירות. הרי צריך להתחיל מאיפה שהוא. במקרה הכי גרוע אפשר תמיד להגיד "אם ZF נכונה אז..." לפני כל משפט מתמטי. אם זה לא מפריע לי, לא ברור למה שזה יפריע לך.

מה שמעניין באמת הוא מה יקרה אם יתברר שההנחות "לא נכונות", כלומר "אין" קבוצה ריקה (איפה?) הרי מטוסים לא יתחילו ליפול, וקבצים מוצפנים לא יהפכו פתאום לקריאים, ותורת גלואה תמשיך להיות יפה. אז מה בעצם ההבדל?
פרסום (?) למתמטיקה מונדית 327189
האייל הצעיר • בתשובה לגדי אלכסנדרוביץ' יום ו', 2/9/2005, 14:14
לדעתי, המתמטיקה לא צריכה להתחיל משום דבר. ההגדרה למערכת אקסיומות בדיון 2396 מספיקה כדי להגדיר מערכות אקסיומות לא אינטואיטיביות בכלל. לנו, כבני אדם, ברור למשל שכל טענה יכולה להיות "נכונה" ויכולה להיות "לא נכונה", כי לנו נוח לעסוק במערכות שבהן לכל טענה יש "שלילה". למתמטיקה אין צורך כזה. הצורך הוא שלנו.

גם הצורך בהנחה ש-ZF "נכונה" במובן כלשהו הוא צורך שלנו, לא של המתמטיקה.

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

אני רק אציין, שהצורך ב"הסתכלות מבחוץ" על המערכת כפונקציה, והצורך ליצור זהות בין ה"לא" הטבעי למושג "לא" במערכת, הוא צורך אנושי.)
פרסום (?) למתמטיקה מונדית 666713
בניה קורן • בתשובה לגדי אלכסנדרוביץ' יום ו', 30/10/2015, 0:46
אין לי עדיין בסיס מתמטי מי-יודע-מה, אבל אני חושב שיש לי כיוון לתשובה שהוא לפחות מעניין:

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

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

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