פורטל:מתמטיקה/מתמטיקאי נבחר/15

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

קורט גדלגרמנית: Kurt Gödel)‏ (28 באפריל 1906 - 14 בינואר 1978) היה לוגיקן אוסטרי (ואחר-כך אמריקני) מגדולי הלוגיקנים של כל הזמנים.

גדל נולד ב-28 באפריל 1906 בעיר ברנו שבאימפריה האוסטרו-הונגרית (כיום בצ'כיה), לאב שהיה מנהל מפעל טקסטיל. בגיל 18 התחיל גדל את לימודיו באוניברסיטת וינה, שם לקח קורסים בפיזיקה, במתמטיקה ובפילוסופיה, כשבסופו של דבר התמקד בלוגיקה מתמטית והיה חבר בחוג הווינאי. בשנת 1930 סיים את עבודת הדוקטורט שלו, שבה הוכיח את שלמותו של תחשיב פסוקים מסדר ראשון. טענה זו ידועה בשם משפט השלמות של גדל.

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

לערך המלא