Edit Profile Wang, Hao Compute Distance To: Compute Author ID: wang.hao Published as: Wang, H.; Wang, Hao External Links: MGP · Wikidata · dblp · GND Documents Indexed: 100 Publications since 1947, including 14 Books Biographic References: 13 Publications all top 5 Co-Authors 79 single-authored 4 Kreisel, Georg 2 Brown, Kenneth R. 2 Kahr, A. S. 2 McNaughton, Robert 2 Quine, Willard Van Orman 1 Cook, Stephen Arthur 1 Dreben, Burton 1 Dunham, Bradford 1 Hasenjaeger, Gisbert 1 Henkin, Leon Albert 1 Łoś, Jerzy 1 Moore, Edward F. 1 Rabin, Michael O. 1 Robinson, Abraham 1 Rosser, John Barkley 1 Shönfield, Joseph R. 1 Skolem, Thoralf Albert all top 5 Serials 14 The Journal of Symbolic Logic 8 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 5 Mathematische Annalen 4 Proceedings of the National Academy of Sciences of the United States of America 3 Fundamenta Mathematicae 3 Bulletin of the American Mathematical Society 2 American Mathematical Monthly 2 Kiberneticheskiĭ Sbornik. Novaya Seriya 2 Synthese 2 Transactions of the American Mathematical Society 2 Mind. New Series 1 Archiv für Mathematische Logik und Grundlagenforschung 1 The Mathematical Intelligencer 1 Annals of Mathematical Logic 1 Dialectica 1 Journal of the Association for Computing Machinery 1 Mathematische Zeitschrift 1 Communications of the ACM 1 L’Enseignement Mathématique. 2e Série 1 IBM Journal of Research and Development 1 Pure and Applied Mathematics 1 Nordic Journal of Philosophical Logic Fields 28 Mathematical logic and foundations (03-XX) 15 History and biography (01-XX) 13 General and overarching topics; collections (00-XX) 11 Computer science (68-XX) 2 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 52 Publications have been cited 342 times in 299 Documents Cited by ▼ Year ▼ From mathematics to philosophy. Zbl 0554.03002Wang, Hao 46 1974 Toward mechanical mathematics. Zbl 0097.00404Wang, Hao 35 1960 Entscheidungsproblem reduced to the (all)(exist)(all) case. Zbl 0102.00801Kahr, A. S.; Moore, Edward F.; Wang, Hao 23 1962 Reflections on Kurt Gödel. Zbl 0628.01022Wang, Hao 15 1987 Tag systems and lag systems. Zbl 0131.24602Wang, Hao 15 1963 Logic of many-sorted theories. Zbl 0049.14802Wang, Hao 15 1952 Number theoretic concepts and recursive well-orderings. Zbl 0129.00402Kreisel, Georg; Shoenfield, J.; Wang, H. 14 1961 Dominoes and the AEA case of the decision problem. Zbl 0137.01001Wang, Hao 13 1963 Notes on a class of tiling problems. Zbl 0301.02043Wang, Hao 12 1975 Some applications of formalized consistency proofs. Zbl 0067.25201Kreisel, Georg; Wang, Hao 9 1955 Popular lectures on mathematical logic. Rev. repr. of the 1981 2nd ed. Zbl 0847.03001Wang, Hao 8 1993 Towards feasible solutions of the tautology problem. Zbl 0349.02006Dunham, Bradford; Wang, Hao 8 1976 The calculus of partial predicates and its extension to set theory. Zbl 0124.24604Wang, Hao 8 1961 Proving theorems by pattern recognition. I. Zbl 0101.10504Wang, Hao 8 1960 Arithmetic translations of axiom systems. Zbl 0043.00903Wang, Hao 8 1951 A logical journey. From Gödel to philosophy. Final editing and with an addition to the preface by Palle Yourgrau and Leigh Cauman. Zbl 0978.03500Wang, Hao 7 1996 Some facts about Kurt Gödel. Zbl 0461.01014Wang, Hao 7 1981 The axiomatization of arithmetic. Zbl 0078.00503Wang, Hao 7 1957 Eight years of foundational studies. Zbl 0090.00804Wang, Hao 6 1958 The formalization of mathematics. Zbl 0056.24503Wang, Hao 6 1954 Truth definitions and consistency proofs. Zbl 0047.01302Wang, Hao 5 1952 On Zermelo’s and von Neumann’s axioms for set theory. Zbl 0031.38501Wang, Hao 5 1949 Toward mechanical mathematics. Zbl 0106.00802Wang, Hao 4 1960 Ordinal numbers and predicative set theory. Zbl 0090.00904Wang, Hao 4 1959 A formal system of logic. Zbl 0039.24601Wang, Hao 4 1950 Logic, computers, and sets. Zbl 0212.31101Wang, Hao 3 1970 Formalization and automatic theorem-proving. Zbl 0209.03303Wang, Hao 3 1965 Words in the history of a Turing machine with a fixed input. Zbl 0192.06702Rabin, M. O.; Wang, Hao 3 1963 On formalization. Zbl 0067.24901Wang, Hao 3 1955 Certain predicates defined by induction schemata. Zbl 0051.00504Wang, Hao 3 1953 Remarks on the comparison of axiom systems. Zbl 0037.29601Wang, Hao 3 1950 Non-standard models for formal logics. Zbl 0037.29502Rosser, J. Barkey; Wang, Hao 3 1950 Computation, logic, philosophy. A collection of essays. Zbl 0899.01037Wang, Hao 2 1990 A survey of mathematical logic. (Studies in Logic and the Foundations of Mathematics). Zbl 0106.23603Wang, Hao 2 1963 Classification of AEA formulas by letter atoms. Zbl 0112.00504Dreben, B.; Kahr, A. S.; Wang, Hao 2 1962 Alternative proof of a theorem of Kleene. Zbl 0148.00802Wang, Hao 2 1959 Undecidable sentences generated by semantic paradoxes. Zbl 0064.24501Wang, Hao 2 1955 Between number theory and set theory. Zbl 0051.24602Wang, Hao 2 1953 Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001Wang, Hao; McNaughton, Robert 2 1953 Arithmetic models for formal systems. Zbl 0045.29603Wang, Hao 2 1951 A new theory of element and number. Zbl 0032.09902Wang, Hao 2 1948 To and from philosophy-discussions with Gödel and Wittgenstein. Zbl 0749.00007Wang, Hao 1 1991 Kurt Gödel’s intellectual development. [In memoriam Kurt Gödel (28 April 1906 – 14 January 1978)]. Zbl 0394.01015Wang, Hao 1 1978 On the long-range prospects of automatic theorem-proving. Zbl 0216.24002Wang, Hao 1 1970 Note on rules of inference. Zbl 0143.24901Wang, Hao 1 1965 Logic and computers. Zbl 0123.33501Wang, Hao 1 1965 On ordinals. Zbl 0137.01604Quine, W. V.; Wang, H. 1 1964 Circuit synthesis by solving sequential Boolean equations. Zbl 0089.24704Wang, Hao 1 1959 Universal Turing machines: An exercise in coding. Zbl 0090.01005Wang, Hao 1 1957 Mathematical interpretation of formal systems. Zbl 0066.00902Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy 1 1955 The irreducibility of impredicative principles. Zbl 0049.16503Wang, Hao 1 1952 Negative types. Zbl 0049.14803Wang, Hao 1 1952 A logical journey. From Gödel to philosophy. Final editing and with an addition to the preface by Palle Yourgrau and Leigh Cauman. Zbl 0978.03500Wang, Hao 7 1996 Popular lectures on mathematical logic. Rev. repr. of the 1981 2nd ed. Zbl 0847.03001Wang, Hao 8 1993 To and from philosophy-discussions with Gödel and Wittgenstein. Zbl 0749.00007Wang, Hao 1 1991 Computation, logic, philosophy. A collection of essays. Zbl 0899.01037Wang, Hao 2 1990 Reflections on Kurt Gödel. Zbl 0628.01022Wang, Hao 15 1987 Some facts about Kurt Gödel. Zbl 0461.01014Wang, Hao 7 1981 Kurt Gödel’s intellectual development. [In memoriam Kurt Gödel (28 April 1906 – 14 January 1978)]. Zbl 0394.01015Wang, Hao 1 1978 Towards feasible solutions of the tautology problem. Zbl 0349.02006Dunham, Bradford; Wang, Hao 8 1976 Notes on a class of tiling problems. Zbl 0301.02043Wang, Hao 12 1975 From mathematics to philosophy. Zbl 0554.03002Wang, Hao 46 1974 Logic, computers, and sets. Zbl 0212.31101Wang, Hao 3 1970 On the long-range prospects of automatic theorem-proving. Zbl 0216.24002Wang, Hao 1 1970 Formalization and automatic theorem-proving. Zbl 0209.03303Wang, Hao 3 1965 Note on rules of inference. Zbl 0143.24901Wang, Hao 1 1965 Logic and computers. Zbl 0123.33501Wang, Hao 1 1965 On ordinals. Zbl 0137.01604Quine, W. V.; Wang, H. 1 1964 Tag systems and lag systems. Zbl 0131.24602Wang, Hao 15 1963 Dominoes and the AEA case of the decision problem. Zbl 0137.01001Wang, Hao 13 1963 Words in the history of a Turing machine with a fixed input. Zbl 0192.06702Rabin, M. O.; Wang, Hao 3 1963 A survey of mathematical logic. (Studies in Logic and the Foundations of Mathematics). Zbl 0106.23603Wang, Hao 2 1963 Entscheidungsproblem reduced to the (all)(exist)(all) case. Zbl 0102.00801Kahr, A. S.; Moore, Edward F.; Wang, Hao 23 1962 Classification of AEA formulas by letter atoms. Zbl 0112.00504Dreben, B.; Kahr, A. S.; Wang, Hao 2 1962 Number theoretic concepts and recursive well-orderings. Zbl 0129.00402Kreisel, Georg; Shoenfield, J.; Wang, H. 14 1961 The calculus of partial predicates and its extension to set theory. Zbl 0124.24604Wang, Hao 8 1961 Toward mechanical mathematics. Zbl 0097.00404Wang, Hao 35 1960 Proving theorems by pattern recognition. I. Zbl 0101.10504Wang, Hao 8 1960 Toward mechanical mathematics. Zbl 0106.00802Wang, Hao 4 1960 Ordinal numbers and predicative set theory. Zbl 0090.00904Wang, Hao 4 1959 Alternative proof of a theorem of Kleene. Zbl 0148.00802Wang, Hao 2 1959 Circuit synthesis by solving sequential Boolean equations. Zbl 0089.24704Wang, Hao 1 1959 Eight years of foundational studies. Zbl 0090.00804Wang, Hao 6 1958 The axiomatization of arithmetic. Zbl 0078.00503Wang, Hao 7 1957 Universal Turing machines: An exercise in coding. Zbl 0090.01005Wang, Hao 1 1957 Some applications of formalized consistency proofs. Zbl 0067.25201Kreisel, Georg; Wang, Hao 9 1955 On formalization. Zbl 0067.24901Wang, Hao 3 1955 Undecidable sentences generated by semantic paradoxes. Zbl 0064.24501Wang, Hao 2 1955 Mathematical interpretation of formal systems. Zbl 0066.00902Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy 1 1955 The formalization of mathematics. Zbl 0056.24503Wang, Hao 6 1954 Certain predicates defined by induction schemata. Zbl 0051.00504Wang, Hao 3 1953 Between number theory and set theory. Zbl 0051.24602Wang, Hao 2 1953 Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001Wang, Hao; McNaughton, Robert 2 1953 Logic of many-sorted theories. Zbl 0049.14802Wang, Hao 15 1952 Truth definitions and consistency proofs. Zbl 0047.01302Wang, Hao 5 1952 The irreducibility of impredicative principles. Zbl 0049.16503Wang, Hao 1 1952 Negative types. Zbl 0049.14803Wang, Hao 1 1952 Arithmetic translations of axiom systems. Zbl 0043.00903Wang, Hao 8 1951 Arithmetic models for formal systems. Zbl 0045.29603Wang, Hao 2 1951 A formal system of logic. Zbl 0039.24601Wang, Hao 4 1950 Remarks on the comparison of axiom systems. Zbl 0037.29601Wang, Hao 3 1950 Non-standard models for formal logics. Zbl 0037.29502Rosser, J. Barkey; Wang, Hao 3 1950 On Zermelo’s and von Neumann’s axioms for set theory. Zbl 0031.38501Wang, Hao 5 1949 A new theory of element and number. Zbl 0032.09902Wang, Hao 2 1948 all cited Publications top 5 cited Publications all top 5 Cited by 351 Authors 9 Wang, Hao 5 Shapiro, Stewart 4 Feferman, Solomon 4 Jeandel, Emmanuel 4 Kanamori, Akihiro 4 Radin, Charles 3 Beauquier, Danièle 3 Dawson, John W. jun. 3 Dean, Walter 3 Friedman, Sy-David 3 Grädel, Erich 3 Holmes, M. Randall 3 Lewis, Harry R. 3 Lucas, Salvador 3 Nivat, Maurice 3 Parsons, Charles D. 3 Siekmann, Jörg H. 3 Summers, Scott M. 3 Ternullo, Claudio 3 Urquhart, Alasdair 2 Arias, Marta 2 Balcázar, José Luis 2 Barbieri, Sebastián 2 Bibel, Wolfgang 2 Bledsoe, Woodrow W. 2 Bringsjord, Selmer 2 Brown, Frank Malloy 2 De Mol, Liesbeth 2 Ebbinghaus, Heinz-Dieter 2 Enayat, Ali 2 Franks, Curtis 2 Gilmore, Paul C. 2 Goldfarb, Warren D. 2 Gutiérrez, Raúl 2 Horsten, Leon 2 Kreisel, Georg 2 Larson, Craig E. 2 Leivant, Daniel M. 2 Link, Montgomery 2 Margenstern, Maurice 2 McNaughton, Robert 2 Miller, Russell G. 2 Neary, Turlough 2 Orevkov, V. P. 2 Pastre, Dominique 2 Patitz, Matthew J. 2 Rémila, Eric 2 Sablik, Mathieu 2 Sieg, Wilfried 2 Van Cleemput, Nicolas 2 Vanier, Pascal 2 Visser, Albert 2 Wojtylak, Piotr 2 Woods, Damien 1 Aanderaa, Stål O. 1 Adžić, Miloš 1 Alama, Jesse 1 Andréka, Hajnal 1 Antonutti Marfori, Marianna 1 Antos, Carolin 1 Aoyama, Hiroshi 1 Arkoudas, Konstantine 1 Arnon, Dennis S. 1 Arrigoni, Tatiana 1 Aso, Hiroshi 1 Aubrun, Nathalie 1 Avron, Arnon 1 Baaz, Matthias 1 Bacchus, Fahiem 1 Bacquey, Nicolas 1 Barringer, Howard 1 Baryshnikov, Yuliy M. 1 Baumes, Jeffrey 1 Becher, Verónica 1 Beckert, Bernhard 1 Beierle, Christoph 1 Belsnes, Dag 1 Biere, Armin 1 Bokut, Leonid A. 1 Börger, Egon 1 Boyer, Robert S. 1 Brown, Frank Markham 1 Brown, Kenneth R. 1 Buldt, Bernd 1 Burkhard, Walter A. 1 Calude, Cristian S. 1 Chang, Cheng-Liang 1 Chang, Chunlan 1 Chapin, E. William jun. 1 Cheng, Junheng 1 Cherlin, Gregory L. 1 Chlebus, Bogdan Stanislaw 1 Chu, Heng 1 Cialdea Mayer, Marta 1 Clote, Peter G. 1 Cocchiarella, Nino B. 1 Coffman, Edward Grady jun. 1 Colbourn, Charles J. 1 Cook, Stephen Arthur 1 Crocco, Gabriella ...and 251 more Authors all top 5 Cited in 82 Serials 33 The Journal of Symbolic Logic 24 Theoretical Computer Science 18 Artificial Intelligence 15 Synthese 15 The Bulletin of Symbolic Logic 12 Studia Logica 11 Annals of Pure and Applied Logic 9 Journal of Philosophical Logic 9 History and Philosophy of Logic 8 Journal of Computer and System Sciences 7 Archiv für Mathematische Logik und Grundlagenforschung 6 Transactions of the American Mathematical Society 5 Notre Dame Journal of Formal Logic 5 Journal of Automated Reasoning 4 The Mathematical Intelligencer 4 Journal of Soviet Mathematics 4 Proceedings of the American Mathematical Society 4 Archive for Mathematical Logic 4 Bulletin of the American Mathematical Society 4 The Review of Symbolic Logic 3 International Journal of General Systems 3 Mathematische Annalen 3 Theory of Computing Systems 2 Acta Informatica 2 Computers & Mathematics with Applications 2 Compositio Mathematica 2 Computing 2 Geometriae Dedicata 2 Mathematische Zeitschrift 2 Historia Mathematica 2 Bulletin of the American Mathematical Society. New Series 2 Annals of Mathematics and Artificial Intelligence 2 Natural Computing 2 ACM Transactions on Computational Logic 2 Logica Universalis 1 Archive for History of Exact Sciences 1 International Journal of Systems Science 1 International Journal of Theoretical Physics 1 Information Processing Letters 1 Advances in Mathematics 1 Algebra and Logic 1 Algebra Universalis 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Applied Mathematics and Computation 1 Bulletin de la Société Mathématique de France 1 Czechoslovak Mathematical Journal 1 Information Sciences 1 Inventiones Mathematicae 1 Journal of Computational and Applied Mathematics 1 Journal of Mathematical Economics 1 Kybernetika 1 Mathematical Systems Theory 1 Nagoya Mathematical Journal 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Siberian Mathematical Journal 1 Cybernetics 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Ergodic Theory and Dynamical Systems 1 Mathematical Social Sciences 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 Discrete & Computational Geometry 1 Information and Computation 1 Formal Aspects of Computing 1 Machine Learning 1 Computational Geometry 1 Linear Algebra and its Applications 1 Acta Mathematica Sinica. New Series 1 Cybernetics and Systems Analysis 1 Journal of Logic, Language and Information 1 Journal of Mathematical Sciences (New York) 1 Mathematical Logic Quarterly (MLQ) 1 Topoi 1 Logic and Logical Philosophy 1 Journal of Applied Logic 1 Proceedings of the Japan Academy 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Science China. Information Sciences 1 Axiomathes 1 Perspectives on Science all top 5 Cited in 29 Fields 184 Mathematical logic and foundations (03-XX) 98 Computer science (68-XX) 32 History and biography (01-XX) 27 General and overarching topics; collections (00-XX) 17 Combinatorics (05-XX) 13 Convex and discrete geometry (52-XX) 8 Dynamical systems and ergodic theory (37-XX) 5 Category theory; homological algebra (18-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 2 Measure and integration (28-XX) 2 Operator theory (47-XX) 2 Geometry (51-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.