Ван Хао (математик) (Fgu }gk (bgmybgmnt))

Перейти к навигации Перейти к поиску
Ван Хао
кит. 王浩
Дата рождения 20 мая 1921(1921-05-20) или 21 мая 1921(1921-05-21)[1]
Место рождения
Дата смерти 13 мая 1995(1995-05-13)[2] (73 года)
Место смерти
Страна  Китайская Республика США
Род деятельности математик, философ, логик
Место работы
Альма-матер
Научный руководитель Уиллард Ван Орман Куайн
Ученики Стивен Кук
Награды и премии

Ван Хао (кит. 王浩, пиньинь Wáng Hào, англ. Hao Wang, 20 мая 1921 — 13 мая 1995) — китайский и американский учёный, математик, логик и философ.

Родился в 1921 году в урбанизированной части уезда Личэн (провинция Шаньдун, Китайская Республика), впоследствии выделенной в город Цзинань. Когда в 1937 году началась японо-китайская война, то Университет Цинхуа, Пекинский университет и тяньцзиньский Нанькайский университет были эвакуированы в западную часть страны, где в итоге на их основе Куньмине был создан Государственный Юго-западный объединённый университет; там Ван Хао в 1943 году получил степень бакалавра математики. По окончании войны университеты были восстановлены в местах довоенного расположения, и в 1945 году Ван Хао получил степень магистра философии в Университете Цинхуа; среди его преподавателей были Фэн Юлань и Цзинь Юэлинь.

Затем Ван Хао уехал на учёбу в США, и в 1948 году получил степень Ph.D. по логике в Гарвардском университете. В 1950-х учился в Цюрихском университете у Пауля Бернайса. В 1956 году стал лектором по курсу «Философия математики» в Оксфордском университете. В 1959 году Ван Хао написал программу для компьютера IBM 704, которая за 9 минут автоматически доказала несколько сотен теорем из области математической логики, опубликованных в фундаментальном труде Альфреда Уайтхеда и Бертрана Рассела «Principia Mathematica». В 1961 году он получил в Гарварде должность профессора математической логики и прикладной математики от фонда имени Гордона Маккея[англ.]. В 1967—1991 годах возглавлял группу по исследованиям в области логики при Рокфеллеровском университете в Нью-Йорке.

В 1972 году Ван Хао посетил КНР в составе первой группы американских учёных китайского происхождения, возглавляемой Жэнь Чжигуном[англ.].

Одним из важнейших вкладов Ван Хао в современную науку являются «плитки Вана»: он показал, что любая машина Тьюринга может быть представлена в виде набора таких плиток, и вопрос об остановке такой машины эквивалентен вопросу о том, можно ли этим набором плиток замостить плоскость. Также Ван Хао развил поздние философские идеи Людвига Витгенштейна. Ввел в науку понятие операторного алгоритма.

Библиография

[править | править код]
  • Ван Хао, Р. Мак-Нотон. Аксиоматические системы теории множеств. — М.: Иностранная Литература, 1963. — 54 с. — (Библиотека сборника «Математика»).

Примечания

[править | править код]
  1. 1 2 Deutsche Nationalbibliothek Record #141236957 // Gemeinsame Normdatei (нем.) — 2012—2016.
  2. Hao Wang // Internet Philosophy Ontology project (англ.)