הכל צפוי והרשות בלתי אפשרית

בתשובה לסמיילי, 20/12/06 15:02

שתי הערות:

425410

גדי אלכסנדרוביץ' • בתשובה לסמיילי

יום ד', 20/12/2006, 16:34

"עקרונית לא חזק מספיק" במובן של דיון 2762?

שתי הערות:

425413

סמיילי • בתשובה לגדי אלכסנדרוביץ'

יום ד', 20/12/2006, 16:41

לא חזק מספיק במובן של אין לו מספיק זיכרון/ יכולת עיבוד להכיל את עצמו. זה נשמע לי פחות "חזק" מבעיית העצירה, ולא נראה לי שלמכונת טורינג אידילית תהיה בעיה כזאת (אבל אולי אני טועה...).

שתי הערות:

425439

גדי אלכסנדרוביץ' • בתשובה לסמיילי

יום ד', 20/12/2006, 17:30

זה כבר בעיקר עניין של הגדרות. באיזה מובן מכונת טיורינג יכולה "להכיל את עצמה"? אפשר לכתוב על הסרט שלה את כל המצבים הפנימיים ואת פונקציית המעברים שלה, אבל נראה לי שמה שמעניין אותך יותר הוא תוכן תאי הזיכרון שלה - כלומר, תוכן הסרט. לי נראה שתוכן הסרט כבר מכיל את תוכן הסרט, אבל אני משער שלא לזה הכוונה.

אלא שהבלבול הזה נובע מכך שמכונת טיורינג היא לא מכונה פיזיקלית, ומחשב כן.

שתי הערות:

425441

סמיילי • בתשובה לגדי אלכסנדרוביץ'

יום ד', 20/12/2006, 17:36

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

שתי הערות:

425442

גדי אלכסנדרוביץ' • בתשובה לסמיילי

יום ד', 20/12/2006, 17:38

נכון. קצת מזכיר את הטענה שהטבע הוא מחשב לא רע למי שרוצה לפתור משוואות דיפרנציאליות.

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

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות