משהו נחמד שמצאתי
- פותח הנושא עריסטו
- פורסם בתאריך
אבל אין טעם לדבר על תוכנית בלי
להגדיר ספציפית מה זה תוכנית. בעיית העצירה מדברת אם מכונת טיורינג תעצור או לא, לא על משהו אחר. הוכח מכונת טיורינג לא יכולה לפתור את בעיית העצירה, אז אולי אפשר להגיד שיכול להיות מחשב אחר שיכול לפתור את בעיית העצירה למכונת טיורינג, לא יודע אם אפשר.
להגדיר ספציפית מה זה תוכנית. בעיית העצירה מדברת אם מכונת טיורינג תעצור או לא, לא על משהו אחר. הוכח מכונת טיורינג לא יכולה לפתור את בעיית העצירה, אז אולי אפשר להגיד שיכול להיות מחשב אחר שיכול לפתור את בעיית העצירה למכונת טיורינג, לא יודע אם אפשר.
המוח האנושי פותר את בעית העצירה?
ממתי? הרי בעית העצירה לא מדברת על תוכניות טריוויאליות (שלגביהן גם מחשב יכול להכריע). תחשוב על תוכנית שרצה בלולאה על כל הרביעיות של הטבעיים, בודקת האם a^n+b^n=c^n (עבור n>2), ועוצרת אם היא מגלה רביעיה כזו. האם המוח האנושי ידע לפני 30 שנה להכריע האם התוכנית תעצור? תחשוב על תוכנית שבודקת את ערכי השורשים של פונקציית זטה של רימן, ועוצרת אם היא מוצאת שורש לא טריוויאלי שחלקו הממשי אינו 0.5. האם המוח האנושי יכול להכריע לגבי תוכנית זו?
ממתי? הרי בעית העצירה לא מדברת על תוכניות טריוויאליות (שלגביהן גם מחשב יכול להכריע). תחשוב על תוכנית שרצה בלולאה על כל הרביעיות של הטבעיים, בודקת האם a^n+b^n=c^n (עבור n>2), ועוצרת אם היא מגלה רביעיה כזו. האם המוח האנושי ידע לפני 30 שנה להכריע האם התוכנית תעצור? תחשוב על תוכנית שבודקת את ערכי השורשים של פונקציית זטה של רימן, ועוצרת אם היא מוצאת שורש לא טריוויאלי שחלקו הממשי אינו 0.5. האם המוח האנושי יכול להכריע לגבי תוכנית זו?
Copyright©1996-2021,Tapuz Media Ltd. Forum software by XenForo® © 2010-2020 XenForo Ltd.