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

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

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