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

בתשובה לראובן, 14/12/06 10:58

בעית העצירה

424463

עדי סתיו • בתשובה לראובן

יום ה', 14/12/2006, 11:23

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

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

המאמר המלא

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