A pioneering logician, philosopher, and mathematician who made significant contributions to the foundations of mathematics, particularly in the areas of proof theory and model theory.
Hao Wang, a prominent Chinese-American logician, philosopher, and mathematician, is renowned for his groundbreaking contributions to the realm of logic, theoretical computer science, and mathematical philosophy. His work revolutionized the field of computational complexity, and his invention of the Wang tile has had a lasting impact on the study of aperiodic tiling.
Wang was born on May 20, 1921, in Jinan, Shandong, Republic of China (now part of the People's Republic of China). He received his early education in China, earning a BSc degree in mathematics from the National Southwestern Associated University in 1943. He then pursued an M.A. in philosophy from Tsinghua University in 1945, under the guidance of esteemed scholars Feng Youlan and Jin Yuelin.
Wang's academic pursuits took him to the United States, where he studied logic under W.V. Quine at Harvard University. He earned his Ph.D. in 1948 and was appointed to an assistant professorship at Harvard University the same year. During the early 1950s, Wang studied with Paul Bernays in Zurich, further broadening his intellectual horizons.
In 1956, Wang was appointed Reader in the Philosophy of Mathematics at the University of Oxford, marking the beginning of a new chapter in his academic career. Three years later, in 1959, Wang wrote a pioneering program on an IBM 704 computer that mechanically proved several hundred mathematical logic theorems in Whitehead and Russell's Principia Mathematica in an astonishing 9 minutes.
One of Wang's most significant contributions is the invention of the Wang tile, which he introduced in the 1960s. He demonstrated that any Turing machine can be converted into a set of Wang tiles. The domino problem, which involves finding an algorithm to use Wang tiles to tile the plane, remains an open problem in computer science. Wang's work on computational complexity has had a profound impact on the field, influencing research in theoretical computer science for decades to come.
Wang's impressive academic credentials and remarkable contributions earned him several prestigious appointments and awards. He was appointed Gordon McKay Professor of Mathematical Logic and Applied Mathematics at Harvard University in 1961. From 1967 to 1991, he headed the logic research group at Rockefeller University in New York City, where he was professor of logic.
In 1972, Wang joined a delegation of Chinese-American scientists led by Chih-Kung Jen on a historic visit to the People's Republic of China, marking the first such delegation from the United States.
Hao Wang's pioneering work in logic, theoretical computer science, and mathematical philosophy has left an indelible mark on these fields. His inventions, such as the Wang tile, and his research on computational complexity have inspired generations of scholars and researchers. Wang's legacy continues to shape the direction of modern computer science, ensuring his place as one of the most influential mathematicians and logicians of the 20th century.
Through his remarkable career, Hao Wang exemplified the power of intellectual curiosity, innovative thinking, and dedication to advancing human knowledge. His work serves as a beacon, inspiring future generations to explore the intricacies of logic, mathematics, and computer science.
Born in 1906
A groundbreaking logician and philosopher who shook the foundations of mathematics with his incompleteness theorems, proving that no formal system can be both complete and consistent.
Born in 1872
A renowned thinker who made significant contributions to mathematics, philosophy, and social commentary, known for his influential writings on logic, ethics, and politics. He's a prominent figure in shaping modern intellectual thought.
Born in 1889
A philosopher who challenged traditional philosophy by emphasizing the importance of language and its limits, and is famous for his philosophical ideas on logic, reality, and the nature of meaning.
Born in 1912
Pioneering mathematician and computer scientist who cracked the German Enigma code during WWII and laid the foundations for modern computer science and artificial intelligence.
Born in 1903
Developed the lambda calculus and played a key role in the development of modern logic, making significant contributions to the foundations of mathematics.
Born in 1903
Pioneering mathematician and physicist who developed the concept of the modern computer architecture and made significant contributions to quantum mechanics and game theory. His work laid the foundation for modern computing and artificial intelligence.
Born in 1845
Developed set theory, introducing infinite sets and cardinal numbers, revolutionizing mathematics and philosophy.
