![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/he/thumb/8/8e/HAO_WANG.jpg/640px-HAO_WANG.jpg&w=640&q=50)
האו ואנג
מתמטיקאי סיני / ויקיפדיה האנציקלופדיה 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 ![]() |
פרסים והוקרה |
עמית האקדמיה הבריטית ![]() |
הערות | תלמידים:סטיבן קוק, שמעון אבן, רוברט ברגר |
תרומות עיקריות | |
תכנות מחשב להוכחת משפטים מתמטיים אריחי ואנג אלגוריתם ואנג | |
![]() ![]() |
סגירה