Хао Ван (академический)
Хао Ван | |
|---|---|
 Хао в 1980 году | |
| Рожденный | 20 мая 1921 г. |
| Умер | 13 мая 1995 г. (73 года) Нью-Йорк, Нью-Йорк, США |
| Альма-матер | |
| Известный | Плитка Ванга Ван Б-машина |
| Научная карьера | |
| Поля |
|
| Учреждения | |
| Докторантура | Уиллард Ван Орман Куайн |
| Докторанты | |
Хао Ван ( китайский : 王浩 ; пиньинь : Ван Хао ; 20 мая 1921 — 13 мая 1995) — китайско-американский логик , философ, математик и комментатор Курта Гёделя .
Биография [ править ]
Ван родился в Цзинане , Шаньдун, в Китайской Республике (сегодня Китайская Народная Республика), начальное образование получил в Китае. Он получил степень бакалавра математики в Национальном юго-западном ассоциированном университете в 1943 году и степень магистра философии в Университете Цинхуа в 1945 году, где его учителями были Фэн Юлань и Цзинь Юэлинь , после чего он переехал в Соединенные Штаты для дальнейшего обучения в аспирантуре. Он изучал логику под руководством У. В. Куайна в Гарвардском университете , получив степень доктора философии. в 1948 году. В том же году он был назначен доцентом Гарварда.
В начале 1950-х годов Ван учился у Пола Бернейса в Цюрихе . В 1956 году он был назначен преподавателем философии математики в Оксфордском университете . В 1959 году Ван написал на компьютере IBM 704 программу, которая всего за 9 минут механически доказала несколько сотен математических логических теорем в Уайтхеда и Рассела « Principia Mathematica» . [1] В 1961 году он был назначен профессором Гордона Маккея математической логики и прикладной математики в Гарварде. [2] С 1967 по 1991 год он возглавлял исследовательскую группу по логике в Университете Рокфеллера в Нью-Йорке, где был профессором логики. В 1972 году Ван присоединился к группе китайских американских ученых во главе с Чи-Гун Дженем, став первой такой делегацией из США в Китайской Народной Республике.
Одним из наиболее важных вкладов Ванга была плитка Ванга . [3] Он показал, что любую машину Тьюринга можно превратить в набор плиток Ванга. Задача домино состоит в том, чтобы найти алгоритм, который использует набор плиток Ванга для замощения плоскости. Первым известным примером апериодического замощения является набор плиток Ванга, о несуществовании которых Ван когда-то предположил, обнаруженный его учеником Робертом Бергером в 1966 году. Ван также оказал значительное влияние на теорию сложности вычислений. [4]
Философ сам по себе, [5] Ван также разработал глубокую интерпретацию Людвига Витгенштейна позднейшей философии математики , которую он назвал «антропологизмом». Позже он расширил это прочтение, изучая основы математики. Он записал философские идеи Курта Гёделя и написал несколько книг на эту тему. [6] тем самым предоставив современным ученым множество идей, разъясняющих более позднюю философскую мысль Гёделя. Он рассматривал свою собственную философию «субстанциального фактуализма» как золотую середину, включающую как абстрактные теоретические формулировки, так и обычный язык повседневного дискурса.
В 1983 году ему была вручена первая премия Milestone Prize за автоматизированное доказательство теорем , спонсируемая Международной объединенной конференцией по искусственному интеллекту . [7]
13 мая 1995 года Ван умер в больнице Нью-Йорка через неделю после своего 74-летия. По словам его жены Ханны Тирни, причиной смерти Вана стала лимфома . [8] [9] Помимо Тирни, у Ванги остались дочь и два сына. [8]
Книги [ править ]
- Аксиоматические системы теории множеств , Готье-Виллар; Париж, 1953 год. [Wang 1953a, совместно с Робертом Макнотоном]. [10] [11] [12]
- Обзор математической логики . Пекин: Science Press; Амстердам: Северная Голландия, 1962. [Ванг 1962а].
- От математики к философии . Лондон: Рутледж и Кеган Пол, 1974. [Ванг 1974а].
- Популярные лекции по математической логике . Нью-Йорк: Ван Ностранд, 1981. [Ванг 1981а]. ISBN 0-486-67632-3 . Дуврское переиздание 2014 г. ISBN 9780486676326 [13]
- За пределами аналитической философии: справедливость в отношении того, что мы знаем . Кембридж, Массачусетс: MIT Press, 1985. [Wang 1985a]. ISBN 0-262-23124-7 .
- Размышления о Курте Гёделе . Кембридж, Массачусетс: MIT Press, 1987. [Wang 1987a]. ISBN 0-262-73087-1 .
- Вычисления, логика, философия. Сборник очерков . Пекин: Научная пресса; Дордрехт: Kluwer Academic, 1990. [Wang 1990a]. ISBN 7-03000211-3 .
- Логическое путешествие: от Гёделя к философии . Кембридж, Массачусетс: MIT Press, 1996. [Wang 1996a]. ISBN 0-262-23189-1 . [14]
Ссылки [ править ]
- ^ Ван, Хао (1960), «На пути к механической математике», IBM Journal of Research and Development , 4 (1): 2–22, doi : 10.1147/rd.41.0002 [Wang 1960a].
- ^ «Краткая биография | Гарри Р. Льюис» .
- ^ [Деньги 1960а].
- ^ 50 лет сложности вычислений: Хао Ван и теория вычислений, https://arxiv.org/abs/2206.05274
- ^ [Ван 1974 и 1985a]
- ^ [Ванг 1996a, 1987a и 1974a].
- ^ Лавленд, Дональд В.; Бледсо, WW (1984). Автоматизированное доказательство теорем: через 25 лет . Провиденс, Род-Айленд: Американское математическое общество. п. 47. ИСБН 0-8218-5027-Х .
- ↑ Перейти обратно: Перейти обратно: а б «Хао Ван, 73 года, расширитель тем логика» . Нью-Йорк Таймс . 17 мая 1995 г. ISSN 0362-4331 . Проверено 30 марта 2024 г.
- ^ Парсонс, Чарльз (март 1996 г.). «Памяти: Хао Ван, 1921–1995». Бюллетень символической логики . 2 (1). JSTOR 421050 — через JSTOR .
- ^ Халмос, Пол Р. (1954). «Обзор: Аксиоматические системы теории множеств Хао Ванга и Роберта Макнотона» (PDF) . Бык. Горький. Математика. Соц . 60 (1): 93–94. дои : 10.1090/s0002-9904-1954-09769-0 .
- ^ Аллендорфер, Карл Б. (1937). «Вложение римановых пространств в целом». Математический журнал Дьюка . 3 (2). дои : 10.1215/S0012-7094-37-00324-7 .
- ^ Боргерс, Альфонс (1954). «Рецензируемая работа: Аксиоматические системы теории множеств , Хао Ван, Роберт Макнотон, с предисловием П. Детуша-Феврие». Журнал символической логики . 19 (1): 64. дои : 10.2307/2267667 . JSTOR 2267667 . S2CID 123873097 .
- ^ Стенгер, Аллен (30 ноября 2015 г.). «Обзор популярных лекций по математической логике Хао Вана» . Обзоры MAA, Математическая ассоциация Америки .
- ^ Родригес-Консуэгра, Франциско. «Философия в беседах Хао Ванга с Гёделем: обзор Хао Ванга, логическое путешествие. От Гёделя к философии». Современная логика 8, вып. 3–4 (2001): 137–152.
Внешние ссылки [ править ]
- Хао Ван в проекте «Математическая генеалогия»
- Видеоинтервью с Хао Вангом и Робином Ганди (и портрет Ванга)
- Подробная библиография
- «Библиография Хао Вана» из Philosophia Mathematica. Ссылки в квадратных скобках даны на этот источник.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1921 рождений
- 1995 смертей
- Американские математики XX века
- Философы математики
- Китайские эмигранты в США
- Китайские логики
- Американские логики
- Выпускники Гарвардской высшей школы искусств и наук
- Факультет философского факультета Гарвардского университета
- Выпускники Университета Цинхуа
- Американские писатели китайского происхождения
- Писатели из Дэчжоу
- Преподаватели из Шаньдуна
- Ученые из Шаньдуна
- Философы из Шаньдуна
- Члены-корреспонденты Британской академии
- Выпускники Национального Юго-Западного ассоциированного университета