שיחה:משפט קוק-לוין

מישהו יכול לתרגם את מה שכתוב פה לשפת בני אדם שלא למדו מדעי המחשב, או לפחות לתת הקדמה שתסביר מה הרעיון הכללי בדבר הזה? eman 11:18, 19 ינו' 2005 (UTC)

אני חייב להודות שחשבתי שאוכל לעזור בנושא, אבל למרות שאני מבין את כל המילים, אין לי מושג מה המשפט הזה אמור להוכיח... טרול רפאים 17:17, 19 ינו' 2005 (UTC)

עכשיו הטקסט מובן לי, הוא עדיין דורש הכרה ולו מינימאלית עם תורת הסיבוכיות, אבל זאת איננה בעיה. לעומת זאת, העובדה כי אין ערך על SAT לא ממש תורמת. טרול רפאים 10:47, 21 ינואר 2006 (UTC)

המבוא נראה כתוב בשפת בני אדם, אם כי לקראת הסוף ( אחרי שמוצגת SAT, שאגב, ברגע הראשון אל ברור אם היא בעיה או תכוהמ של בעיה) איבדת אותי. יכול להיות שקריאה נוספת תעזור, אבל אולי לא.

אבל אז כשמגיעים לערך עצמו, נוסף המושג של "שפה" שלא ברור מהו, ומאיפה הוא הגיע. eman • שיחה 15:26, 21 ינואר 2006 (UTC)

אתה צודק, זה נובע מכך שלא שכתבתי כלום אלא רק הוספתי את המבוא (מה שקורה בפועל הוא שכל בעיות ההכרעה מוצגות בתור בעיות של זיהוי שפה מסויימת). אני אתן לערך שכתוב יותר מקיף ואחר כך אנג'ס לך לנסות שוב. גדי אלכסנדרוביץ' 15:43, 21 ינואר 2006 (UTC)

דווקא בתור מישהי שמבינה ונכנסה לערך הזה רק בשביל לדייק את ההבנה - הערך כתוב בצורה לא נוחה. קודם כדאי לכתוב את המשפט בצורה מתומצתת, עם כל המונחים המקצועיים המדוייקים ואח"כ הסברים על כל הפרטים. כשנכנסתי לדף באנגלית דווקא היה ברור יותר - היה כתוב מה המשפט, ואחר כך הרחבות והסברים. נראה לי יותר מתאים...? Mmm...mmm... - שיחה 14:50, 12 בנובמבר 2015 (IST)