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