בתשובה לאלון עמית, 12/06/08 11:23
כמה הערות 481200
לטעמי, לפחות במקרה הזה ניתוח מתמטי חמור של טענת טיורינג אינו מתאר באופן מספיק את היופי הפרקטי שלה.
יש מספיק בעיות שגם אדם שאינו מתמטיקאי ואינו מוטרד אם למונחים פתרון אפקטיבי/פתרון חישובי /חישוביות אפקטיבית יש הגדרה תקפה ולא אינטואיטיבית, מבין מה הוא סוג הפתרון הנדרש לבעיה (למשל בעיית הריצוף). היופי שאני רואה בטענת טיורינג מתבטא גם בניסוח הכי חלש ולא מדוייק שלה, שאני יכול להעלות על הדעת: ישנן בעיות שאם מחשב כלשהו מסוגל לפתור אותן, הרי שזהו מחשב מאוד מאוד שונה מהמחשבים שאנו מכירים וחושבים עליהם.
כמה הערות 481261
זה ניסוח לא רע, לדעתי, המתאים למאמר מהסוג הזה. השווה עם הניסוח ''מסקנה זאת הינה מפתיעה כשלעצמה, במיוחד כיום, כשרבים מאיתנו סבורים שמחשבים יכולים לבצע כל פעולה חישובית.''

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

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים