האו ואנג
מתמטיקאי סיני / ויקיפדיה האנציקלופדיה encyclopedia
האו ואנג (במנדרינית תקנית: 王浩, בפין-יין: Wáng Hào, באנגלית: Hao Wang; 20 במאי 1921 – 13 במאי 1995) היה לוגיקן, מתמטיקאי, פילוסוף סיני-אמריקאי, ידוע גם כפרשן של תורתו של קורט גדל. היה פרופסור ללוגיקה מתמטיקה באוניברסיטת הרווארד. האו ואנג נודע בתרומתו ללוגיקה המתמטית ולקידום מדעי המחשב.
עובדות מהירות לידה, פטירה ...
לידה |
20 במאי 1921 ג'ינאן, שאנדונג, הרפובליקה הסינית (1949-1912), |
---|---|
פטירה |
13 במאי 1995 (בגיל 73) ניו יורק, ארצות הברית ארצות הברית |
ענף מדעי | לוגיקה מתמטית, מדעי המחשב, פילוסופיה של המתמטיקה |
מקום מגורים |
הרפובליקה הסינית (1949-1912) הרפובליקה הסינית הממלכה המאוחדת הממלכה המאוחדת ארצות הברית ארצות הברית |
מקום לימודים |
אוניברסיטה דרום מערבית המאוחדת אוניברסיטת צ'ינהואה אוניברסיטת אוקספורד אוניברסיטת הרווארד |
מנחה לדוקטורט | וילארד ואן אורמאן קוויין |
מוסדות |
אוניברסיטת הרווארד אוניברסיטת אוקספורד אוניברסיטת רוקפלר |
תלמידי דוקטורט | סטיבן קוק, Robert Berger, Joyce Barbara Friedman, שמעון אבן, Stål Aanderaa |
פרסים והוקרה | עמית האקדמיה הבריטית |
הערות | תלמידים:סטיבן קוק, שמעון אבן, רוברט ברגר |
תרומות עיקריות | |
תכנות מחשב להוכחת משפטים מתמטיים אריחי ואנג אלגוריתם ואנג | |
סגירה