Hostname: page-component-54dcc4c588-trf7k Total loading time: 0 Render date: 2025-10-03T04:30:37.449Z Has data issue: false hasContentIssue false
  • English
  • Français

In Memoriam: Hao Wang 1921–1995

Published online by Cambridge University Press:  15 January 2014

Charles Parsons
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Information

Type
Obituary
Information
Bulletin of Symbolic Logic , Volume 2 , Issue 1 , March 1996 , pp. 108 - 111
Copyright
Copyright © Association for Symbolic Logic 1996

References

CITED WRITINGS

Wang, Hao [1950] A formal system of logic, Journal of Symbolic Logic, vol. 15, pp. 25–32.CrossRefGoogle Scholar
Wang, Hao [1954] The formalization of mathematics, Journal of Symbolic Logic, vol. 19, pp. 241–266.Google Scholar
Wang, Hao [1960] Toward mechanical mathematics, IBM Journal of Research and Development, vol. 4, pp. 2–22.Google Scholar
Wang, Hao [1961] Process and existence in mathematics, Essays on the foundations of mathematics, dedicated to Fraenkel, A. A., Magnes Press, The Hebrew University of Jerusalem, pp. 328–351.Google Scholar
Wang, Hao [1961a] Proving theorems by pattern recognition, II, Bell System Technical Journal, vol. 40, pp. 1–41.Google Scholar
Wang, Hao [1962] Entscheidungsproblem reduced to the AEA case, with Kahr, A. S. and Moore, E. F., Proceedings of the National Academy of Sciences, USA, vol. 48, pp. 365–377.Google Scholar
Wang, Hao [1962a] A survey of mathematical logic, Science Press, Peking, also North-Holland, Amsterdam, 1963.Google Scholar
Wang, Hao [1963] Dominoes and the AEA case of the decision problem, Proceedings of the Symposium on Mathematical Theory of Automata, Polytechnic Institute of Brooklyn, 1962, Polytechnic Institute, Brooklyn, pp. 23–55.Google Scholar
Wang, Hao [1970] A survey of Skolem's work in logic, Skolem, Th., Selected Works in Logic (Fenstad, J. E., editor), Universitetsforlaget, Oslo, pp. 17–52.Google Scholar
Wang, Hao [1974] From mathematics to philosophy, Routledge and Kegan Paul, London.Google Scholar
Wang, Hao [1975] Notes on a class of tiling problems, Fundamenta Mathematicae, vol. 82, pp. 295–305.CrossRefGoogle Scholar
Wang, Hao [1981] Popular lectures on mathematical logic, Science Press, Beijing, in Chinese, also Van Nostrand Reinhold, New York, in English.Google Scholar
Wang, Hao [1985] Beyond analytic philosophy: Doing justice to what we know, MIT Press, Cambridge, Massachusetts.Google Scholar
Wang, Hao [1987] Reflections on Kurt Gödel, MIT Press, Cambridge, Massachusetts.Google Scholar
Wang, Hao [199?] A logical journey: From Gödel to philosophy, MIT Press, Cambridge, Massachusetts, forthcoming.Google Scholar