the ordinary language of everyday discourse. His interpretations of Gödel are taken to be authoritative. In 1983 he was presented with the first Milestone Prize for Automated Theorem-Proving, sponsored by the International Joint Conference on Artificial Intelligence. Books Les Systèmes axiomatiques de la Théorie des Ensembles, Gauthier-Villars; Paris, 1953. [Wang 1953a, with Robert McNaughton]. 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]. . Dover reprint 2014. Beyond Analytic Philosophy: Doing Justice to What We Know. Cambridge, Massachusetts: MIT Press, 1985. [Wang 1985a]. . Reflections on Kurt Gödel. Cambridge, Massachusetts: MIT Press, 1987. [Wang 1987a]. . Computation, Logic, Philosophy. A Collection of Essays. Beijing: Science Press; Dordrecht: Kluwer Academic, 1990. [Wang 1990a]. . A Logical Journey: From Gödel to Philosophy. Cambridge, Massachusetts: MIT Press, 1996. [Wang 1996a]. . References External links Obituary from The New York Times. Video interview with Hao Wang and Robin Gandy (and portrait of Wang) Detailed bibliography "A Bibliography of Hao Wang" from Philosophia Mathematica. References in square brackets are to this source. 1921 births 1995 deaths 20th-century American mathematicians Philosophers of mathematics Chinese emigrants to the United States Chinese logicians American logicians Harvard Graduate School of Arts and Sciences alumni Harvard University faculty Tsinghua University alumni American writers of Chinese descent Writers from Dezhou Educators from Shandong Scientists from Shandong Philosophers from Shandong Corresponding Fellows of the British Academy National Southwestern Associated University alumni