 |
|
 |
||
|
||||
 |
בהתחלה רציתי לכתוב על ההערה שלי שהיא הערה נוקדנית (ניטפוק בעברית). אני חושב שמה שכתבת מובן בהחלט לכל מי שקצת מכיר את התחום ונכון אם אנחנו רוצים לייחס משמעות מועילה למונח הזה. אולם בעיקרון אין שום הבטחה תיאורטית שעוד חמש שנים לא יומצא איזה רכיב חישוב מופלא שמסתמך על המימדים המקופלים של תורת המיתרים1 ומצליח לשחרר אותנו ממגבלותיה של מכונת טיורינג. לא נראה לי שזה סביר במיוחד. בינתיים מכונת טיורינג הוכחה כשווה בכוחה לפחות לכל מודלי החישוב שהצלחנו לבנות בפועל. אבל נראה לי שהשואל המקורי התכוון בדיוק לבעיה הזו. וחוץ מזה, בתאוריה אתה יכול לנסות לתאר מודלי חישוב חלופיים. אם זה מועיל או לא, זו כבר שאלה אחרת. האנלוגיה שעולה במוחי היא האנלוגיה המתבקשת של מתכון. אם תידרש לכתוב מתכון תקין עבורי, תצטרך לכתוב אותו ברמת פירוט גבוהה יותר. יש גם כל מיני פעולות בסיסיות שבהן לא תוכל להשתמש. 1 הכנס כאן תיאור חלופי לבחירתך. |
 |
 |
 |
|
|
|
||
|
||||
|
1 אפילו ברמה הלוגית לא בדיוק ברור לי מה אתה מצפה ומאיזה מגבלות ישחרר אותך הרכיב הנ"ל. אבל אולי זה בגלל המוח המוגבל שלי. | |
|
|
|
|
|
||
|
||||
|
בקיצור: אין שום הוכחה שכל מודל חישוב אפשרי שקול למכונת טיורינג. הדבר היחידי שאנחנו יודעים הוא שכל מודל חישוב שאנחנו יכולים לממש או אפילו יכולים לתאר שקול לה. מכאן "מסיקים" באינדוקציה (של פיזיקאים) שכל מודל חישוב שקול לה. | |
|
|
|
|
|
||
|
||||
|
סליחה על הניטפוק, אבל זה קצת נשמע כמו טאוטולוגיה, ''כל מודל חישוב שאנחנו יכולים לממש או אפילו יכולים לתאר שקול לה'', כאילו בזאת הגדרת מהו מודל חישוב. | |
|
|
|
|
|
||
|
||||
|
לא טאוטולוגיה (אבל לא משהו חכם במיוחד) - לכל מודל חישוב מעשי שהוצע, הודגם שהוא יכול להיות ממומש על ידי מכונת טיורינג. | |
|
|
|
|
|
||
|
||||
|
לא נכון. מכונת טיורינג לא יכולה להנפיק סדרה אקראית ויש מכשירים ש(על פי התיאוריה הפיזיקלית) יכולים. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |