Hao Wang was a prominent logician and mathematician born on May 20, 1921 in China. He is best known for his work on an IBM704 computer that proved hundreds of Principia Mathematica logic theorems in nine minutes, a feat that was considered groundbreaking at the time.
Hao Wang is a member of Philosopher
Age, Biography and Wiki
💰 Net worth: $1.5 Million (2024)
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.