Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Чтобы узнать о других людях по имени Ван Хао, см. Ван Хао (значения) .
В этом китайском названии , то фамилия является Ван (王) .

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

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

Биография [ править ]

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

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

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

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

Книги [ править ]

  • «Аксиоматические системы теории ансамблей» , Готье-Виллар; Париж, 1953. [Ван, 1953a, с Робертом Макнотоном]. [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), "К Mechanical математики", IBM Журнал исследований и разработок , 4 (1): 2-22, DOI : 10,1147 / rd.41.0002 [Ван 1960а].
  2. ^ http://lewis.seas.harvard.edu/biocv
  3. ^ [Ван 1960a].
  4. ^ [Ван 1974 и 1985a]
  5. ^ [Wang 1996a, 1987a и 1974a].
  6. ^ Loveland, Дональд У .; Бледсо, WW (1984). Автоматическое доказательство теорем: через 25 лет . Провиденс, Род-Айленд: Американское математическое общество. п. 47. ISBN 0-8218-5027-X.
  7. ^ Халмос, Пол Р. (1954). "Обзор: аксиоматические системы теории ансамблей Хао Ван и Роберта МакНотона" (PDF) . Бык. Амер. Математика. Soc . 60 (1): 93–94. DOI : 10.1090 / s0002-9904-1954-09769-0 .
  8. ^ Родригес-Консуэгра, Франциско. «Философия в беседах Хао Вана с Гёделем: обзор Хао Ванга, логическое путешествие. От Гёделя к философии». Современная логика 8, вып. 3–4 (2001): 137–152.

Внешние ссылки [ править ]

  • Хао Ван на проекте « Математическая генеалогия»
  • Некролог из The New York Times.
  • Видеоинтервью с Хао Ван и Робином Ганди (и портрет Ванга)
Подробная библиография
  • «Библиография Хао Ванга» из « Философии математики». В квадратных скобках указаны ссылки на этот источник.