About Hao Wang (academic)
Hao Wang (Chinese: 王浩; pinyin: Wáng Hào; 20 May 1921 – 13 May 1995) was a Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel. == Biography == Born in Jinan, Shandong, in the Republic of China (today in the People's Republic of China), Wang received his early education in China. He obtained a B.S. degree in mathematics from the National Southwestern Associated University in 1943 and an M.A. in philosophy from Tsinghua University in 1945, where his teachers included Feng Youlan and Jin Yuelin, after which he moved to the United States for further graduate studies. He studied logic under W. V. O. Quine at Harvard University, culminating in a Ph.D. in 1948. He was appointed to an assistant professorship at Harvard the same year. During the early 1950s, Wang studied with Paul Bernays in Zürich. In 1956, he was appointed Reader in the Philosophy of Mathematics at the University of Oxford. In 1959, Wang wrote on an IBM 704 computer a program that in only 9 minutes mechanically proved several hundred mathematical logic theorems in Whitehead and Russell's Principia Mathematica. In 1961, he was appointed Gordon McKay Professor of Mathematical Logic and Applied Mathematics at Harvard. From 1967 until 1991, he headed the logic research group at Rockefeller University in New York City, where he was professor of logic.
Biography source: Wikipedia. The profile adds birthday-specific historical context from the Celebs Birthday Today editorial database.