בתשובה לדורון שדמי, 29/09/05 15:20
רגע 333738
בתגובה 333287 אתה "מגדיר ומסביר בקצרה" ש"קבוצה אלמנטרית" היא "ישות יסודית, שאי-קיומה מונע את קיומם של אלמנטים המורכבים ממנה (תרתי משמע)". יש כאן שתי בעיות, אחת מהותית ואחת טכנית.

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

(קצת חבל לי שהתגובה תלך לאיבוד בדיון הזה).

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

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

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

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

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

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

אף בר-דעת, כולל מתמטיקאי, אינו יכול להתעלם מיחסי-תלות/אי-תלות במתמטיקה, לדוגמא:

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

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

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

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

הסתירה של שימוש בהיררכית-קיום כהנחה-סמויה, הופכת את המתמטיקה המודרנית למערכת לא-עיקבית, פשוטו כמשמעו, והתעלמותך מתלות-קיום ברורה לחלוטין של {{}} ב- {}, כפי שמוכח חד-משמעית בתגובה 333287 , חושפת את חולשתה של השיטה הפורמלית מכוננת ההגדרות ונעדרת התובנות.

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

תוכל לפרט?

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

עד לגדל, ניתן היה לעסוק בשאלת מהות המתמטיקה מבלי ''לחטוא'' בפילוסופיה.
רגע 333844
א. *לפני* גדל, מי דן במהות המתמטיקה במונחים מתמטיים?
ב. איך גדל שינה את המצב?
רגע 333875
"א. *לפני* גדל, מי דן במהות המתמטיקה במונחים מתמטיים?

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

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

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

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

1, 2, 4, 5, 10, 11, 13, 14, ...

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

זה קצת קשור לדיון (אליו הפנית בתגובה 327219) על התקדמות המתמטיקה. זה נחמד שדברים נהיים יותר קלים, אבל כשהם נעשים קלים מדי אנחנו עלולים לאבד את המוטיווציה לחקור אותם "באצבעות", לפתח אינטואיציה לגביהם ואולי לגלות דברים שהיום, בדור הכפית, לא נגלה.
מה זה האמס"ש? 334311
מה זה האמס"ש? 334322
''אינציקלופדיה המקוונת של סדרות מספרים שלמים''
תודה (לא הבנתי, אבל בכל זאת, תודה) 334327
תודה (לא הבנתי, אבל בכל זאת, תודה) 334331
תגובה 333802.
תודה (לא הבנתי, אבל בכל זאת, תודה) 334340
כן, ראיתי. פשוט לא הבנתי איך הראשי תיבות האלא מסתדרים (למה אכלת את המ' של המספרים?).

(מצד שני, אולי כדאי שתתעלם מהערות מטופשות שאני מעיר?)
רגע 334355
ברור שאילו שאריות ריבועיות מודולו 78 פלוס 1.
רגע 334427
יותר מדי יין שתית שם, באיטליה.
רגע 334430
מסתבר שאפילו כלום זה יותר מדי. אתה רוצה לומר לי שכל אלו אינן שאריות ריבועיות מודולו 78 פלוס 1?

דרך אגב, שים לב להבדל התמוה בין התיאור של הסדרה (הטבעית יותר):
0, 1, 3, 4, 9, 10, 12, 13,..
לתיאור של:
1, 2, 4, 5, 10, 11, 13, 14,..
באמס"ש.
עוד שאלה‏1 334432
האם זו הסדרה הצפופה ביותר האפשרית שאינה מכילה סדרה חשבונית באורך 3?

1 עלולה להיות טיפשית, לא חשבתי.
עוד שאלה‏1 334510
הרבה יותר מדי יין שתית שם, באיטליה.

(קרא שוב את התגובה שלי. זו ההגדרה המקורית. החידה היא למצוא לזה תיאור אחר, המאפשר יותר בקלות למצוא את האיבר המיליארד בסדרה).
עוד שאלה‏1 334513
זה לא אותו דבר. ההגדרה היא שתמיד מוסיפים את האיבר הקטן ביותר שלא מקלקל את התכונה, אבל אולי בקצת תכנון מוקדם אפשר לקלקל את האיבר הקרוב, ולשפר את הצפיפות?
עוד שאלה‏1 334665
בוודאי, אלא שלא כך פירשתי את השאלה של אורי (אולי בטעות). השאלה שלי היא על דרך אחרת לגמרי לתאר את הסדרה הספציפית הזו, החמדנית.
עוד שאלה‏1 334577
אתם המתמטיקאים, אין לכם שום חוש הומור. זו היתה סתם בדיחה על קלות וריבוי הפתרונות באמס"ש.
מה עם השאלה שלי (עדיין לא חשבתי עליה)?
עוד שאלה‏1 334670
היה לי פעם חוש הומור, אבל הוא טבע בין התגובות בדיון הזה.

אתה שואל מה הקבוצה הצפופה ביותר שאינה מכילה סדרות חשבוניות? אני לא חושב שזה ידוע במדוייק. יש משפטים מפורסמים המראים שקבוצות בעלות צפיפות חיובית חייבות להכיל סדרות חשבוניות; למשל, יש קבוע כלשהו c כך שאם תיקח יותר מ-cN מספרים בין 1 ל-N, לא תוכל להימלט מסדרה חשבונית באורך 3 (אותו דבר נכון גם לאורכים גדולים יותר, רק שהקבוע משתנה). אני לא יודע אם יודעים להוכיח שסדרה-הנמנעת-מס"ח-באורך-‏3 חייבת להיות בגודל לוגריתמי.
עוד שאלה‏1 334818
אני חושב שפשוט להראות שאפשר להגיע לצפיפות n^1/3 (שורש שלישי של n).

עבור סדרה סופית עולה ממש של מספרים טבעיים, נכנה את ערך האיבר המקסימלי (האחרון) שלה בשם "אורך" הסדרה. נסמן f_k האורך המינימלי של סדרה המכילה k מספרים ואינה מכילה סדרה חשבונית באורך 3. נבנה נוסחת נסיגה עבור f_k+1: נתבונן בסדרה בעלת האורך המינימלי בעלת k מספרים. כל זוג מספרים בסדרה מגדיר מיקום "אסור" שלא יכול להופיע בסדרה המכילה מספרים אלה ואינה כוללת סדרה חשבונית באורך 3, כלומר בסך הכל יש k(k-1)/2 מקומות אסורים. נתבונן ב- k(k-1)/2+1 המספרים העוקבים ל- f_k, בהכרח אחד מהם לא אסור. לכן קיימת סדרה שאינה מכילה סדרה חשבונית באורך 3 ואורכה לכל היותר f_k+k(k-1)/2+1. מכאן: f_k+1 <= f_k + k(k-1)/2+1. פתרון משוואת הנסיגה נותן f_k = O(k^3), כלומר צפיפות שורש שלישי.

קל להרחיב את התוצאה לסדרה חשבונית באורך m.
עוד שאלה‏1 334836
כן, אבל לא ברור שזו הצפיפות המקסימלית שניתן להשיג.
עוד שאלה‏1 334863
הסדרה של אלון נותנת לנו משהו הרבה יותר טוב:
n^(log_3(2))=n^0.631

קצת יותר משורש שלישי. כנראה שגם אותך בלבלה תגובה 334670 ממנה משתמע כאילו צפיפות הסדרה המדוברת היא לוגריתמית.
עוד שאלה‏1 334899
מהיכן החסם בנוגע לסדרה של אלון? התגובה לא בלבלה אותי אלא דווקא דרבנה אותי להוכיח את ההיפך ממה שהיא רמזה (כלומר להראות חסם תחתון סופר-לוגריתמי). עכשיו אני מנסה למצוא חסם עליון טוב.
עוד שאלה‏1 334900
הצפיפות האסימפטוטית של הסדרה של אלון היא כפי שכתבתי. זה נובע מההגדרה השקולה שלה (שאותה איני כותב כדי לא להרוס לקורא פוטנציאלי).
עוד שאלה‏1 335138
אני מתכוון לחסם עליון על צפיפות סדרה שאינה מכילה סדרה חשבונית באורך 3. אלא אם כן אתה יודע להוכיח שהסדרה של אלון היא הצפופה ביותר.
עוד שאלה‏1 335145
שאלת:
"מהיכן החסם בנוגע לסדרה של אלון?"
עניתי:
"הצפיפות האסימפטוטית של הסדרה של אלון היא כפי שכתבתי."
"n^(log_3(2))=n^0.631"
כלומר זה לא חסם אלא הצפיפות המדויקת.

עכשיו אתה שואל משהו אחר, מה הסדרה הצפופה ביותר שאינה מכילה סדרה חשבונית באורך 3. את זה, כפי שניתן להבין מהדיון, אני לא יודע. למעשה, אני אתפלא אם זה ידוע. אני אחשוב על זה עוד קצת ואז אתענין אצל אילנות גבוהים ממני.
עוד שאלה‏1 335220
הכוונה שלי היתה שהסדרה של אלון מהווה חסם תחתון (על ידי בניה מפורשת) לצפיפות סדרה שאינה מכילה חשבונית באורך 3 (על כך דובר בתגובה 334670). לא משנה. אתה מצליח לראות איזשהו חסם עליון יותר טוב מ- n/2 לסדרה הצפופה ביותר?
עוד שאלה‏1 335252
מסתבר שכל מספר חיובי מהווה חסם עליון: ל*כל* קבוע חיובי c יש N כך שכל קבוצה בגודל cN של מספרים בין 1 ל-N מכילה סדרה חשבונית באורך 3. מה שכתבתי קודם לא היה מספיק חזק.

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

עוד שאלה‏1 335308
זה נשמע סביר אינטואיטיבית. אנחנו שואלים כמה חזק הצפיפות שואפת ל- 0. כלומר אנחנו מבטאים את הצפיפות של סדרה שהאיבר הגדול ביותר שלה הוא n במונחי n (אולי השימוש במושג צפיפות לא מתאים, אנחנו מתבוננים ב- np כאשר p היא הצפיפות לפי הגדרתך).

הראית שקיימת סדרה כזו שהאיבר הגדול ביותר שלה הוא n ומכילה n^0.62 (בערך) איברים, כלומר צפיפות של n^-0.38 - שואפת ל- 0. השאלה היא האם יש סדרה כזו שהצפיפות שלה דועכת למשל לפי 1/logn (לפי הטרמינולוגיה שלנו זו "צפיפות" n/logn). אני מניח שהבנת את זה כבר לפני פסקה וחצי אבל אני משתדל להיות כמה שיותר חד כדי לא ליפול שוב לבעית הגדרות.

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

(כמו שאתה רואה, זו תוצאה חשובה שלא מעט אנשים הקדישו לה מחשבה. הסיכוי שיש נימוק קצר הוא נמוך מאוד).
רגע 460892
אז מה בסוף הקשר הפשוט? את התאור באתר של a(n)-1 in ternary = n-1 in binary לא הבנתי.
רגע 460984
רשום, לפי הסדר, את כל המספרים הטבעיים שהפיתוח שלהם בבסיס 3 לא מכיל את הספרה 2.
רגע 461031
ולמה לי לעשות את זה?

(סתאאאם. למה לא תתרום את חלקך לאספקט ה"גדל"י של הויכוח על רוג'ר פנרוז? רק בגלל שאתה עסוק מעל הראש?)
רגע 461063
(גם בגלל זה, וגם בגלל שקצת עייפתי מהויכוח הזה אחרי המרתון עם ד.ק. והמאמר.)
רגע 461082
תודה רבה. עכשיו כשהבנתי איך לחשב את האיבר הnי, איך מוכיחים שהוא באמת לא יוצר סדרה חשבונית עם אף איבר אחר במערך באופן כללי?
רגע 461086
נקרא למספרים האלה (אלו שבבסיס 3 אין להם אף 2) "נמוכים". אם יש סדרה חשבונית של נמוכים, הרי לפנינו מספרים a ו-d כך ש-a נמוך וכמוהו גם a+d וגם a+2d. זו פשוט הצורה הכללית של כל סדרה חשבונית בת שלושה איברים.

המספר d איננו 0, ולכן פיתוחו לבסיס 3 מכיל את הספרה 1 באיזה מקום. נביט במיקומה של הספרה 1 הימנית ביותר. למספר a מוכרח להיות 0 באותו המקום (אחרת בסכום a+d היינו מקבלים 2 במקום זה). למספר 2d יש הספרה 2 במקום הנדון, וכשנחבר ל-a את 2d נקבל, שוב, 2 במקום זה. מכאן שאם a וגם a+d נמוכים, a+2d לא יכול להיות נמוך. (הערה: הבטנו במספרה הימנית ביותר כדי לוודא שלא יהיו שום "שאריות" בתהליך החיבור עד שלב זה).

הטענה המקורית שטענתי היא יותר חזקה: אם מתחילים מ-‏0 ומוסיפים בכל שלב את המספר הקטן ביותר האפשרי שאינו יוצר סדרה חשבונית, מתקבלת בדיוק סדרת המספרים הנמוכים. (אני התחלתי מ-‏1, ולכן קיבלתי את אותה הסדרה מוזזת ב-‏1). את זה אפשר להוכית באינדוקציה, ואתה מוזמן לשאול אותי אם אתה נתקע (ואם זה מעניין אותך).
רגע 461116
מזכיר לי את ההוכחה שהעוצמה של קבוצת קנטור היא א.
רגע 461225
רגע, 5 בבסיס 3 זה לא 12? איך זה מתיישב עם התאור?

(עם הנוסחה שבאתר בסוף הסתדרתי, ברגע שהבנתי שטרנרי זה בסיס 3 ולא אופרטור שפועל על שלושה אברים, אבל אז ההוכחה שלך כבר לא תקפה)
רגע 461231
ועוד אחד.

(גם 2 מכיל את הספרה 2 בבסיס 3)
רגע 461241
5=4+1
נתפשר על פחות אחד?
רגע 461243
התלבטתי אם לכתוב ועוד אחד או פחות אחד. הכל תלוי מאיפה אתה מתחיל.
רגע 461333
בעצם ההוכחה של אלון היא שאין סדרות חשבוניות ב An-1, ומכאן המעבר לAn טריוויאלי
רגע 460895
אמס"ש?
רגע 460896
http://www.research.att.com/~njas/sequences/ , אני מניחה.
רגע 460906
ובעברית למפגרים?
רגע 460919
''האנציקלופדיה לסדרות של מספרים שלמים''. אתר חביב - כתוב התחלה של סדרת מספרים, והוא יציג לך את כל הסדרות (המעניינות - כלומר, בתקווה, שיש לך מאמרים רציניים שמדברים עליהן) שזו ההתחלה שלהן. כמובן שגם אפשר לחפש לפי שם וכאלה. יכול להיות מאוד שימושי לחוקרים שנתקלים בסדרת מספרים כלשהי ורוצים לדעת אילו אספקטים שלה כבר מוכרים.
רגע 333877
לא מתעלמים מ"היררכיית הקיום". התורה של סודרים (ordinal numbers) עוסקת בדיוק בזה.

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

אם יש משהו שאין בו תלות-קיום הריי זה סדר האיברים בקבוצה לא- ריקה.

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

{4,1,5,6,7} ~ {6,7,5,1,4} מכיוון שאין שום השפעה על קיום האיברים כתוצאה משינוי הסדר שלהם בקבוצה.

"רעיונות גדולים ("תובנות") יש עשרה בפרוטה."

עפ"י איזה כללים אתה מתמכר אותם?

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

מתברר למי? לפי איזה קריטריונים? מהי מידת "האובייקטיביות" של קובעי הקריטריונים ביחס לרעיונות?

מי קובע קטגורית את גבולותיה של של שפת המתמטיקה?
רגע 333882
לא נכון שאם איברים שייכים לאותה קבוצה אז הם בהכרח "לא תלויי-קיום" (אני עדיין לא חושב שהמונח הזה מוצלח במיוחד). למשל, אם באיזשהו מובן הקבוצה {}=0 קודמת ל- {{}}=1, הרי שזה נשאר כך גם בתוך הקבוצה {{{}},{}}={0,1}=2 (עכשיו יש שלוש קבוצות במערכת: 2>1>0).

אני חושב שהרמיזות שלך כאילו יש מישהו ש"מדכא" רעיונות חדשים כדי לשמור על <לא ברור מה> הן חסרות שחר.

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

מסכים איתך בכל ליבי, בתנאי שרעיונות אלה הם תומכי-חיים לפחות במובן האסטרטגי.

"לא נכון שאם איברים שייכים לאותה קבוצה אז הם בהכרח "לא תלויי-קיום" "

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

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

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

אתה יכול לעשות זאת אם ורק אם אתה שומר על עיקביות השימוש של המושג "יסוד" לאורך כל הדרך.

המשמעות של הנ"ל היא, שאינך מתעלם מכך שהפשוט הוא יסוד המורכב ולא להיפך.

לכן מבחינת תלות-קיום
{} --> {{}}

{{}} not--> {}

ולכן מבחינה קיומית

{{}} not~ {}
אלפיים שנות אי-הוכחה 333988
א. איזה ספר אתה קורא?
ב. למה "בגניבה"?
ג. נראה לי שבעיקר פילוסופים יוצאים לשאול שאלות. חוץ מזה, קורה בהחלט שהם מוכיחים את טענותיהם.

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

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