בתשובה לאלון עמית, 27/04/10 10:43
סוף הדרך 541865
1. אני אמור לספק נימוקים *נגד* ההנחה הזו? חשבתי שאני הצד של הבעד. אם רק היה ברשת מין אתר כזה שבו יכולת לכתוב דברים ואחרי הרבה זמן לדפדף ולראות מה אתה בעצם חושב...

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

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

2. משפט Goodstein הוא משפט, כלומר טענה נכונה. אתה לא מאמין להוכחות ב-ZFC?
סוף הדרך 541919
תודה על ההפניה.
כמובן לא בטוח שהבנתי את מה שעוזי אומר ב־100%, אבל אם הייתי זוכר את התגובה הזו הייתי יכול להימנע משפע הרעיונות האפויים למחצה ששפכתי כאן...
אז שוב תודה.
אני לא משתתף ותיק, כך שאיני אחד מהמגיבים הרבים שמציינים כמה האתר הזה היה להם בית, אבל הדיון שהפנית אליו (כמו גם הפתילון הקצר שלנו) מצביע על עוד סיבה להצטער על הסגירה שלא ציינו אחרים, אז אוסיף אותה לרשימת ה"כמה חבל":
לא מוכר לי עוד אתר דיונים בו אנשי מקצוע עונים ברצינות ובפירוט, ואפילו מוכנים לדון בשאלות של הדיוטות.
רשימות ותגובות שלך, של עוזי, גדי, אגג ועוד כמה בהחלט הרחיבו והעמיקו את הבנתי בשאלות ונושאים שעניינו אותי וסקרנו אותי עוד מימי לימודי. תודה!
נכון שהחלק הזה (של ה"חבל שסוגרים") מתייחס כמעט רק למתמטיקה - בפיזיקה ראיתי סקירות והפניות אבל לא ממש דיונים מחכימים בין אנשי מקצוע והדיוטות, ובנושאים אחרים אמנם התפתח דיון מפרה, אבל בשום תחום‏1 לא היה הדיאלוג בין היודעים והמתעניינים כל כך ייחודי לאייל כמו בדיונים המתמטיים.

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

בתגובה 541767 הזכרתי שהדיעות לגביה חלוקות, ואני מוכן לפרט: עפ"י הפרק האחרון בספר Tracking the Automatic Ant, ריימונד סמוליאן משוכנע שיש לה ערך אמת ואילו סאונדרס מק ליין משוכנע שאין לה, ואלו שני אנשים שאני לא נחפז להתעלם מדעתם.

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

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