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

בתשובה לגדי אלכסנדרוביץ', 14/12/06 13:41

בעית העצירה

424511

שוטה הכפר הגלובלי • בתשובה לגדי אלכסנדרוביץ'

יום ה', 14/12/2006, 14:01

אולי על רצון חופשי.

אבל עוררת אצלי שאלה: הראית שבעיית העצירה אינה פתירה ע"י מכונת טיורינג, ועל-ידי כך פתרת את המטא-בעיה ששואלת אם בעיית העצירה ניתנת לפתרון. בכך יצרת היררכיה בת שתי רמות, בה הרמה השניה פתורה (והיא אומרת שאי אפשר לפתור את הראשונה.) כן? יש דוגמאות ידועות לשאלות שרק ברמה השלישית (או גבוהה יותר) מקבלות תשובה, אם בכלל?

יש לי הרגשה שתיכף אני הולך (שוב) להתבייש בפינה כי השאלה תתברר כמטומטמת, אבל שיהיה.

בעית העצירה

424512

גדי אלכסנדרוביץ' • בתשובה לשוטה הכפר הגלובלי

יום ה', 14/12/2006, 14:05

שאלה טובה דווקא, ואין לי תשובה. כשתגיע, אצטרף אלייך בפינה.

בעית העצירה

424610

אביב י. • בתשובה לשוטה הכפר הגלובלי

יום ו', 15/12/2006, 1:13

האם יש אלוהים?
האם ניתן להכריע אם יש אלוהים?
האם ניתן להכריע אם ניתן להכריע אם יש אלוהים?
האם...

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

המאמר המלא

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