שיחה:קיפאון (מדעי המחשב)
שינוי שם[עריכת קוד מקור]
אני מציע לשנות את שם הערך לקיפאון. תומר א. - שיחה 11:54, 23 בפברואר 2009 (IST)
בעיות לא כריעות[עריכת קוד מקור]
לדעתי הקטגוריה בעיות לא כריעות חשובה. זו דוגמה מובהקת לרלונטיות של המושג, שכן בעיה כל כך קונקרטית אינה כריעה. Dangling Reference - שיחה 09:38, 13 באפריל 2010 (IDT)
- קיפאון הוא בסה"כ התגלמות של בעיית העצירה שכבר מקוטלגת במקום הנכון. תומר א. - שיחה - משנה ויקיפדית 09:45, 13 באפריל 2010 (IDT)
- לפי זה היה מקום לבעייה אחת בקטגוריה הנ"ל, כי כולן הן "התגלמות של בעיית העצירה". האם הטענה שאין מקום לסיווג כי זה כל כך ברור? ספק אם זה כך. הסיווג יועיל למי שיחפש דוגמאות לבעיות לא כריעות בתחומים שונים. Dangling Reference - שיחה 09:52, 13 באפריל 2010 (IDT)
- המשפט האחרון מתמיה. "כולן התגלמות של בעיית העצירה"? תסתכל על הקטגוריה קטגוריה:בעיות לא כריעות במתמטיקה, כולן בעיות מתמטיות, כולן עומדות בפני עצמן. תומר א. - שיחה - משנה ויקיפדית 09:57, 13 באפריל 2010 (IDT)
- ודאי, הוכחת האי כריעות מוכיחה שהן התגלמות הבעיה. בקשר לעובדה שהן כולם "בעיות מתמטיות", הרי לא נפתח ערך בעיית קיפאון (בעייה מתמטית) כדי לכתוב על האבסטרקציה שמובילה לאי כריעות. Dangling Reference - שיחה 10:01, 13 באפריל 2010 (IDT)
- אני מסכים עם Dangling Reference , זה צריך להופיע בקטגוריה ינון גלעדי - שיחה 12:05, 13 באפריל 2010 (IDT)
- כיוון שהערך מציג את בעיית מניעת הקיפאון כבעיה בלתי כריעה, ראוי לשייכו לקטגוריה. רצוי להרחיב את הדיון בנושא זה בערך. דוד שי - שיחה 23:00, 13 באפריל 2010 (IDT)
- אני מסכים עם Dangling Reference , זה צריך להופיע בקטגוריה ינון גלעדי - שיחה 12:05, 13 באפריל 2010 (IDT)
- ודאי, הוכחת האי כריעות מוכיחה שהן התגלמות הבעיה. בקשר לעובדה שהן כולם "בעיות מתמטיות", הרי לא נפתח ערך בעיית קיפאון (בעייה מתמטית) כדי לכתוב על האבסטרקציה שמובילה לאי כריעות. Dangling Reference - שיחה 10:01, 13 באפריל 2010 (IDT)
- המשפט האחרון מתמיה. "כולן התגלמות של בעיית העצירה"? תסתכל על הקטגוריה קטגוריה:בעיות לא כריעות במתמטיקה, כולן בעיות מתמטיות, כולן עומדות בפני עצמן. תומר א. - שיחה - משנה ויקיפדית 09:57, 13 באפריל 2010 (IDT)
- לפי זה היה מקום לבעייה אחת בקטגוריה הנ"ל, כי כולן הן "התגלמות של בעיית העצירה". האם הטענה שאין מקום לסיווג כי זה כל כך ברור? ספק אם זה כך. הסיווג יועיל למי שיחפש דוגמאות לבעיות לא כריעות בתחומים שונים. Dangling Reference - שיחה 09:52, 13 באפריל 2010 (IDT)
- שתי הערות: ראשית, לא כל בעיה בלתי כריעה היא התגלמות של בעיית העצירה (למשל, סיבוכיות קולמוגורוב איננה ניתנת לחישוב ללא קשר ישיר לבעיית העצירה). שנית, הקטגוריה בהחלט רלוונטית כאן - מטרתה לאגד בעיות לא כריעות שהן חשובות מספיק כדי לזכות לערך, ואם אחת מהן זכתה לערך (כמו במקרה הזה) היא גם הרוויחה את מקומה בקטגוריה. גם סיבות פרקטיות יותר מדברות לטובת ההכללה - אם אני רוצה לדעת מהן כל הבעיות הבלתי כריעות ה"מעניינות", אני אלך לקטגוריה הזו. איזו דרך אחרת יש לי למצוא את הבעיה הספציפית הזו? הרי בערך על בעיית העצירה לא נתחיל לכתוב על כל בעיה שאי כריעותה נובעת ממנה. גדי אלכסנדרוביץ' - שיחה 12:23, 14 באפריל 2010 (IDT)
- רק כדי להבהיר, אני לא טענתי שכל הבעיות הבלתי כריעות הן התגלמות של בעית העצירה. מה שכן טענתי הוא שלא ניתן לזהות קיפאון כי (בגסות) הצופה אינו יודע האם התוכנית כבר היתה אמורה לסיים או שאם ניתן לה רק עוד קצת זמן היא כן תסיים. זאת התגלמות של בעיית העצירה. בכל מקרה, יש רוב והקטגוריה כבר בערך. תומר א. - שיחה - משנה ויקיפדית 18:35, 14 באפריל 2010 (IDT)