Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Hao_Wang_(academic)> ?p ?o }
- Hao_Wang_(academic) abstract "Hao Wang (Chinese: 王浩; pinyin: Wáng Hào; 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. He obtained 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, where his teachers included Feng Youlan and Jin Yuelin, after which 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 Whitehead and Russell's Principia Mathematica. In 1961, he was appointed Gordon Mckay 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 Wang's most important contributions was the Wang tile. 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. A philosopher in his own right, Wang also developed a penetrating interpretation of Ludwig Wittgenstein's later philosophy of mathematics, which he called "anthropologism." He chronicled Kurt Gödel's philosophical ideas and authored several books on the subject, thereby providing contemporary scholars an inestimable resource for Gödel's later philosophical thought.In 1983 he was presented with the first Milestone Prize for Automated Theorem-Proving, sponsored by the International Joint Conference on Artificial Intelligence.".
- Hao_Wang_(academic) almaMater Harvard_University.
- Hao_Wang_(academic) almaMater National_Southwestern_Associated_University.
- Hao_Wang_(academic) almaMater Tsinghua_University.
- Hao_Wang_(academic) birthDate "1921-05-20".
- Hao_Wang_(academic) birthPlace China.
- Hao_Wang_(academic) birthPlace Qihe.
- Hao_Wang_(academic) birthPlace Qihe_County.
- Hao_Wang_(academic) birthPlace Republic_of_China_(1912–49).
- Hao_Wang_(academic) birthPlace Shandong.
- Hao_Wang_(academic) birthYear "1921".
- Hao_Wang_(academic) deathDate "1995-05-13".
- Hao_Wang_(academic) deathPlace New_York.
- Hao_Wang_(academic) deathPlace New_York_City.
- Hao_Wang_(academic) deathPlace USA.
- Hao_Wang_(academic) deathPlace United_States.
- Hao_Wang_(academic) deathYear "1995".
- Hao_Wang_(academic) doctoralAdvisor Willard_Van_Orman_Quine.
- Hao_Wang_(academic) doctoralStudent Joyce_Friedman.
- Hao_Wang_(academic) doctoralStudent Shimon_Even.
- Hao_Wang_(academic) doctoralStudent Stephen_Cook.
- Hao_Wang_(academic) field Computer_science.
- Hao_Wang_(academic) field Mathematics.
- Hao_Wang_(academic) field Philosophy.
- Hao_Wang_(academic) knownFor Wang_tile.
- Hao_Wang_(academic) wikiPageExternalLink hang_bibliography.pdf.
- Hao_Wang_(academic) wikiPageExternalLink hao-wang-73-expander-of-logician-s-themes.html.
- Hao_Wang_(academic) wikiPageID "1056047".
- Hao_Wang_(academic) wikiPageLength "7164".
- Hao_Wang_(academic) wikiPageOutDegree "79".
- Hao_Wang_(academic) wikiPageRevisionID "682192570".
- Hao_Wang_(academic) wikiPageWikiLink Alfred_North_Whitehead.
- Hao_Wang_(academic) wikiPageWikiLink Aperiodic_tiling.
- Hao_Wang_(academic) wikiPageWikiLink Automated_theorem_proving.
- Hao_Wang_(academic) wikiPageWikiLink Bertrand_Russell.
- Hao_Wang_(academic) wikiPageWikiLink Category:1921_births.
- Hao_Wang_(academic) wikiPageWikiLink Category:1995_deaths.
- Hao_Wang_(academic) wikiPageWikiLink Category:20th-century_mathematicians.
- Hao_Wang_(academic) wikiPageWikiLink Category:American_logicians.
- Hao_Wang_(academic) wikiPageWikiLink Category:American_writers_of_Chinese_descent.
- Hao_Wang_(academic) wikiPageWikiLink Category:Chinese_emigrants_to_the_United_States.
- Hao_Wang_(academic) wikiPageWikiLink Category:Chinese_logicians.
- Hao_Wang_(academic) wikiPageWikiLink Category:Educators_from_Shandong.
- Hao_Wang_(academic) wikiPageWikiLink Category:Fellows_of_the_British_Academy.
- Hao_Wang_(academic) wikiPageWikiLink Category:Harvard_University_alumni.
- Hao_Wang_(academic) wikiPageWikiLink Category:Harvard_University_faculty.
- Hao_Wang_(academic) wikiPageWikiLink Category:People_from_Dezhou.
- Hao_Wang_(academic) wikiPageWikiLink Category:Philosophers_from_Shandong.
- Hao_Wang_(academic) wikiPageWikiLink Category:Philosophers_of_mathematics.
- Hao_Wang_(academic) wikiPageWikiLink Category:Scientists_from_Shandong.
- Hao_Wang_(academic) wikiPageWikiLink Category:Tsinghua_University_alumni.
- Hao_Wang_(academic) wikiPageWikiLink Category:Writers_from_Shandong.
- Hao_Wang_(academic) wikiPageWikiLink Chih-Kung_Jen.
- Hao_Wang_(academic) wikiPageWikiLink China.
- Hao_Wang_(academic) wikiPageWikiLink Chinese_American.
- Hao_Wang_(academic) wikiPageWikiLink Chinese_Americans.
- Hao_Wang_(academic) wikiPageWikiLink Computer_science.
- Hao_Wang_(academic) wikiPageWikiLink Feng_Youlan.
- Hao_Wang_(academic) wikiPageWikiLink Gordon_McKay.
- Hao_Wang_(academic) wikiPageWikiLink Gordon_Mckay.
- Hao_Wang_(academic) wikiPageWikiLink Harvard_University.
- Hao_Wang_(academic) wikiPageWikiLink IBM_704.
- Hao_Wang_(academic) wikiPageWikiLink International_Joint_Conference_on_Artificial_Intelligence.
- Hao_Wang_(academic) wikiPageWikiLink Jin_Yuelin.
- Hao_Wang_(academic) wikiPageWikiLink Jinan.
- Hao_Wang_(academic) wikiPageWikiLink Joyce_Friedman.
- Hao_Wang_(academic) wikiPageWikiLink Kurt_Gödel.
- Hao_Wang_(academic) wikiPageWikiLink Logic.
- Hao_Wang_(academic) wikiPageWikiLink Logician.
- Hao_Wang_(academic) wikiPageWikiLink Ludwig_Wittgenstein.
- Hao_Wang_(academic) wikiPageWikiLink Mathematical_logic.
- Hao_Wang_(academic) wikiPageWikiLink Mathematician.
- Hao_Wang_(academic) wikiPageWikiLink Mathematics.
- Hao_Wang_(academic) wikiPageWikiLink National_Southwestern_Associated_University.
- Hao_Wang_(academic) wikiPageWikiLink New_York.
- Hao_Wang_(academic) wikiPageWikiLink New_York_City.
- Hao_Wang_(academic) wikiPageWikiLink Oxford_University.
- Hao_Wang_(academic) wikiPageWikiLink Paul_Bernays.
- Hao_Wang_(academic) wikiPageWikiLink Peoples_Republic_of_China.
- Hao_Wang_(academic) wikiPageWikiLink Philosopher.
- Hao_Wang_(academic) wikiPageWikiLink Philosophy.
- Hao_Wang_(academic) wikiPageWikiLink Principia_Mathematica.
- Hao_Wang_(academic) wikiPageWikiLink Professor.
- Hao_Wang_(academic) wikiPageWikiLink Qihe.
- Hao_Wang_(academic) wikiPageWikiLink Qihe_County.
- Hao_Wang_(academic) wikiPageWikiLink Republic_of_China_(1912–1949).
- Hao_Wang_(academic) wikiPageWikiLink Republic_of_China_(1912–49).
- Hao_Wang_(academic) wikiPageWikiLink Robert_Berger_(mathematician).
- Hao_Wang_(academic) wikiPageWikiLink Rockefeller_University.
- Hao_Wang_(academic) wikiPageWikiLink Shandong.
- Hao_Wang_(academic) wikiPageWikiLink Shimon_Even.
- Hao_Wang_(academic) wikiPageWikiLink Stephen_Cook.
- Hao_Wang_(academic) wikiPageWikiLink Tsinghua_University.
- Hao_Wang_(academic) wikiPageWikiLink Turing_machine.
- Hao_Wang_(academic) wikiPageWikiLink USA.
- Hao_Wang_(academic) wikiPageWikiLink United_States.
- Hao_Wang_(academic) wikiPageWikiLink University_of_Oxford.
- Hao_Wang_(academic) wikiPageWikiLink Wang_(surname).
- Hao_Wang_(academic) wikiPageWikiLink Wang_B-machine.
- Hao_Wang_(academic) wikiPageWikiLink Wang_tile.