שיחת קטגוריה:בעיות לא כריעות במתמטיקה

יש גם בעיות לא כריעות במדעי המחשב, אולי צריך קטגוריה נפרדת ינון גלעדי - שיחה 01:59, 12 באפריל 2010 (IDT)

חשוב יותר להבדיל בין כריעות אלגוריתמית לבין עצמאות לוגית. עוזי ו. - שיחה 15:38, 13 באפריל 2010 (IDT)

כמו שאמרו לפני, הקטגוריה הזו פשוט שגויה. יש הבדל מהותי בין אי כריעות השערת הרצף ובין אי הכריעות של PCP. הראשונה אינה כריעה במובן של "איננה ברת הוכחה ממערכת אקסיומות מסויימת" והשנייה אינה כריעה במובן של "לא ניתן לחשב את הפונקציה הזו בעזרת מודל חישובי המציית לתזה של צ'רץ' וטיורינג". הבלבול כאן דומה לבלבול שגורם לאנשים לחשוב שמשפט השלמות ומשפט אי השלמות של גדל הם דבר והיפוכו. גדי אלכסנדרוביץ' - שיחה 12:20, 14 באפריל 2010 (IDT)

האם למישהו יש הצעה לשמות עבור שני הקטגוריות? "בעיות לא כריעות במתמטיקה" (להשערת הרצף ודומיה) ו"בעיות לא כריעות במדעי המחשב" (לבעיית העצירה ודומיה) נראה לי אסון, אבל אני לא מצליח לחשוב על שום דבר אחר ("בעיות שאינן ניתנות לחישוב" לבעיית העצירה ודומיה נשמע נורא). גדי אלכסנדרוביץ' - שיחה 09:43, 16 באפריל 2010 (IDT)

אני רגיל לשימוש במלה "כריעות" בשני המקרים, אבל זה באמת מבלבל. אולי "טענות עצמאיות במתמטיקה", ו"בעיות שאינן ניתנות לחישוב"? עוזי ו. - שיחה 11:29, 16 באפריל 2010 (IDT)

נראה טוב. גדי אלכסנדרוביץ' - שיחה 12:57, 16 באפריל 2010 (IDT)

אכן נראה טוב, אך צריך להוסיף בקטגוריות החדשות כמה מילות הבהרה, לגולש שאינו בקי בפרטי הענין. אולי כדאי לעשות גם הפניה מאחת לשניה, או לעשות קטגוריה נוספת הכוללת את שתיהם, ואולי עוד סוגי בעיות שאינן ניתנות לפתירה, בתחומים אחרים, כגון בפיזיקה: תנועה נצחית?, אולי אפשר להעזר בויקיפדיה בשפות אחרות. ינון גלעדי - שיחה 14:15, 16 באפריל 2010 (IDT)

אשתי אומרת , שכל הבעיות במתמטיקה כולה הם לא קריאות.

אני לא רואה שום סיבה לקשר בין שתי הקטגוריות הללו פרט לכך שמשתמשים באותה מילה כדי לתאר את התוכן של שתיהן. גדי אלכסנדרוביץ' - שיחה 16:57, 16 באפריל 2010 (IDT)