Matches in DBpedia 2014 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. After obtaining 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, 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 the most important contributions of Wang was the invention of Wang tiles. 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. He also chronicled Kurt Gödel's philosophical ideas and authored several books on the subject.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_County.
- Hao_Wang_(academic) birthPlace Republic_of_China_(1912%E2%80%9349).
- 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 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) viafId "105916035".
- Hao_Wang_(academic) wikiPageExternalLink wang.html.
- Hao_Wang_(academic) wikiPageID "1056047".
- Hao_Wang_(academic) wikiPageRevisionID "604002984".
- 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 Qihe_County.
- Hao_Wang_(academic) birthPlace Republic_of_China_(1912–1949).
- Hao_Wang_(academic) birthPlace Shandong.
- Hao_Wang_(academic) c "王浩".
- Hao_Wang_(academic) dateOfBirth "1921-05-20".
- Hao_Wang_(academic) dateOfDeath "1995-05-13".
- Hao_Wang_(academic) deathDate "1995-05-13".
- Hao_Wang_(academic) deathPlace New_York.
- Hao_Wang_(academic) deathPlace New_York_City.
- Hao_Wang_(academic) deathPlace United_States.
- Hao_Wang_(academic) doctoralAdvisor Willard_Van_Orman_Quine.
- Hao_Wang_(academic) doctoralStudents Joyce_Friedman.
- Hao_Wang_(academic) doctoralStudents Shimon_Even.
- Hao_Wang_(academic) doctoralStudents Stephen_Cook.
- Hao_Wang_(academic) field Computer_science.
- Hao_Wang_(academic) field Mathematics.
- Hao_Wang_(academic) field Philosophy.
- Hao_Wang_(academic) hasPhotoCollection Hao_Wang_(academic).
- Hao_Wang_(academic) knownFor Wang_tile.
- Hao_Wang_(academic) name "Hao Wang".
- Hao_Wang_(academic) name "Wang, Hao".
- Hao_Wang_(academic) p "Wáng Hào".
- Hao_Wang_(academic) placeOfBirth China.
- Hao_Wang_(academic) placeOfBirth Qihe_County.
- Hao_Wang_(academic) placeOfBirth Shandong.
- Hao_Wang_(academic) placeOfDeath United_States.
- Hao_Wang_(academic) shortDescription "Chinese mathematician".
- Hao_Wang_(academic) wordnet_type synset-scientist-noun-1.
- Hao_Wang_(academic) workInstitution Harvard_University.
- Hao_Wang_(academic) workInstitution Rockefeller_University.
- Hao_Wang_(academic) workInstitution University_of_Oxford.
- Hao_Wang_(academic) description "Chinese mathematician".
- Hao_Wang_(academic) description "Chinese mathematician".
- Hao_Wang_(academic) subject Category:1921_births.
- Hao_Wang_(academic) subject Category:1995_deaths.
- Hao_Wang_(academic) subject Category:20th-century_mathematicians.
- Hao_Wang_(academic) subject Category:American_logicians.
- Hao_Wang_(academic) subject Category:American_writers_of_Chinese_descent.
- Hao_Wang_(academic) subject Category:Chinese_emigrants_to_the_United_States.
- Hao_Wang_(academic) subject Category:Chinese_logicians.
- Hao_Wang_(academic) subject Category:Educators_from_Shandong.
- Hao_Wang_(academic) subject Category:Harvard_University_alumni.
- Hao_Wang_(academic) subject Category:Harvard_University_faculty.
- Hao_Wang_(academic) subject Category:People_from_Dezhou.
- Hao_Wang_(academic) subject Category:Philosophers_from_Shandong.
- Hao_Wang_(academic) subject Category:Philosophers_of_mathematics.
- Hao_Wang_(academic) subject Category:Scientists_from_Shandong.
- Hao_Wang_(academic) subject Category:Tsinghua_University_alumni.
- Hao_Wang_(academic) subject Category:Writers_from_Shandong.
- Hao_Wang_(academic) type 20th-centuryMathematicians.
- Hao_Wang_(academic) type Alumnus109786338.
- Hao_Wang_(academic) type AmericanLogicians.
- Hao_Wang_(academic) type AmericanMathematicians.
- Hao_Wang_(academic) type AmericanPhilosophers.
- Hao_Wang_(academic) type AmericanWritersOfChineseDescent.
- Hao_Wang_(academic) type CausalAgent100007347.
- Hao_Wang_(academic) type ChineseEmigrantsToTheUnitedStates.
- Hao_Wang_(academic) type ChineseLogicians.
- Hao_Wang_(academic) type ChineseMathematicians.
- Hao_Wang_(academic) type ChinesePhilosophers.
- Hao_Wang_(academic) type Citizen109923673.
- Hao_Wang_(academic) type Communicator109610660.
- Hao_Wang_(academic) type Emigrant110051975.
- Hao_Wang_(academic) type Expert109617867.
- Hao_Wang_(academic) type HarvardUniversityAlumni.
- Hao_Wang_(academic) type Intellectual109621545.
- Hao_Wang_(academic) type LivingThing100004258.
- Hao_Wang_(academic) type Logician110269785.
- Hao_Wang_(academic) type Mathematician110301261.