בתשובה לאלון עמית, 25/07/05 11:52
בעד הפלטוניזם 319764
"כל מספר טבעי איננו (מספר גדל של) הוכחה ב-T לכך ש-T עקבית", למשל".
האם אני מבינה נכון הפעם, שאין למצוא ב-T הוכחה לעקביותה?
בעד הפלטוניזם 319767
בדיוק. "המשפט השני: אם T תורה אריתמטית ואפקטיבית, אז יש נוסחה C האומרת "T היא עקבית". אם, בנוסף, T עקבית, הנוסחה C אינה ניתנת להוכחה ב-T." (מן המאמר)
בעד הפלטוניזם 319770
תודה.:)

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

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