בתשובה להאייל האלמוני, 30/12/06 16:50
וכי אינך חושש לישון במיטתך? 427070
"חישוביות", בהקשר הזה, פירושו "התחום שבודק אילו פונקציות מכונת טיורינג יודעת לחשב ואילו לא".

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

אבל כאמור, אלו בעיות שנוגעות לא לשאלת החישוביות עצמה (יש קלט; בואו נחשב את הפונקציה על הקלט הזה) ויותר לשאלת איסוף המידע (מה הקלט הרלוונטי עבור הפונקציה? איך נשיג את הקלט הזה בלי לשנות את מה שאנחנו מודדים?)
וכי אינך חושש לישון במיטתך? 427093
אם השאלה היא רק מה קורה בהנחה שהקלט שלך הוא מלא, אז אין לי מושג מה אפשרי במסגרת הזאת.
אבל ההגיון אומר שלעולם לא ייתכן קלט מלא (משהו שקצת מזכיר את המפה המושלמת של בורחס - זה שצריכה להיות בגודל של מושא המיפוי עצמו).
וכי אינך חושש לישון במיטתך? 427125
נכון, אבל אז השאלה היא האם אפשר להסתפק בקלט לא מלא. ברור לנו שיש דברים שעבורם אפשר - לכן אפשר לחזות ליקויי חמה ולנחות על הירח ולחזור בשלום. לכן השאלה האם אפשר גם במקרה שעליו מדברים כאן קשורה יותר לפיזיקה מאשר לחישוביות.
וכי אינך חושש לישון במיטתך? 427238
ולא רק לפיזיקה.

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

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