בתשובה לאלון עמית, 27/04/10 10:43
 |
|
 |
||
|
||||
 |
1. אני אמור לספק נימוקים *נגד* ההנחה הזו? חשבתי שאני הצד של הבעד. אם רק היה ברשת מין אתר כזה שבו יכולת לכתוב דברים ואחרי הרבה זמן לדפדף ולראות מה אתה בעצם חושב... 2. אבל בתור טענת נגד, מה עם משפט Goodstein? זו לא טענה מסדר ראשון? 3. (אגב, המכתב ממערכת האייל המבשר לי על התגובה שבה אתה מחכה להמשך הדיון בנושא הזה, הוא בין הראשונים בספריה לא קטנה של מכתבים זהים, המבשרים לי על עוד תגובות שכנראה לא אחזור אליהן. אם הייתי מספיק לענות על כולן, היה נגמר המקום על השרת לפחות שבועיים קודם). |
 |
 |
 |
|
|
|
||
|
||||
|
1. תגובה 320008 וגו'. 2. משפט Goodstein הוא משפט, כלומר טענה נכונה. אתה לא מאמין להוכחות ב-ZFC? |
|
|
|
|
|
|
||
|
||||
|
תודה על ההפניה. כמובן לא בטוח שהבנתי את מה שעוזי אומר ב־100%, אבל אם הייתי זוכר את התגובה הזו הייתי יכול להימנע משפע הרעיונות האפויים למחצה ששפכתי כאן... אז שוב תודה. אני לא משתתף ותיק, כך שאיני אחד מהמגיבים הרבים שמציינים כמה האתר הזה היה להם בית, אבל הדיון שהפנית אליו (כמו גם הפתילון הקצר שלנו) מצביע על עוד סיבה להצטער על הסגירה שלא ציינו אחרים, אז אוסיף אותה לרשימת ה"כמה חבל": לא מוכר לי עוד אתר דיונים בו אנשי מקצוע עונים ברצינות ובפירוט, ואפילו מוכנים לדון בשאלות של הדיוטות. רשימות ותגובות שלך, של עוזי, גדי, אגג ועוד כמה בהחלט הרחיבו והעמיקו את הבנתי בשאלות ונושאים שעניינו אותי וסקרנו אותי עוד מימי לימודי. תודה! נכון שהחלק הזה (של ה"חבל שסוגרים") מתייחס כמעט רק למתמטיקה - בפיזיקה ראיתי סקירות והפניות אבל לא ממש דיונים מחכימים בין אנשי מקצוע והדיוטות, ובנושאים אחרים אמנם התפתח דיון מפרה, אבל בשום תחום1 לא היה הדיאלוג בין היודעים והמתעניינים כל כך ייחודי לאייל כמו בדיונים המתמטיים. 1 כמובן שבזמן הקצר שאני כאן ייתכן שהחמצתי הרבה דברים אחרים ייחודיים לאייל... |
|
|
|
|
|
|
||
|
||||
|
חשבתי שהבעיה היא לא עם להגיד שהיא נכונה/לא נכונה במודל מסויים, אלא איך לבחור מי המודל ה"נכון" מבחינתנו בזמן שהשני הוא סתם מודל מופרע שלא מעניין אותנו. | |
|
|
|
|
|
||
|
||||
|
מה איתה? אני לא חושב שיש דרך לנסח אותה בשפה מסדר ראשון של האריתמטיקה. בתגובה 541767 הזכרתי שהדיעות לגביה חלוקות, ואני מוכן לפרט: עפ"י הפרק האחרון בספר Tracking the Automatic Ant, ריימונד סמוליאן משוכנע שיש לה ערך אמת ואילו סאונדרס מק ליין משוכנע שאין לה, ואלו שני אנשים שאני לא נחפז להתעלם מדעתם. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |