בתשובה לעומר, 27/07/05 11:28
זה נכון באופן כללי על מתמטיקה 320093
אלון עמית • בתשובה לעומר יום ד', 27/7/2005, 11:45
זה לא מדוייק. הניסיון להציב את עקביות PA על עקרונות פיניטיסטיים לא התרחש במערכת פורמלית, ודאי שלא מערכת חלקית ל-PA. היתה זו אמורה להיות, באמת, מערכת "חיצונית" (אכן, פשוטה למדי, כזו שקל להסכים לשיקוליה), המדברת *על* PA. לא ידוע לי (ולא סביר) שמישהו חשב בכלל לנסח את "PA עקבית" כמשפט אריתמטי (כלומר משפט "בתוך המערכת"). זה בדיוק מה שגדל הצליח לעשות, וזו ההפתעה: לא שיש "הסתכלות מבחוץ", אלא שאין כזו.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש והצהרת נגישות © כל הזכויות שמורות