|
||||
|
||||
בהשאלה ממדעי המחשב, זאת שאלת NP (כלומר אם תתן לי מקור, אוכל להגיד לך בזמן סביר האם ניתן לסמוך עליו). |
|
||||
|
||||
הבנתי. אם תעמוד על הראש במשך שבעה ימים רצופים אוכל להגיד לך אם יש בכוונתי לחפש עבורך מקורות בתנאים האלה. |
|
||||
|
||||
חכה רק עוד 37 שעות, 55 דקות ושניה... זה בסדר, מכיוון שלא אתה זה שיצא בהצהרות, לא חלה עליך חובת ההוכחה. (חוץ מזה, מה לא בסדר בתנאים האלו? האם עלי לצפות ממך לקבל כל מקור שאתן הפניה אליו, ללא כל בדיקה?) |
|
||||
|
||||
האם תוכל לספק למתעניינים את אלגוריתם הבדיקה? |
|
||||
|
||||
האלגוריתם כולל מעבר על פרסומים אחרים של אותו מקור, דעות של מקורות אחרים על אותו מקור וכו'. (לא משהו מיוחד) |
|
||||
|
||||
השלמות הלוגית דורשת שגם המקורות האחרים עברו אותה בדיקה. מה תנאי העצירה של הרקורסיה? |
|
||||
|
||||
שאלה פילוסופית. מעשית ברור שהתנאי הוא ''אני אומר שהגענו לתנאי העצירה''. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |