Hao Wang (academic)

Hao Wang (academic)

Infobox_Scientist
name = Hao Wang


image_width =
caption =
birth_date = birth date|1921|5|20
birth_place = Jinan, Shandong, China
death_date = death date|1995|5|13
death_place = USA
residence =
citizenship =
nationality =
ethnicity =
field = Mathematics, Philosophy, Computer Science
work_institution = Harvard University
alma_mater = Harvard University
doctoral_advisor = Willard Quine
doctoral_students = Stephen Cook, Shimon Even, Joyce Friedman
known_for = Wang tiles
author_abbreviation_bot =
author_abbreviation_zoo =
prizes =
religion =
footnotes =

Wang Hao, also Hao Wang (zh-cp|c=王浩|p=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 went 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, and in 1961, he was appointed Gordon MacKay 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 Robert Berger in 1966. He also chronicled Kurt Gödel's philosophical ideas and authored several books on the subject.

Books

*"Beyond analytic philosophy: Doing justice to what we know"
*"From mathematics to philosophy"
*"A logical journey: From Godel to philosophy"
*"Reflections on Kurt Godel"

ee also

*Chinese mathematics
*Chinese philosophy

External links

* [http://www.umanitoba.ca/pm/wang.html Detailed bibliography of Hao Wang's writings] from Philosophia Mathematica
* [http://www.genealogy.ams.org/html/id.phtml?id=29869 Hao Wang] at the Mathematics Genealogy Project
*cite journal|last = Wang|first = Hao|title = Toward Mechanical Mathematics|journal = IBM Journal of Research and Development|volume = 4|issue = 1|date = Jan 1960|pages = 2–22|url = http://www.research.ibm.com/journal/rd/041/ibmrd0401B.pdf


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Wang Hao — may refer to:*Hao Wang (academic) (1921 1995), Chinese American logician, philosopher and mathematician *Wang Hao (table tennis) (b. 1983), Chinese table tennis player *Wang Hao (chess player) (b. 1989), Chinese chess grandmaster *Wang Hao… …   Wikipedia

  • Wang Chongyang — (11 January 1113 – 22 January 1170) [Chinese calendar: 宋徽宗政和二年十二月廿二 – 金世宗大定十年正月初四] (Traditional Chinese: 王重陽; Simplified Chinese: 王重阳; pinyin: Wáng Chóngyáng) was a Song Dynasty Taoist who was one of the founders of Quanzhen Taoism in the twelfth …   Wikipedia

  • Wang Anshi — or Wang An shih born 1021, Linchuan, Jiangsu province, China died 1086, Jiangning, Jiangsu Chinese poet and government reformer of the Song dynasty. His New Policies of 1069–76 sparked academic controversy that continued for centuries. He created …   Universalium

  • List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… …   Wikipedia

  • Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… …   Wikipedia

  • Мозаика Пенроуза — Мозаика Пенроуза. Мозаика Пенроуза, плитки Пенроуза  непериодическое разбиение плоскости, апериодические регулярные структуры, замоще …   Википедия

  • Post–Turing machine — The article Turing machine gives a general introduction to Turing machines, while this article covers a specific class of Turing machines. A Post–Turing machine is a program formulation of an especially simple type of Turing machine, comprising a …   Wikipedia

  • Gödel's ontological proof — is a formalization of Saint Anselm s ontological argument for God s existence by the mathematician Kurt Gödel.St. Anselm s ontological argument, in its most succinct form, is as follows: God, by definition, is that than which a greater cannot be… …   Wikipedia

  • Turing machine — For the test of artificial intelligence, see Turing test. For the instrumental rock band, see Turing Machine (band). Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine… …   Wikipedia

  • Willard Van Orman Quine — Unreferenced|date=August 2007 Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Willard Van Orman Quine name = Willard Van Orman Quine birth = birth date|mf=yes|1908|6|25 death = death… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”