מה שעשרים מכונות ידעו

איך חלקים מושאלים רוכשים אמינות

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

בין שני המשפטים האלה לא נוסף דבר מלבד הנחה.

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

עשרים מנגנונים, כלל כניסה אחד

העשרים רגילים במובן זה שהם מתועדים: מנגנון אנטיקיתרה, האצטרולב, הטורקטום, האקווטוריום, האסטררים של דה דונדי, התיאטרון האוטומטי של הרון מאלכסנדריה, מד המרחק הויטרוביאני, שעון השמש־לוח הביזנטי, מרכבת מצביעת הדרום, מתקני הבקרה של בני מוסא, מגדל השעון של סו סונג, האוטומטים של אל־ג׳זרי, הוולוול, הסקטור, סרגל החישוב, הפסקלין ומכונת לייבניץ, מנגנון ז׳אקאר, המנוע האנליטי של באבג׳, חוזה הגאות של קלווין, והמנתח הדיפרנציאלי של בוש.

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

כל מה שהמקורות אינם מספקים, והארכיטקטורה נזקקת לו בכל זאת, מסומן כשילוב חדש. שלושה כאלה קיימים, והם נקראים בשמם ולא נבלעים: אפיק שילוב, אוגר מצבי שגיאה, ומתזמן חוצה תחומים. אף אחד מהם אינו מוצג כתגלית היסטורית. הם המצאות, והאמירה הזו אינה ענווה. היא מה שמשאיר את שבע־עשרה הטענות האחרות ראויות לקריאה.

מה חייבים להצהיר לפני שמחשבים

הארכיטקטורה דורשת הצהרה על וקטור מצב בן עשרה בלוקים לפני שפעולה כלשהי רצה. זה נשמע כמו ניהול רישומים, ואינו.

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

שבע שכבות, ומה אסור לכל אחת

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

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

לשערים יש טיפוסים, כי כל סיבוב נושא כמות אחרת

אין לחבר שני מנגנונים משום ששניהם מסתובבים.

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

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

מדויק ומקורב, מופרדים בכוונה

שני מסלולי חשבון רצים בארכיטקטורה והם אינם ברי החלפה.

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

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

לחשב את אותו דבר פעמיים, במתכוון

אותו גודל מחושב בשני מסלולים בלתי תלויים, וההפרש ביניהם נשמר כאות ולא מושלך כרעש.

זהו הרעיון הנייד ביותר בכל התכנון. אי־הסכמה בין שתי שיטות היא מידע על השיטות. שמונה זוגות כאלה מוגדרים. המערכת בנויה להתווכח עם עצמה, והוויכוח הוא האבחון.

מנגנון אנטיקיתרה מספק את הדוגמה הנקייה ביותר. תשע־עשרה שנים הן כמעט בדיוק מאתיים שלושים וחמישה חודשי ירח, כך שבשנה כ־12.368 חודשים. החוגה האחורית העליונה היא ספירלה בת חמישה סיבובים ובה 235 תאי חודש, ולכן המחוג שלה מתקדם חמש תשע־עשריות של סיבוב בשנה. זהו יחס שניתן לבדוק מול השמיים, ומול מנגנון שני, וההפרש ביניהם הוא המדידה.

האיסור שחשוב מכולם

מתוך עשרה כללים גלובליים, אחד נושא את הטיעון:

טענה היסטורית אינה מתחזקת רק משום שהארכיטקטורה מסוגלת לממש אותה.

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

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

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

באותו אופן: דמיון מתמטי אינו שימוש חוזר הנדסי, ואף אחד מהם אינו העברה היסטורית מתועדת. רק השלישי מבסס שושלת.

גבול הטענה

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

הדבר קיים כתכנון. מימוש פיזי מלא מסומן כבלתי מוכח: ניתן למימוש עקרונית, וניתן למימוש כאוסף מנגנונים מובחנים ולא כרכבת גלגלי שיניים אחת בלתי מובחנת.

האימות שנעשה עד כה הוא מבני. דיווח פנימי רושם מעבר מבני על פני עשרים מונוגרפיות ושישים ושמונה רשומות ביבליוגרפיה בלי מפתחות ציטוט פתוחים, ומציין באותה נשימה את גבולו שלו: הוא מבסס התאמה מבנית וציטוטית, ומשאיר שיפוט פילולוגי, ממצאי, הנדסי וכתב־עתי לביצוע. מעבר עיצובי הוא מעבר עיצובי. שיפוט עמיתים חיצוני עודנו נדרש.

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

מה נותר פתוח

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

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

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