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