Hao Wang

Mathematician, Academic

1921 – 1995

58

Who was Hao Wang?

Hao Wang was a Chinese American logician, philosopher and mathematician.

Born in Jinan, Shandong, in the Republic of China, Wang received his early education in China. After obtaining a B.Sc. degree in mathematics from the National Southwestern Associated University in 1943 and an M.A. in Philosophy from Tsinghua University in 1945, he moved to the United States for further graduate studies. He studied logic 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 Zurich. In 1956, he was appointed Reader in the Philosophy of Mathematics at Oxford University. In 1959, Wang wrote on an IBM704 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.

We need you!

Help us build the largest biographies collection on the web!

Born
May 20, 1921
Qihe County
Ethnicity
  • Chinese American
Nationality
  • United States of America
  • China
Profession
Education
  • Harvard University
  • Tsinghua University
  • National Southwestern Associated University
Employment
  • Harvard University
Died
May 13, 1995
New York City

Submitted
on July 23, 2013

Citation

Use the citation below to add to a bibliography:

Style:MLAChicagoAPA

"Hao Wang." Biographies.net. STANDS4 LLC, 2024. Web. 21 Jul 2024. <https://www.biographies.net/people/en/wang_hao>.

Discuss this Hao Wang biography with the community:

0 Comments

    Our awesome collection of

    Promoted Bios

    »

    Browse Biographies.net