בתשובה לגדי אלכסנדרוביץ', 20/12/06 16:34
שתי הערות: 425413
לא חזק מספיק במובן של אין לו מספיק זיכרון/ יכולת עיבוד להכיל את עצמו. זה נשמע לי פחות "חזק" מבעיית העצירה, ולא נראה לי שלמכונת טורינג אידילית תהיה בעיה כזאת (אבל אולי אני טועה...).
שתי הערות: 425439
זה כבר בעיקר עניין של הגדרות. באיזה מובן מכונת טיורינג יכולה "להכיל את עצמה"? אפשר לכתוב על הסרט שלה את כל המצבים הפנימיים ואת פונקציית המעברים שלה, אבל נראה לי שמה שמעניין אותך יותר הוא תוכן תאי הזיכרון שלה - כלומר, תוכן הסרט. לי נראה שתוכן הסרט כבר מכיל את תוכן הסרט, אבל אני משער שלא לזה הכוונה.

אלא שהבלבול הזה נובע מכך שמכונת טיורינג היא לא מכונה פיזיקלית, ומחשב כן.
שתי הערות: 425441
אתה צודק, קצת התבלבלתי. יותר נכון להגיד את זה ככה:
למיטב הבנתי (ותקן אותי אם אני טועה), את בעיית העצירה אין דרך לפתור. לעומת זאת, אפשר לפתור את בעיית החישוב של תוצאה כאוטית בהנתן המצב ההתחלתי, פשוט לתת למצב להתפתח ולמדוד אותו בסופו...
שתי הערות: 425442
נכון. קצת מזכיר את הטענה שהטבע הוא מחשב לא רע למי שרוצה לפתור משוואות דיפרנציאליות.

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

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