שיחה:עצמאות (לוגיקה מתמטית)

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

כריעות[עריכת קוד מקור]

את המשפט המסכם, "לכן לעולם לא נדע בביטחון מלא שאין סתירה פנימית בעקרונותיה היסודיים ביותר של המתמטיקה", הסרתי. אם רוצים לכתוב דבר כזה, הוא ראוי להסבר קצת יותר מעמיק. עוזי ו.

משפטי גודל הם משפטים ולא חוקים, החלפתי את הטרמינולוגיה בערך אמיר 6 יולי 2005 21:45 (UTC)

צריך לשנות את שם הערך. כריעות אינה מילה בעברית. כריעה הינה שם עצם ולא תואר.

אני קצת מבולבל. חשבתי שתורה היא "כריעה" אם קיים אלגוריתם שקובע עבור כל נוסחה בתורה האם היא יכיחה או לא. כאן לעומת זאת מדברים רק על טענות ומתעלמים מהמושג החשוב של כריעות של תורות, ובמקום זה עוסקים בשלמות של תורות. גדי אלכסנדרוביץ' 23:12, 17 בספטמבר 2007 (IST)

כריעות היא אכן השם המקובל ל-Decidability. בנוסף, התוכן הנוכחי של הערך אכן לא מדבר על כריעות (מושג חישובי, האם אפשר לבדוק האם n-ייה נמצאת ביחס מסויים ולקבל תשובה תוך זמן סופי) אלא על Completness - תורה לוגית שיש טענות שהיא לא מוכיחה ולא שוללת. אני מעתיק את תוכן הערך לערך חדש שלמות ומשנה את תוכן הערך הזה שיתאים לכריעות. Ripper234 - שיחה 12:33, 27 בפברואר 2008 (IST)