The Full Wiki

More info on Hao Wang (academic)

Hao Wang (academic): Wikis


Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.


From Wikipedia, the free encyclopedia

Hao Wang
Born May 20, 1921(1921-05-20)
Qihe, Shandong, China
Died May 13, 1995
Fields Mathematics, philosophy, computer science
Institutions Harvard University
Alma mater Harvard University
Doctoral advisor Willard Quine
Doctoral students Stephen Cook, Shimon Even, Joyce Friedman
Known for Wang tiles
This is a Chinese name; the family name is Wang (王).
This article contains Chinese text. Without proper rendering support, you may see question marks, boxes, or other symbols instead of Chinese characters.

Wang Hao, also Hao Wang (Chinese: 王浩pinyin: Wáng Hào; 20 May 1921 – 13 May 1995) was a Chinese American logician, philosopher and mathematician.

Born in Jinan, Shandong, in the Republic of China (today in the People's 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, and in 1961, he was appointed Gordon MacKay 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. 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.

One of the most important contributions of Wang was the invention of Wang tiles. He showed that any Turing machine can be turned into a set of Wang tiles. The first noted example of aperiodic tiling is a set of Wang tiles, whose nonexistence Wang had once conjectured, discovered by his student Robert Berger in 1966. He also chronicled Kurt Gödel's philosophical ideas and authored several books on the subject.


  • A Survey of Mathematical Logic, Science Press, Peking, 1962, (also North-Holland Publishing Company, Amsterdam).
  • From Mathematics to Philosophy, Routledge & Kegan Paul, London, 1974.
  • Beyond Analytic Philosophy: Doing Justice to what we know, MIT Press, Cambridge, Mass, 1987.
  • Reflections on Kurt Godel, MIT Press, Cambridge, Mass, 1990.
  • Computation, Logic, Philosophy. A Collection of Essays, Science Press, Beijing, 1990.
  • A Logical Journey: From Godel to Philosophy, MIT Press, Cambridge, Mass, 1996.

See also

External links

Got something to say? Make a comment.
Your name
Your email address