בתשובה לירדן ניר-בוכבינדר, 28/09/11 3:03
הבנתנו את היקום מוגבלת אבל חיים עם זה 583020
גדי אלכסנדרוביץ'  (אתר) • בתשובה לירדן ניר-בוכבינדר יום ד', 28/9/2011, 6:47
כמו שצפריר אמר, על מכונה קונקרטית תמיד אפשר להתחכם (אבל בלי קשר לבני אדם; אם כל מה שיש הוא מכונה אחת, אז יש שתי מכונות שאחת מהן "יודעת" את התשובה הנכונה לגביה). צריך תמיד לדבר על קבוצה אינסופית של מכונות. מכיוון שטריוויאלי לטעון שבגלל שמדובר על כמות אינסופית אז אי אפשר "לדעת" במובן הקלאסי של להכיל את טבלת ה"כן/לא" בראש, הטיעון היותר מעניין הוא שגם אי אפשר לדעת איך לבדוק את זה "על המקום".
הבנתנו את היקום מוגבלת אבל חיים עם זה 583056
אא • בתשובה לגדי אלכסנדרוביץ' יום ד', 28/9/2011, 15:50
אולי אני טועה, אבל נראה לי שלא זו הייתה השאלה של ירדן. תשובתי היא שוודאי: המכונה האוניברסלית (זו שמקבלת ייצוג של מכונה וקלט) היא מכונה כזו. האנושות לא תוכל לדעת אם היא עוצרת או לא על רבים מהקלטים שלה.
הבנתנו את היקום מוגבלת אבל חיים עם זה 583059
ירדן ניר-בוכבינדר  (אתר) • בתשובה לאא יום ד', 28/9/2011, 16:46
הבנת אותי נכון (לגדי וצפריר: אפשר להחליף בתגובתי לעיל "שהאנושות לא תוכל לדעת" ב"שהמתמטיקאים לא יוכלו להוכיח"), ותשובתך טובה.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות