Хао Ван ( кит .王浩; пиньинь : Wáng Hào ; 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]