בתשובה לאביב י. והמאבקים ב-MATLAB, 26/12/06 0:17
שתי הערות 426404
גדי אלכסנדרוביץ' • בתשובה לאביב י. והמאבקים ב-MATLAB יום ג', 26/12/2006, 7:20
הרעיון הוא שמה שנכון באופן מוחלט הוא לא ''יש אינסוף ראשוניים'', אלא ''אם אתה מקבל את ההנחה הזו והזו והזו, אז יש אינסוף ראשוניים''. כמובן שאפשר להוסיף גם כאן רמה נוספת של מטה-מתמטיקה, אבל לדעתי לדוש בה זה כבר מעבר מובהק ממטה-מתמטיקה מעניינת לפילוסופיה לא מעניינת (ולכן - מי שחושב שדווקא היא מעניינת מוזמן לדון עליה בכל הזדמנות, רק לא איתי, ומוזמן לראות את דברי כאילו הם ''מוחלטים'' רק עד אליה).
שתי הערות 426578
אביב י. והמאבקים ב-MATLAB • בתשובה לגדי אלכסנדרוביץ' יום ג', 26/12/2006, 20:15
הוא שאמרתי. רק הוספתי שאפשר (אפשר? אין ברירה אחרת) לנהל שיחה-תחת-הנחות גם לגבי העולם האמפירי וגם שם אפשר להוכיח טענות אי קיום (עד כמה שניתן בכלל להוכיח משהו - במתמטיקה או בכלל). למשל: תגובה 426458 .

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