Search - List of Books by Hao Wang

Wang Hao, also Hao Wang (; 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. In 1959, Wang wrote on an IBM704 computer a program that in only 9 minutes mechanically proved several hundred mathematical logic theorems in Russell and Whitehead's Principia Mathematica. 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.

In 1983 he was presented with the first Milestone Prize for Automated Theorem-Proving, sponsored by the International Joint Conference on Artificial Intelligence .

Books   more �

This author page uses material from the Wikipedia article "Hao Wang", which is released under the Creative Commons Attribution-Share-Alike License 3.0
Total Books: 15
A Logical Journey From Gdel to Philosophy
Popular Lectures on Mathematical Logic
1993 - Popular Lectures on Mathematical Logic (Paperback)Hardcover
ISBN-13: 9780486676326
ISBN-10: 0486676323
Genres: Science & Math, Engineering & Transportation
  ?

Reflections on Kurt Gdel
1990 - Reflections on Kurt Gdel (Paperback)Hardcover
ISBN-13: 9780262730877
ISBN-10: 0262730871
Genres: Biographies & Memoirs, Nonfiction
  ?

Beyond Analytic Philosophy Doing Justice to What We Know
1988 - Beyond Analytic Philosophy Doing Justice to What We Know [Bradford Books] (Paperback)
ISBN-13: 9780262730808
ISBN-10: 0262730804
Genre: Nonfiction
  ?

Reflections on Kurt Gdel
1987 - Reflections on Kurt Gdel [Bradford Books] (Hardcover)Paperback
ISBN-13: 9780262231275
ISBN-10: 0262231271
Genres: Biographies & Memoirs, Nonfiction
  ?

Beyond Analytic Philosophy Doing Justice to What We Know
1985 - Beyond Analytic Philosophy Doing Justice to What We Know (Hardcover)
ISBN-13: 9780262231244
ISBN-10: 0262231247
  ?

Dalla matematica alla filosofia
1984 - Dalla Matematica Alla Filosofia (Paperback)
ISBN-13: 9788833953847
ISBN-10: 883395384X
  ?

From mathematics to philosophy
From Mathematics to Philosophy [International library of philosophy and scientific method] (Other)Hardcover
ISBN-13: 9780391003354
ISBN-10: 0391003356
  ?

Popular Lectures on Mathematical Logic
Popular Lectures on Mathematical Logic (Hardcover)Paperback
ISBN-13: 9780442231095
ISBN-10: 0442231091
  ?

From Mathematics to Philosophy [International library of philosophy and scientific method] (Hardcover)
Computation logic philosophy A collection of essays  China series
Computation Logic Philosophy a Collection of Essays China Series [Mathematics and its applications] (Hardcover)Hardcover
ISBN-13: 9787030002112
ISBN-10: 7030002113
Genre: Science & Math
  ?

Qing Song Ting Qie Zhi Yi Ge Lao Bing XIn Mu Zhong Di Chen Yi Yuan Shuai [Zhonghua jiang shuai shu xi - Mandarin Chinese Edition] (Other)