Hao Wang (academic)

Hao Wang (Chinese: 王浩; pinyin: Wáng Hào; 20 May 1921 – 13 May 1995) was a logician, philosopher, mathematician, and commentator on Kurt Gödel.

This is a Chinese name; the family name is Wang (王).
Hao Wang
Born(1921-05-20)20 May 1921
Jinan, Shandong, China
Died(1995-05-13)13 May 1995
New York City, New York, United States
Alma mater
Known forWang tiles
Wang B-machine
Scientific career
Fields
Institutions
Doctoral advisorWillard Van Orman Quine
Doctoral students

Biography

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.[1] In 1961, he was appointed Gordon Mckay Professor of Mathematical Logic and Applied Mathematics at Harvard.[2] 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.[3] 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,[4] 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,[5] thereby providing contemporary scholars many insights elucidating 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.[6]

Books
  • Les Systèmes axiomatiques de la Théorie des Ensembles, Gauthier-Villars; Paris, 1953. [Wang 1953a, with Robert McNaughton].[7]
  • A Survey of Mathematical Logic. Peking: Science Press; Amsterdam: North-Holland, 1962. [Wang 1962a].
  • From Mathematics to Philosophy. London: Routledge & Kegan Paul, 1974. [Wang 1974a].
  • Popular Lectures on Mathematical Logic. New York: Van Nostrand, 1981. [Wang 1981a]. ISBN 0-486-67632-3.
  • Beyond Analytic Philosophy: Doing Justice to What We Know. Cambridge, Massachusetts: MIT Press, 1985. [Wang 1985a]. ISBN 0-262-23124-7.
  • Reflections on Kurt Gödel. Cambridge, Massachusetts: MIT Press, 1987. [Wang 1987a]. ISBN 0-262-73087-1.
  • Computation, Logic, Philosophy. A Collection of Essays. Beijing: Science Press; Dordrecht: Kluwer Academic, 1990. [Wang 1990a]. ISBN 7-03000211-3.
  • A Logical Journey: From Gödel to Philosophy. Cambridge, Massachusetts: MIT Press, 1996. [Wang 1996a]. ISBN 0-262-23189-1.[8]
gollark: I have seen many older people just dump all their files on their desktop too.
gollark: It isn't; mobile OSes abstract it a lot, cloud storage kind of lacks directories or makes them annoying, and basically everything has search now.
gollark: I think they thought it would be isolated to a container or something?
gollark: And lots of stuff will just resolve to an uninterpretable CDN/cloud™ domain nowadays.
gollark: They can nontrivially see it by looking at the SNI sent when opening the TLS connection.

References
  1. Wang, Hao (1960), "Toward Mechanical Mathematics", IBM Journal of Research and Development, 4 (1): 2–22, doi:10.1147/rd.41.0002 [Wang 1960a].
  2. http://lewis.seas.harvard.edu/biocv
  3. [Wang 1960a].
  4. [Wang 1974 and 1985a]
  5. [Wang 1996a, 1987a, and in 1974a].
  6. Loveland, Donald W.; Bledsoe, W. W. (1984). Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. p. 47. ISBN 0-8218-5027-X.
  7. Halmos, Paul R. (1954). "Review: Les systèmes axiomatiques de la théorie des ensembles par Hao Wang et Robert McNaughton" (PDF). Bull. Amer. Math. Soc. 60 (1): 93–94. doi:10.1090/s0002-9904-1954-09769-0.
  8. Rodríguez-Consuegra, Francisco. "Philosophy in Hao Wang's Conversations with Gödel: Review of Hao Wang, A Logical Journey. From Gödel to Philosophy." Modern Logic 8, no. 3–4 (2001): 137–152.
Detailed bibliography

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.