Hao Wang was born on May 20, 1921, in China. From a young age, he showed a great interest in mathematics and logic, which would shape his future career.
Wang pursued his passion for mathematics and obtained his degree in the subject at National Southwestern Associated University. This laid the foundation for his future work in logic and computation.
Wang was a prominent logician and mathematician known for his groundbreaking work in automated theorem proving. He made significant contributions to the field by working on an IBM704 computer that proved hundreds of Principia Mathematica logic theorems in just nine minutes.
One of Wang's most notable creations was the development of Wang tiles, which have applications in various areas of mathematics and computer science. His work on automated theorem proving earned him the very first Milestone Prize from the International Joint Conference on Artificial Intelligence in 1983.
Outside of his professional accomplishments, Wang led a fulfilling personal life. He married Han Tierney in 1952, and together they had three children and two grandchildren. His family provided him with love and support throughout his career.
Wang's legacy lives on through his pioneering work in logic and mathematics. His computer program not only proved many of the Principia Mathematica theorems originally proposed by Bertrand Russell and Alfred North Whitehead but also paved the way for advancements in automated reasoning and artificial intelligence.
Overall, Hao Wang's contributions to the fields of logic and mathematics have left an indelible mark on the scientific community. His innovative thinking and dedication to his work continue to inspire future generations of mathematicians and logicians around the world.