כניסה
הרשמה לניוזלטר

מי היה המתמטיקאי שהצליח להוכיח שלא ניתן להוכיח הכול

דורית דינור | 10 בנובמבר 2021 | תרבות ואמנות | 3 דק׳

מסע אל קצה ההיגיון ובחזרה

מדי ערב פסעו אלברט איינשטיין וקורט גֶדֶל (Gödel 1978-1906) זה לצד זה, על השביל המוביל מ"המכון ללימודים מתקדמים" באוניברסיטת פרינסטון שבארה"ב, לבתיהם. חברו לטיולים של איינשטיין היה מהפכן נחבא אל הכלים הנחשב לאחד מגדולי המתמטיקאים בכל הזמנים שרבים לא שמעו מעולם את שמו.

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

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

Stephen Budiansky, "Journey to the Edge of Reason: The Life of Kurt Gödel", May 2021

מסע אל קצה ההיגיון ובחזרה

מי היה המתמטיקאי שהצליח להוכיח שלא ניתן להוכיח הכול

דורית דינור | 10 בנובמבר 2021 | תרבות ואמנות | 3 דק׳

Stephen Budiansky, "Journey to the Edge of Reason: The Life of Kurt Gödel", May 2021

מדי ערב פסעו אלברט איינשטיין וקורט גֶדֶל (Gödel 1978-1906) זה לצד זה, על השביל המוביל מ"המכון ללימודים מתקדמים" באוניברסיטת פרינסטון שבארה"ב, לבתיהם. חברו לטיולים של איינשטיין היה מהפכן נחבא אל הכלים הנחשב לאחד מגדולי המתמטיקאים בכל הזמנים שרבים לא שמעו מעולם את שמו.

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

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

כתבות נוספות שעשויות לעניין אותך
האם הצלחתנו נטועה בתרבות שבה גדלנו?

נדב רט

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

אנחנו לא חיות, וגם לא רובוטים

ד"ר משה רט

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

מה עובר לכם בראש כשאתם חושבים על מיליונר?

נדב רט

מתי יודעים שספר הופך להיות מאופנה עונתית חולפת לקלאסיקה אמיתית? – כשהוא ממשיך להיות מתורגם ומופץ גם עשרות שנים לאחר שיצא...

שיעור בענווה מהאימפריה הרומית

גלית דהן קרליבך

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

תמונה למחשבה: שני חוקים ובחירה אחת

אריק בס

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

תמונה למחשבה: הומרוס ובעיית האב הנעדר

ווקר לרסון

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

מהי הדרך הנכונה להשתמש בכוח הרצון שלנו?

דינה גורדון

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

איראן תהפוך בקרוב למדינה גרעינית. מה אז?

נדב רט

את נושא ספרו החדש של ההיסטוריון ישי פרס היינו מצפים למצוא בספרים מסוגה אחרת לגמרי – דיסטופיות מפחידות מהסוג המנבא את חורבן...

שתפו: