מה לא יכול המחשב לעשות

בתשובה לתוהה, 15/12/06 14:11

ההוכחה הזאת פשוט דבילית

424900

האייל האלמוני • בתשובה לתוהה

יום א', 17/12/2006, 13:34

אבל התוהה,
"אם מישהו שטוען שהוא תמיד משקר משקר", מקרה הידוע בשם פרדוקס השקרן, זהו לב ההוכחה של אי היכולת לפתור את בעית העצירה.

התוכנית שגדי הציג עוצרת (משקרת) אם היא לא עוצרת (אומרת אמת) ולהפך.

האם נסכים לסכם גם כאן בוואלה?

חזרה לעמוד הראשי

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות