בתשובה לרון בן-יעקב, 08/08/01 21:06
תטל''א 31587
מיץ פטל • בתשובה לרון בן-יעקב יום ד', 8/8/2001, 21:31
חשבתי שבתגובתך המקורית רמזת לבעיית העצירה. בתגובתי שלי התייחסתי לבעיה זו, הנוגעת ליסודות התאוריה של מדעי המחשב ולחישוביות, ולא למבחן-טיורינג, שהוא עניין פילוסופי בהרבה (מלבד ההצלחה המעשית בתחום, המופגנת בימים אלה ע"י אפופידס 1.0b).

תיאלץ להסביר שוב, אם לא את ההוכחה, אז לפחות מה היא מוכיחה (בפרט, להגדיר "באג"). האפיון המלא של תוכנית הוא פונקציה על קבוצת הקלטים לתוך קבוצת הפלטים. למשל: ניתן בהחלט לכתוב תוכנית נטולת-באגים המקבלת כקלט מספר חיובי ושלם קטן מ-‏100 ומחזירה כפלט את אותו מספר. אנא, נסה להסביר למה התכוונת. אם מדובר בקבוצת קלטים אינסופית, עדיין ישנן דרכים לכתוב תכניות ולהוכיח את נכונותן, ולעיסוק בכך התייחסתי בתגובה הקודמת.
תטל''א 31609
רון בן-יעקב • בתשובה למיץ פטל יום ה', 9/8/2001, 0:02
אני אנסה להזכר או אולי המחברות הישנות
נמצאות בבויידם של הורי .יכול להיות שמדובר
בבעית העצירה. האם יש לך איזה מראה מקום
לרענון הזכרון?
נסה כאן 31627
מיץ פטל • בתשובה לרון בן-יעקב יום ה', 9/8/2001, 8:42
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות