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