Hao Wang

About Hao Wang

Birth Day: May 20, 1921
Birth Place: China
Died On: May 13, 1995 (age 73)
Birth Sign: Taurus

Hao Wang Net Worth

Hao Wang was born on May 20, 1921 in China. Prominent logician and mathematician. He worked on an IBM704 computer that proved hundreds of Principia Mathematica logic theorems in nine minutes.
Hao Wang is a member of Philosopher

💰Hao Wang Net worth: 1.5 Million

Some Hao Wang images

About

Prominent logician and Mathematician. He worked on an IBM704 computer that proved hundreds of Principia Mathematica logic theorems in nine minutes.

Before Fame

He obtained his degree in mathematics at National Southwestern Associated University.

Trivia

He was the creator of Wang tiles. He was awarded the very first Milestone Prize for Automated Theorem-Proving from the International Joint Conference on Artificial Intelligence in 1983.

Family Life

He married Han Tierney in 1952 and they had three children and two grandchildren.

Associated With

His computer program proved many of the Principia Mathematica theorems first posited by Bertrand Russell and Alfred North Whitehead.