|
||||
|
||||
אני לא חושב שחובת ההוכחה עלי, מפני שאת היא זאת שטוענת לקיום "חופש", וטענת קיום היא זאת שזקוקה לאישוש. באנלוגיה לעמדה שלך, אני יכול לטעון שבמשפט "שלום כיתה א"' מסתתרת הוכחה לקיום אלוהים, וכאשר תעשי לי "הה?" אגיד לך שהאפשרות שהיא מסתתרת שם והאפשרות שהיא איננה מסתתרת שם הן סימטריות, לכן חובת ההוכחה עליך. "העובדה שמכשיר מכני מסוגל לבצע בחירה מסוימת באופן בלתי חופשי בעליל, לא אומרת שהאדם איננו מסוגל לבצע אותה באופן חופשי" - אבל אנחנו לא דנים כרגע בשאלה מי מבצע את הבחירה אלא בנסיון להבין למה אנחנו מתכוונים כשאנחנו מדברים על בחירה חופשית בכלל. להזכירך, את טענת שגם באלגוריתם מתגובה 422579 אולי מסתתר "חופש", מה שגרם לי להציע קריטריון שיעזור לנו להחליט. עכשיו אני מבין שהבעיה היא בכלל ברמה אחרת: לדעתך אפשר לבצע את האלגוריתם ההוא בצורה "חופשית" (תלוי, מסתבר, בשאלה מי המבצע - מחשב או אדם), מה שמשאיר אותי המום למדי. אני לא יודע איך להמשיך מכאן עד שתסבירי לי איך אדם יכול לבצע את האלגוריתם ההוא באופן "חופשי", מאחר ובעיני הרעיון הזה אינו נכון ואינו לא נכון, הוא פשוט חסר כל משמעות. לחילופין, אפשר ללכת בנתיב שמציע האח של אייל, כך שאם את רוצה לענות לו אני אעקוב אחר התפתחות העניינים שם. לגבי ה"שלישית" וה"רביעית" שלך, אני חושב שמוטב שלא אגיב. |
|
||||
|
||||
אתה טוען לקיום כפייה. אותו דבר. כן, ודאי שאת אותה בחירה יכולה ישות אחת לקיים באופן אחד - והאחרת באופן אחר. למחשב תקין עם האלגוריתם שהצעת אין ברירה אלא לענות לי עד השעה המסוימת, או לא לענות אם היא עברה. אדם (תקין, תקין) עם האלגוריתם הזה עדיין יכול לענות לי גם כשעבר הזמן או לא לענות לפניו. הוא לא מחויב לאלגוריתם. |
|
||||
|
||||
הבנתי. מי שטוען שאין ספל תה מרחף בנקודת לגרנג' השלישית של כדוה"א צריך להוכיח זאת ("אתה טוען שיש שם רִיק. אותו דבר", תגיד לו מי שטענה שיש שם ספל כזה). חוששני שאני לא מסוגל לעמוד בדרישה הזאת. אני לא יודע להוכיח שאין חופש באלגוריתם ההוא כשם שאיני יודע להוכיח שאין 5% שומן בעקרון ההכללה של קאנט. לא אטרח אפילו לנסות שכן ברור לי שנגיע למשחק ההגדרות הישן והטוב שאינו מוביל לשום מקום מלבד ל"תגדיר הגדרה". אני מעדיף לוותר, ולהודיע שאם באלגוריתם ההוא עשוי להסתתר חופש, יכול להיות שיש לנו רצון חופשי. ולמשפט השני שלך: מה שאת אומרת, בעצם, הוא שאדם עם האלגוריתם הזה עדיין יכול להפעיל אלגוריתם אחר. ובכן, נכון. אבל כדי להפעיל אלגוריתם אחר הוא צריך לקבל החלטה להפעיל אותו, ואידך זילי. כמו כן, אני רוצה להזכיר לך שאני מנסה לקבוע קריטריון לגבי *אלגוריתמים*, לא לגבי השאלות הסביבתיות של מי מבצע אותם, מי מחוייב להם ומי לא יכול לבצע אותם בכלל (גם המחשב, אגב, עשוי לא לבצע את האלגוריתם אלא להוציא במקומו מסך כחול עם הודעה בלתי ניתנת לפענוח. בשביל זה יש לו אלגוריתם שנקרא interrupt handler. מה שאין לו זה חופש). אחרי שנסכים על קריטריון כזה, נוכל לבדוק מה נובע מההסכמה שלנו. דרך אחרת היא לטעון שאפשר לעשות בחירה בלי שום אלגוריתם, ונדמה לי שזה מה שאת מנסה לעשות, אבל אם זה באמת כך נא אמרי את זה במפורש, כדי שאוכל לשאול אותך איך מבצעים בחירה בלי אלגוריתם, מה שמבטיח לנו עוד הרבה הודעות. דורון שדמי, נושפים בעורפך! |
|
||||
|
||||
אתה לא אמרת שבמקום חופש אין כלום, כי ההיפך מחופש איננו כלום אלא סוג כלשהו של כפייה, הכרח, אילוץ וכו'. על יתר הרישא שלך עדיף שלא אגיב. אם המחשב יכול לא לבצע אלגוריתם מסוים, האם יש לו דרך פעולה אחרת למעט הוצאת מסך כחול עם כיתוב בלתי מפוענח? וכן, ייתכן שהניסוח הנכון (אולי לא המדויק, אבל לא אשקיע כרגע די מאמץ לחפש משהו מדויק מזה) של טענתי הוא שלא מדובר באלגוריתם. אני מסכימה שאתה מתחיל להישמע קצת כמו שדמי. |
|
||||
|
||||
דומני שהגענו לנקודה בה אפשר להתחיל ללכת מכות, או כפי שאומרת אסתי: יום טוב. |
|
||||
|
||||
גם לך. |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |