בתשובה לד.ק., 20/07/05 21:17
יופי 318471
עוד פעם אתה עושה את הבלבול הזה בין *תיאור* שלם של מערכת פורמלית לבין שלמות התורה. זה לא אותו דבר בשום מובן שאני יכול להעלות על הדעת. כדי לסבר את האוזן, אתן דוגמא:
האם מי שמתכנן מחשב (או iMac, בשביל אלון) צריך לדעת מה יעשה המחשב עבור כל קלט נתון? כן, הוא יכול להריץ סימולציה של המחשב המתוכנן. האם זה אומר שהוא יודע, עבור כל פלט אפשרי, האם יש קלט שיגרום למחשב לתת את הפלט הזה? התשובה במהופך:

cl

סתם, התשובה היא לא, אבל כן אפשר לכתוב במהופך.
יופי 318481
האם הפיזיקה אינה מערכת פורמאלית שמתארת את העולם? כדי שהיא תהיה שלמה, כל משפט בשפה שלה שנכון לגבי העולם צריך להיות יכיח בה על סמך האקסיומות וכללי ההיסק. אני משער שיש כל מיני דרכים להבנות את כל הידע הפיזיקלי לכדי מערכת. אולי חוקי הפיזיקה הם הפונקציות והאקסיומות, וגם יש איזשהו קבוע - המפץ הגדול בנקודת זמן 0. אנחנו יכולים לחשב איך בדיוק היקום נראה בכל נקודת זמן על סמך המערכת הזאת (אם היא שלמה), כלומר להוכיח בה כל משפט שנכון לגבי היקום.
אבל איך לעזאזל ניתן להוכיח שהיא עקבית? הרי אי אפשר לבנות לה מודל בתורה חיצונית מכיוון שלא יכולה להיות לה תורה חיצונית.
יופי 318494
לי אישית לא ברור למה מערכת פורמלית שמתארת את העולם/פיזיקה+תנאי התחלה צריכה להיות:
א. אפקטיבית
ב. שלמה

א. מניח שיש תורה של הכל עם תיאור סופי, ענין שכלל לא ברור בעיני.
ב. עוד פחות ברור. אם יורשה לי לצטט סתם איזה מישהו: האם השאלה האם יש אינסוף ספרות 7 בפיתוח העשרוני של פאי היא שאלה פיזיקלית?
יופי 318497
אני גם לא חושב שהמערכת שמתארת את היקום היא אפקטיבית ושלמה. אבל זאת המשמעות של המשפט ''היקום הוא מ''ט''.
יופי 318538
אני חושש שהתבלבת כאן: ברור שלכל פלט אפשרי X קיים קלט שגורם למחשב לתת אותו. למשל הקלט:

printf("%s", X);‎
יופי 318550
אתה חושב על מחשב שמריץ תוכניות בשפת C ואילו אני מדבר על מחשב כללי. גם בדוגמא שלך אין לך תיאור שלם במובן ש-ד.ק. השתמש בו: אם תריץ תוכנה למצוא מספר זוגי שאינו סכום של שני ראשוניים האם היא תדפיס משהו?

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

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