לא בדיוק
1. לא דיברתי על ישום, אלא על מסקנות. הסקירה של עשרת המימדים עסקה רק בהגדרה שלהם. אני יכול להגדיר כל קונסטרקט שאני רוצה. השאלה היא אם הקונסטרקט הזה מעניין. הוא מתחיל להיות מעניין ברגע שאפשר להגיע בעזרתו לתובנות חדשות. זה המקרה עם מכונת טיורינג. מנגד יש למשל את המקרה המפורסם (במתמטיקה) של הפרדוקס של ראסל. מתמטיקאי אחר יצר הגדרה נאיבית לתורת הקבוצות, אבל ראסל הראה שההגדרה מובילה לסתירה, ולכן איננה מעניינת מבחינה מתמטית (לפחות עד שתוקנה).
2. הפוך גוטה. היקום (לפחות שלנו) שואף למקסימום אנטרופיה = אי-סדר. בגדול בגלל שהאנטרופיה תמיד גדלה היא קשורה בצורה הדוקה לזמן. חזרה לעבר משמעה חזרה למצב שבו האנטרופיה היתה קטנה יותר וזה לא אפשרי (לפחות לפי חוקי התרמודינמיקה). אבל בכל מקרה כאן אנחנו חורגים מהמתמטיקה (פילוסופיה) אל הפיזיקה (מדע). אין שום מניעה לתאר עולם שבו קיימים חוקים אחרים ולחשוב על מסע בזמן, אבל זה יהיה תרגיל פילוסופי, כיוון שתצפיות על היקום שלנו מלמדות אותנו שבו האנטרופיה תמיד גדלה. כמו-כן צריך לשים לב שהחוק השני של התרמודינמיקה מראה שאי אפשר לנוע אחורה בזמן, אבל לפחות להבנתי זה לא אומר שאי אפשר לנוע לעתיד. יש לציין שפעולה כזאת גם לא גוררת את כל הסתירות הלוגיות של מסע לעבר (כמו אדיפוס שחוזר בזמן להרוג את אביו לפני שהולידו). נניח אדם שנודע לו שנותרו לו עוד שישה חודשים לחיות. הוא עולה על חללית למסע שנמשך עבורו חודשיים, אבל מחזיר אותו לכדור הארץ במאה ה-25 שבה ניתן לרפא את המחלה.
3. זה אפשרי (אולי) במידה ואכן קיימים יקומים אחרים. צריך לזכור שזאת תאוריה.
4. טיורינג הוכיח שבעית העצירה איננה פתירה. כלומר אי אפשר לבנות מכונת טיורינג, שעבור כל מכונת טיורינג וכל קלט תגיד לנו אם החישוב יעצר או ימשך לעולם. הבעיה וגם ההוכחה דומות מאוד למשפט אי-השלמות של געדל. כלומר לעולם יהיו בעיות (פורמליות) שלא נוכל לפתור. למסתכל מהחוץ הקביעות האלו יכולות להראות לא מעניינות, אבל במדעי המחשב ובלוגיקה בהתאמה, למשפטים האלו יש חשיבות קרדינלית וכל אחד מהם ממלא תוכן של חצי סימסטר. אבל אם נחזור רגע לאספקט האסתטי, הרי שההוכחות האלו (כמו גם הפרדוקס של ראסל) כולן יחסית פשוטות ומוכרעות בעזרת שיטה שנקראת ליכסון, וכאן טמון היופי שלהן. למשל במקרה של בעית העצירה מניחים שיש מכונת טיורינג שיכולה להכריע כנ"ל ואז מפעילים אותה על עצמה ומראים שאפשר לבנות קלט שבעבורו המכונה לעולם לא תעצור, ומקבלים סתירה שמשמעה שמכונה כזאת איננה קיימת.
וכרגיל לסטואי גריפין כל התשובות
http://www.youtube.com/watch?v=6p5jnqEyUs4