מַעבר אל העתיד

בסימנים ‑ את זאת אפשר יהיה לעשות רק לאותם מרכיבים מתוכם שכבר זוהו כברורים . ב ‑ 1931 עתיד גם הלוגיקן קוּרט גֵדֶל ‑ אומנם מכיווּן אחר ‑ להצביע באמצעות מהלך לוגי על הגבולות של האפשרות למצוא פתרון מלא לכל השאלות במסגרת שפה נתונה . באמצעות מה שמכוּנֶה "משפטי האי ‑ שלמוּת" הניח גֵדֶל את היסודות לתורת המידע ולחֵקר הבינה המלאכותית, בכך שהוכיח כי אי אפשר לפתח בלי הגבלה טענות מתוך מערכות פורמליות . העובדה שמערכת מסוג זה יכולה לתפקד רק כשיש לנו אפשרות להתווֹת במדויק את גבולותיה היא תובנה שגם לייבניץ, באותם ימים של אפריל ,1703 ביטא באופן צלול . וכאן בדיוק טמונה תרומה ספּציפית נוספת של לייבניץ ‑ שעד היום זכתה בעיקר להתעלמות ‑ להיסטוריה הארוכה והסבוכה של העולם הדיגיטלי המודרני . לצד המתמטיקה, הלוגיקה והחומרה, מתגלה כאן אפוא גם "אבן ‑ פּסיפס" מתחום תורת המידע . בעיני לייבניץ היו אלה רק שברים פזורים, שלא הסכימו להתחבר זה לזה . רק בדיעבד הם נהיו לציוני ‑ דרך במסע הארוך ממכונות החישוב המכאניות והלוגיקה הדו ‑ ערכית, עבוֹר דרך מכשירי החישוב האלקטרוניים האוטומטיים, וכלה במכשירים המסוגלים להתקדם תוך למידה ...  To the book