WikiDer > Хао Ван (академик)

Hao Wang (academic)
О других людях по имени Ван Хао см. Ван Хао (значения).
В этом китайское имя, то фамилия является Ван (王).

Хао Ван
Родившийся(1921-05-20)20 мая 1921 г.
Цзинань, Шаньдун, Китай
Умер(1995-05-13)13 мая 1995 г.
Нью-Йорк, Нью-Йорк, Соединенные Штаты
Альма-матер
ИзвестенВанская плитка
Ван Б-машина
Научная карьера
Поля
Учреждения
ДокторантУиллард Ван Орман Куайн
Докторанты

Хао Ван (Китайский: 王浩; пиньинь: Ван Хао; 20 мая 1921 - 13 мая 1995) был логик, философ, математик, и комментатор Курт Гёдель.

биография

Рожден в Цзинань, Шаньдун, в республика Китай (сегодня в Китайская Народная РеспубликаРаннее образование Ван получил в Китае. Он получил степень бакалавра в математика от Национальный Юго-Западный ассоциированный университет в 1943 г. и степень магистра в Философия из Университет Цинхуа в 1945 году, где его учителями были Фэн Юлан и Цзинь Юэлинь, после чего переехал в США для дальнейшего обучения в аспирантуре. Он изучал логику в Гарвардский университетВ 1948 году он получил степень доктора философии. В том же году он был назначен на должность доцента Гарварда.

В начале 1950-х Ван учился у Пол Бернейс в Цюрих. В 1956 году он был назначен читателем философии математики в Оксфордский университет. В 1959 году Ван написал на IBM704 компьютер программа, которая всего за 9 минут механически доказала несколько сотен математическая логика теоремы в Уайтхед и Расселс Principia Mathematica.[1] В 1961 году он был назначен Гордон Маккей Профессор математической логики и прикладной математики в Гарварде.[2] С 1967 по 1991 год он возглавлял группу логических исследований в Рокфеллеровский университет в Нью-Йорк, где он был профессор логики. В 1972 году Ван присоединился к группе китайских американских ученых во главе с Чи-Кунг Джен как первая такая делегация из США в Китайскую Народную Республику.

Одним из самых важных вкладов Вана был Ванга плитка.[3] Он показал, что любой Машина Тьюринга можно превратить в набор плиток Ванга. Первый отмеченный пример апериодическая мозаика представляет собой набор плиток Ванга, о существовании которых Ван когда-то догадывался, обнаруженный его учеником Роберт Бергер в 1966 году. Сам по себе философ,[4] Ван также разработал проницательную интерпретацию Людвиг Витгенштейнболее поздняя философия математики, которую он назвал «антропологизмом». Он записал Курт Гёдельфилософские идеи и автор нескольких книг на эту тему,[5] тем самым давая современным ученым много идей, проливающих свет на более позднюю философскую мысль Гёделя.

В 1983 году ему была вручена первая Milestone Prize за Автоматическое доказательство теорем, спонсируемый Международная совместная конференция по искусственному интеллекту.[6]

Книги

  • Les Systèmes Axiomatiques de la Théorie des Ensembles, Готье-Виллар; Париж, 1953. [Ван 1953а, с Робертом Макнотоном].[7]
  • Обзор математической логики. Пекин: Science Press; Амстердам: Северная Голландия, 1962. [Wang 1962a].
  • От математики к философии. Лондон: Рутледж и Кеган Пол, 1974. [Ван, 1974a].
  • Популярные лекции по математической логике. Нью-Йорк: Ван Ностранд, 1981. [Ван, 1981a]. ISBN 0-486-67632-3.
  • За пределами аналитической философии: справедливое отношение к тому, что мы знаем. Кембридж, Массачусетс: MIT Press, 1985. [Wang 1985a]. ISBN 0-262-23124-7.
  • Размышления о Курте Гёделе. Кембридж, Массачусетс: MIT Press, 1987. [Wang 1987a]. ISBN 0-262-73087-1.
  • Вычисление, логика, философия. Сборник сочинений. Пекин: Science Press; Дордрехт: Kluwer Academic, 1990. [Wang 1990a]. ISBN 7-03000211-3.
  • Логическое путешествие: от Гёделя к философии. Кембридж, Массачусетс: MIT Press, 1996. [Wang 1996a]. ISBN 0-262-23189-1.[8]

Рекомендации

  1. ^ Ван, Хао (1960), «К механической математике», Журнал исследований и разработок IBM, 4 (1): 2–22, Дои:10.1147 / ряд 41.0002 [Ван 1960а].
  2. ^ http://lewis.seas.harvard.edu/biocv
  3. ^ [Ван 1960а].
  4. ^ [Ван 1974 и 1985a]
  5. ^ [Wang 1996a, 1987a и 1974a].
  6. ^ Лавленд, Дональд У .; Бледсо, В. У. (1984). Автоматическое доказательство теорем: через 25 лет. Провиденс, Род-Айленд: Американское математическое общество. п. 47. ISBN 0-8218-5027-X.
  7. ^ Халмос, Пол Р. (1954). "Рассмотрение: Les systèmes axiomatiques de la théorie des ensembles par Hao Wang et Robert McNaughton " (PDF). Бык. Амер. Математика. Soc. 60 (1): 93–94. Дои:10.1090 / s0002-9904-1954-09769-0.
  8. ^ Родригес-Консуэгра, Франсиско. «Философия в беседах Хао Вана с Гёделем: обзор Хао Вана, логическое путешествие. От Гёделя к философии». Современная логика 8, вып. 3–4 (2001): 137–152.

внешняя ссылка

Подробная библиография