קורט גדל
לוגיקן ומתמטיקאי אוסטרי-אמריקאי / ויקיפדיה האנציקלופדיה encyclopedia
קורט גֶדֶל (בגרמנית: Kurt Gödelⓘ?; 28 באפריל 1906 – 14 בינואר 1978) היה לוגיקן ומתמטיקאי אוסטרי שהיגר לארצות הברית. נחשב לאחד מגדולי הלוגיקנים של כל הזמנים וכאחד מאבות תחום המטא-מתמטיקה בלוגיקה המתמטית. הוא ידוע בעיקר בזכות משפטי האי-שלמות שלו, שהפכו לאבן יסוד בחקר המתמטיקה במאה העשרים, אך מחקריו נגעו כמעט בכל תחום בלוגיקה המתמטית.[1]
עובדות מהירות לידה, פטירה ...
קורט גדל | |
לידה |
28 באפריל 1906 האימפריה האוסטרו-הונגרית ברנו, מוראביה |
---|---|
פטירה |
14 בינואר 1978 (בגיל 71) ארצות הברית פרינסטון, ניו ג'רזי |
שם לידה | Kurt Friedrich Gödel |
ענף מדעי | תורת הקבוצות, תורת היחסות, לוגיקה, תחשיב הפרדיקטים, פילוסופיה, פיזיקה, פילוסופיה אנליטית, מתמטיקה, לוגיקה מתמטית, פילוסופיה של המתמטיקה |
מקום מגורים | אוסטריה |
מקום קבורה | בית הקברות פרינסטון |
מקום לימודים | אוניברסיטת וינה (1929) |
מנחה לדוקטורט | הנס האן |
מוסדות |
|
פרסים והוקרה |
|
בן או בת זוג | אדל גדל |
תרומות עיקריות | |
מגדולי הלוגיקנים של כל הזמנים. משפט השלמות של גדל, קידוד גדל, משפטי האי-שלמות של גדל. הוכיח כי השערת הרצף עקבית ביחס לאקסיומות המקובלות של תורת הקבוצות. | |
חתימה | |
סגירה