Abstract
It gives me a completely unexpected pleasure to be chosen as the first recipient of the milestone prize for ATP, sponsored by the International Joint Conference on Artificial Intelligence. (See appendix.) I have worked in a diversity of fields; I am correspondingly limited in my capacity to appreciate, or express my appreciation of, a large range of efforts in each of these fields; and I tend to shun positions of power. Undoubtedly to a considerable extent as a result of these innocent shortcomings, honors have a way of passing me by. I have indeed slowly grown used to this. Hence, the present reward has surprised me.
First published in Contemporary Mathematics, (1984), pp 49–70. Reproduced by permission of the American Mathematical Society.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Hao Wang. “A Variant to Turing’s Theory of Computing Machines,” Journal of the Association for Computing Machinery, vol. 4 (1957), pp.63–92; reprinted in reference 5 below.
Hao Wang. “Toward Mechanical Mathematics,” IBM Journal, vol. 4 (1960), pp.2–22; reprinted in reference 5 below.
Hao Wang. “Proving Theorems by Pattern Recognition,” Part I, Communications of the Association for Computing Machinery, vol. 3 (1960); pp. 220–234.
Hao Wang. “Proving Theorems by Pattern Recognition,” Part II, Bell System Technical Journal, vol. 40 (1961), pp. 1–41 These two parts also appeared as Bell Technical Monograph 3745.
Hao Wang. A Survey of Mathematical Logic, Science Press, Peking, 1962, 652 pp+x; also distributed by North-Holland Publishing Company, Amsterdam, 1963. Reprinted by Chelsea, New York, 1970 under the title Logic, computers and sets.
Hao Wang. “Mechanical Mathematics and Inferential Analysis,” Seminar on the Relationship Between Nonnumerical Programming and the Theory of Formal Systems, P. Braffort and D.’ Hirschberg (eds.) (1963), pp. 1–20.
Hao Wang. “The Mechanization of Mathematical Arguments,” Proceedings of Symposia in Applied Mathematics, vol.15, American Mathematical Society (1963), Experimental Arithmetic, High Speed Computing and Mathematics, pp. 31–40.
Hao Wang. “Formalization and Automatic Theorem Proving”, Proceedings of IFIP Congress 65, 1965, Washington, D.C., pp. 51–58. Russian translation in Problems of Cybernetics, vol. 7 (1970), pp. 180–193.
Hao Wang. “On the Long-range Prospects of Automatic Theorem-Proving,” Symposium on automatic demonstration, Springer-Verlag, 1970, pp. 101–111.
Hao Wang. From Mathematics to Philosophy, Routledge & Kegan Paul, 1974, 431 pp. + xiv.
Hao Wang. Popular Lectures on Mathematical Logic, Science Press, Beijing; Van Nostrand Reinhold Company, New York, 1981.
Hao Wang. (With S. A. Cook) “Characterizations of Ordinal Numbers in Set Theory,” Mathematische Annalen, vol. 164 (1966), pp. 1–25.
Hao Wang. (With K. R. Brown) “Finite Set Theory, Number Theory and Axioms of Limitation,” ibid., pp. 26–29.
Hao Wang. (With K. R. Brown) “Short Definitions of Ordinals,” Journal of Symbolic Logic, vol. 31 (1966), pp. 409–414.
Hao Wang. “On Axioms of Conditional Set Existence,” Zeitschr.f. Math. Logik und Grundlagen d. Math., vol. 13 (1967), pp. 183–188.
Hao Wang. “Natural Hulls and Set Existence,” ibid., pp. 175–182.
Hao Wang. “A Theorem on Definitions of the Zermelo-Neumann Ordinals,” ibid., pp. 241–250.
Wu Wen-tsün. “On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry,” Scientia Sinica, vol. 21 (1978), pp. 159–172.
Wu Wen-tsün. “Mechanical Theorem Proving in Elementary Differential Geometry,” Scientia Sinica, Mathematics Supplement, I (1979), pp. 94–102.
Wu Wen-tsün. “Mechanical Theorem Proving in Elementary Geometry and Differential Geometry,” Proc. 1980 Beijing DD-symposium, vol. 2 (1982), pp. 1073–1092.
A. M. Turing. “Computing Machinery and Intelligence,” Mind, Vol. 59 (1950), pp. 433–460.
Joseph Weizenbaum. Computer Power and Human Reason: From judgment to Calculation, W. H. Freeman and Co., 1976.
Hubert L. Dreyfus. What Computers Can’t Do: The Limits of Artificial Reason, revised edition, 1979 (original edition 1972).
Douglas R. Hofstadter. Gödel, Escher, Bach: An Eternal Golden Braid, 1979.
Judson C. Webb. Mechanism, Mentalism, and Metamathematics, 1980.
Donald Michie. Machine Intelligence and Related Topics: An Information Scientist’s Weekend Book, 1982.
Pamela McCorduck. Machines Who Think, 1979.
Marvin Minsky. The society theory of thinking,’ Artificial Intelligence: An MIT Perspective, Vol. 1, 1979, pp. 421–450.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Science Press, Beijing, China and Kluwer Academic Publishers, Dordrecht, Holland
About this chapter
Cite this chapter
Wang, H. (1990). Computer Theorem Proving and Artificial Intelligence. In: Computation, Logic, Philosophy. Mathematics and its Application (China Series), vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-2356-0_5
Download citation
DOI: https://doi.org/10.1007/978-94-009-2356-0_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-7561-9
Online ISBN: 978-94-009-2356-0
eBook Packages: Springer Book Archive