בתשובה לד.ק., 20/07/05 21:17
 |
|
 |
||
|
||||
 |
עוד פעם אתה עושה את הבלבול הזה בין *תיאור* שלם של מערכת פורמלית לבין שלמות התורה. זה לא אותו דבר בשום מובן שאני יכול להעלות על הדעת. כדי לסבר את האוזן, אתן דוגמא: האם מי שמתכנן מחשב (או iMac, בשביל אלון) צריך לדעת מה יעשה המחשב עבור כל קלט נתון? כן, הוא יכול להריץ סימולציה של המחשב המתוכנן. האם זה אומר שהוא יודע, עבור כל פלט אפשרי, האם יש קלט שיגרום למחשב לתת את הפלט הזה? התשובה במהופך: cl סתם, התשובה היא לא, אבל כן אפשר לכתוב במהופך.
|
 |
 |
 |
|
|
|
||
|
||||
|
האם הפיזיקה אינה מערכת פורמאלית שמתארת את העולם? כדי שהיא תהיה שלמה, כל משפט בשפה שלה שנכון לגבי העולם צריך להיות יכיח בה על סמך האקסיומות וכללי ההיסק. אני משער שיש כל מיני דרכים להבנות את כל הידע הפיזיקלי לכדי מערכת. אולי חוקי הפיזיקה הם הפונקציות והאקסיומות, וגם יש איזשהו קבוע - המפץ הגדול בנקודת זמן 0. אנחנו יכולים לחשב איך בדיוק היקום נראה בכל נקודת זמן על סמך המערכת הזאת (אם היא שלמה), כלומר להוכיח בה כל משפט שנכון לגבי היקום. אבל איך לעזאזל ניתן להוכיח שהיא עקבית? הרי אי אפשר לבנות לה מודל בתורה חיצונית מכיוון שלא יכולה להיות לה תורה חיצונית. |
|
|
|
|
|
|
||
|
||||
|
לי אישית לא ברור למה מערכת פורמלית שמתארת את העולם/פיזיקה+תנאי התחלה צריכה להיות: א. אפקטיבית ב. שלמה א. מניח שיש תורה של הכל עם תיאור סופי, ענין שכלל לא ברור בעיני. ב. עוד פחות ברור. אם יורשה לי לצטט סתם איזה מישהו: האם השאלה האם יש אינסוף ספרות 7 בפיתוח העשרוני של פאי היא שאלה פיזיקלית? |
|
|
|
|
|
|
||
|
||||
|
אני גם לא חושב שהמערכת שמתארת את היקום היא אפקטיבית ושלמה. אבל זאת המשמעות של המשפט ''היקום הוא מ''ט''. | |
|
|
|
|
|
||
|
||||
|
אני חושש שהתבלבת כאן: ברור שלכל פלט אפשרי X קיים קלט שגורם למחשב לתת אותו. למשל הקלט: printf("%s", X);
|
|
|
|
|
|
|
||
|
||||
|
אתה חושב על מחשב שמריץ תוכניות בשפת C ואילו אני מדבר על מחשב כללי. גם בדוגמא שלך אין לך תיאור שלם במובן ש-ד.ק. השתמש בו: אם תריץ תוכנה למצוא מספר זוגי שאינו סכום של שני ראשוניים האם היא תדפיס משהו? | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |