בתשובה לגדי אלכסנדרוביץ', 29/12/06 20:49
 |
|
 |
||
|
||||
 |
אם כדבריך אתה לא חושב שאפשר יהיה לחשב דבר כזה, מדוע קשה לך להודות שזה בלתי ניתן לחישוב? מדובר באותה הטענה במלים אחרות. |  |
 |
 |
|
|
|
||
|
||||
|
שוב, יש הבדל *עצום* בין "מה שניתן לחישוב" ובין "מה שניתן לחישוב מעשי". לגישתך אין הבדל בין "מה שניתן לחישוב אבל לא לחישוב מעשי" ובין "לא ניתן לחישוב", אבל לגישתי יש. גם חישוב מפורש של פתרון בעיית מגדלי האנוי עם 200 טבעות זה לא ניתן לחישוב מעשי אבל בהחלט ניתן לחישוב. (מגדלי האנוי [ויקיפדיה]) |
|
|
|
|
|
|
||
|
||||
|
אתה יכול לטעון שבאופן תיאורטי, תהיה לך גישה וגם ידע לגבי כל המשתנים כולם עד הפרט האחרון - אבל אנחנו מדברים על יישום בעיות למציאות, לא? על זה היה הדיון. הולכת לראות ארץ נהדרת, אמשיך אח"כ. |
|
|
|
|
|
|
||
|
||||
|
למען האמת, לדעתי זה בדיוק בכיוון ההפוך - אנחנו מדברים על חישוביות גם תחת הנחות מאוד לא מציאותיות, ורואים מה בלתי אפשרי *אפילו* תחת ההנחות הללו. זה מבטיח לנו שאותם הדברים הם בלתי אפשריים גם במציאות שלנו, וגם בעתיד - לא משנה עד כמה נתפתח, הם יישארו בלתי אפשריים. | |
|
|
|
|
|
||
|
||||
|
השאלה מענינת. כאשר מוכיחים שבעיה מסוימת אינה ניתנת לחישוב, המשמעות היא שעפ"י הלוגיקה האנושית, לא קיימת שום דרך אפשרית (שום אלגוריתם) לביצוע החישוב. לעומת זאת, כאשר בעיה ניתנת לחישוב, אך דורשת כמות עצומה של משאבים (אפילו כזו הגדלה באופן מעריכי עם גודל הבעיה), העתיד נראה מעט ורוד יותר: יכול להיות שבגבולות הלוגיקה והידע האנושי, ימצא מודל חישוב חזק יותר מאילו הקיימים היום (למשל כזה הנובע מתורה פיזיקלית מאוחדת 1), אשר יאפשר לפתור את הבעיה בזמן סביר. 1 לדוגמה, מסע בזמן יכול לעזור לפתור כל בעיה הנוגעת לניבוי העתיד (במידה ויש אחד כזה...) |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |