טרחנים כפייתיים במתמטיקה

בתשובה ליוני, 29/06/06 15:28

יכיחות וכריעות של שאלות פתוחות.

393691

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

יום ו', 30/6/2006, 10:47

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

פרטים נוספים בדיון 2396, ובפרט תגובה 318571.

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

המאמר המלא

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