תנו לגדול בשקט

בעד הפלטוניזם

האייל האלמוני • בתשובה לאלון עמית

יום ב', 25/7/2005, 20:18

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

בעד הפלטוניזם

יום ב', 25/7/2005, 20:46

בדיוק. "המשפט השני: אם T תורה אריתמטית ואפקטיבית, אז יש נוסחה C האומרת "T היא עקבית". אם, בנוסף, T עקבית, הנוסחה C אינה ניתנת להוכחה ב-T." (מן המאמר)

בעד הפלטוניזם

האייל האלמוני • בתשובה לעוזי ו.

יום ב', 25/7/2005, 21:00

תודה.:)

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