בתשובה להאייל האלמוני, 28/04/10 21:18
סוף הדרך 541829
הסבר פרט נמק והדגם.
סוף הדרך 541841
נאמר שנתון מכשיר שמקבל קלט, מבצע פעולת חישוב, ושולח את הפלט לזמן שלפני תחילת פעילותו. נאמר שהפלט מקדד זוג סדור <ביט, מספר-טבעי> כאשר הביט מקדד את התשובה לשאלה "המספר הוא דוגמא נגדית להשערה". המכשיר לוקח את הפלט, מעלה המספר באחד, וקורא לעצמו שוב - עד אשר הוא מקבל תשובה נגדית. מה יקרה כאשר תפעיל את המכשיר?

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

כנראה שאפשר לחשוב על עוד פתרונות, תחת הנחות פיזיקליות שונות.
סוף הדרך 541843
אני מסכים - מודל חישובי כזה יכול להכריע את השערת גולדבך באופן הזה, ולמעשה יכול להכריע כל שפה ב-RE. אבל מה על שפות שאינן ב-RE? ובאופן יותר ציורי (ולא מדויק לגמרי) - מה עם השערת קולאץ?

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

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