×

zbMATH — the first resource for mathematics

Wang, Hao

Compute Distance To:
Author ID: wang.hao Recent zbMATH articles by "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

Publications by Year

Citations contained in zbMATH

52 Publications have been cited 342 times in 299 Documents Cited by Year
From mathematics to philosophy. Zbl 0554.03002
Wang, Hao
46
1974
Toward mechanical mathematics. Zbl 0097.00404
Wang, Hao
35
1960
Entscheidungsproblem reduced to the (all)(exist)(all) case. Zbl 0102.00801
Kahr, A. S.; Moore, Edward F.; Wang, Hao
23
1962
Reflections on Kurt Gödel. Zbl 0628.01022
Wang, Hao
15
1987
Tag systems and lag systems. Zbl 0131.24602
Wang, Hao
15
1963
Logic of many-sorted theories. Zbl 0049.14802
Wang, Hao
15
1952
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Dominoes and the AEA case of the decision problem. Zbl 0137.01001
Wang, Hao
13
1963
Notes on a class of tiling problems. Zbl 0301.02043
Wang, Hao
12
1975
Some applications of formalized consistency proofs. Zbl 0067.25201
Kreisel, Georg; Wang, Hao
9
1955
Popular lectures on mathematical logic. Rev. repr. of the 1981 2nd ed. Zbl 0847.03001
Wang, Hao
8
1993
Towards feasible solutions of the tautology problem. Zbl 0349.02006
Dunham, Bradford; Wang, Hao
8
1976
The calculus of partial predicates and its extension to set theory. Zbl 0124.24604
Wang, Hao
8
1961
Proving theorems by pattern recognition. I. Zbl 0101.10504
Wang, Hao
8
1960
Arithmetic translations of axiom systems. Zbl 0043.00903
Wang, 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.03500
Wang, Hao
7
1996
Some facts about Kurt Gödel. Zbl 0461.01014
Wang, Hao
7
1981
The axiomatization of arithmetic. Zbl 0078.00503
Wang, Hao
7
1957
Eight years of foundational studies. Zbl 0090.00804
Wang, Hao
6
1958
The formalization of mathematics. Zbl 0056.24503
Wang, Hao
6
1954
Truth definitions and consistency proofs. Zbl 0047.01302
Wang, Hao
5
1952
On Zermelo’s and von Neumann’s axioms for set theory. Zbl 0031.38501
Wang, Hao
5
1949
Toward mechanical mathematics. Zbl 0106.00802
Wang, Hao
4
1960
Ordinal numbers and predicative set theory. Zbl 0090.00904
Wang, Hao
4
1959
A formal system of logic. Zbl 0039.24601
Wang, Hao
4
1950
Logic, computers, and sets. Zbl 0212.31101
Wang, Hao
3
1970
Formalization and automatic theorem-proving. Zbl 0209.03303
Wang, Hao
3
1965
Words in the history of a Turing machine with a fixed input. Zbl 0192.06702
Rabin, M. O.; Wang, Hao
3
1963
On formalization. Zbl 0067.24901
Wang, Hao
3
1955
Certain predicates defined by induction schemata. Zbl 0051.00504
Wang, Hao
3
1953
Remarks on the comparison of axiom systems. Zbl 0037.29601
Wang, Hao
3
1950
Non-standard models for formal logics. Zbl 0037.29502
Rosser, J. Barkey; Wang, Hao
3
1950
Computation, logic, philosophy. A collection of essays. Zbl 0899.01037
Wang, Hao
2
1990
A survey of mathematical logic. (Studies in Logic and the Foundations of Mathematics). Zbl 0106.23603
Wang, Hao
2
1963
Classification of AEA formulas by letter atoms. Zbl 0112.00504
Dreben, B.; Kahr, A. S.; Wang, Hao
2
1962
Alternative proof of a theorem of Kleene. Zbl 0148.00802
Wang, Hao
2
1959
Undecidable sentences generated by semantic paradoxes. Zbl 0064.24501
Wang, Hao
2
1955
Between number theory and set theory. Zbl 0051.24602
Wang, Hao
2
1953
Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001
Wang, Hao; McNaughton, Robert
2
1953
Arithmetic models for formal systems. Zbl 0045.29603
Wang, Hao
2
1951
A new theory of element and number. Zbl 0032.09902
Wang, Hao
2
1948
To and from philosophy-discussions with Gödel and Wittgenstein. Zbl 0749.00007
Wang, Hao
1
1991
Kurt Gödel’s intellectual development. [In memoriam Kurt Gödel (28 April 1906 – 14 January 1978)]. Zbl 0394.01015
Wang, Hao
1
1978
On the long-range prospects of automatic theorem-proving. Zbl 0216.24002
Wang, Hao
1
1970
Note on rules of inference. Zbl 0143.24901
Wang, Hao
1
1965
Logic and computers. Zbl 0123.33501
Wang, Hao
1
1965
On ordinals. Zbl 0137.01604
Quine, W. V.; Wang, H.
1
1964
Circuit synthesis by solving sequential Boolean equations. Zbl 0089.24704
Wang, Hao
1
1959
Universal Turing machines: An exercise in coding. Zbl 0090.01005
Wang, Hao
1
1957
Mathematical interpretation of formal systems. Zbl 0066.00902
Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy
1
1955
The irreducibility of impredicative principles. Zbl 0049.16503
Wang, Hao
1
1952
Negative types. Zbl 0049.14803
Wang, 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.03500
Wang, Hao
7
1996
Popular lectures on mathematical logic. Rev. repr. of the 1981 2nd ed. Zbl 0847.03001
Wang, Hao
8
1993
To and from philosophy-discussions with Gödel and Wittgenstein. Zbl 0749.00007
Wang, Hao
1
1991
Computation, logic, philosophy. A collection of essays. Zbl 0899.01037
Wang, Hao
2
1990
Reflections on Kurt Gödel. Zbl 0628.01022
Wang, Hao
15
1987
Some facts about Kurt Gödel. Zbl 0461.01014
Wang, Hao
7
1981
Kurt Gödel’s intellectual development. [In memoriam Kurt Gödel (28 April 1906 – 14 January 1978)]. Zbl 0394.01015
Wang, Hao
1
1978
Towards feasible solutions of the tautology problem. Zbl 0349.02006
Dunham, Bradford; Wang, Hao
8
1976
Notes on a class of tiling problems. Zbl 0301.02043
Wang, Hao
12
1975
From mathematics to philosophy. Zbl 0554.03002
Wang, Hao
46
1974
Logic, computers, and sets. Zbl 0212.31101
Wang, Hao
3
1970
On the long-range prospects of automatic theorem-proving. Zbl 0216.24002
Wang, Hao
1
1970
Formalization and automatic theorem-proving. Zbl 0209.03303
Wang, Hao
3
1965
Note on rules of inference. Zbl 0143.24901
Wang, Hao
1
1965
Logic and computers. Zbl 0123.33501
Wang, Hao
1
1965
On ordinals. Zbl 0137.01604
Quine, W. V.; Wang, H.
1
1964
Tag systems and lag systems. Zbl 0131.24602
Wang, Hao
15
1963
Dominoes and the AEA case of the decision problem. Zbl 0137.01001
Wang, Hao
13
1963
Words in the history of a Turing machine with a fixed input. Zbl 0192.06702
Rabin, M. O.; Wang, Hao
3
1963
A survey of mathematical logic. (Studies in Logic and the Foundations of Mathematics). Zbl 0106.23603
Wang, Hao
2
1963
Entscheidungsproblem reduced to the (all)(exist)(all) case. Zbl 0102.00801
Kahr, A. S.; Moore, Edward F.; Wang, Hao
23
1962
Classification of AEA formulas by letter atoms. Zbl 0112.00504
Dreben, B.; Kahr, A. S.; Wang, Hao
2
1962
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
The calculus of partial predicates and its extension to set theory. Zbl 0124.24604
Wang, Hao
8
1961
Toward mechanical mathematics. Zbl 0097.00404
Wang, Hao
35
1960
Proving theorems by pattern recognition. I. Zbl 0101.10504
Wang, Hao
8
1960
Toward mechanical mathematics. Zbl 0106.00802
Wang, Hao
4
1960
Ordinal numbers and predicative set theory. Zbl 0090.00904
Wang, Hao
4
1959
Alternative proof of a theorem of Kleene. Zbl 0148.00802
Wang, Hao
2
1959
Circuit synthesis by solving sequential Boolean equations. Zbl 0089.24704
Wang, Hao
1
1959
Eight years of foundational studies. Zbl 0090.00804
Wang, Hao
6
1958
The axiomatization of arithmetic. Zbl 0078.00503
Wang, Hao
7
1957
Universal Turing machines: An exercise in coding. Zbl 0090.01005
Wang, Hao
1
1957
Some applications of formalized consistency proofs. Zbl 0067.25201
Kreisel, Georg; Wang, Hao
9
1955
On formalization. Zbl 0067.24901
Wang, Hao
3
1955
Undecidable sentences generated by semantic paradoxes. Zbl 0064.24501
Wang, Hao
2
1955
Mathematical interpretation of formal systems. Zbl 0066.00902
Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy
1
1955
The formalization of mathematics. Zbl 0056.24503
Wang, Hao
6
1954
Certain predicates defined by induction schemata. Zbl 0051.00504
Wang, Hao
3
1953
Between number theory and set theory. Zbl 0051.24602
Wang, Hao
2
1953
Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001
Wang, Hao; McNaughton, Robert
2
1953
Logic of many-sorted theories. Zbl 0049.14802
Wang, Hao
15
1952
Truth definitions and consistency proofs. Zbl 0047.01302
Wang, Hao
5
1952
The irreducibility of impredicative principles. Zbl 0049.16503
Wang, Hao
1
1952
Negative types. Zbl 0049.14803
Wang, Hao
1
1952
Arithmetic translations of axiom systems. Zbl 0043.00903
Wang, Hao
8
1951
Arithmetic models for formal systems. Zbl 0045.29603
Wang, Hao
2
1951
A formal system of logic. Zbl 0039.24601
Wang, Hao
4
1950
Remarks on the comparison of axiom systems. Zbl 0037.29601
Wang, Hao
3
1950
Non-standard models for formal logics. Zbl 0037.29502
Rosser, J. Barkey; Wang, Hao
3
1950
On Zermelo’s and von Neumann’s axioms for set theory. Zbl 0031.38501
Wang, Hao
5
1949
A new theory of element and number. Zbl 0032.09902
Wang, Hao
2
1948
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

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.