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.

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.

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 1972, Wang joined in a group of Chinese American scientists led by Chih-Kung Jen as the first such delegation from the U.S. to the People's Republic of China.

He saw his own philosophy of "substantial factualism" as a middle ground that includes both abstract theoretical formulations and the ordinary language of everyday discourse.