×

Wang, Hao (b. 1921 d. 1995)

Author ID: wang.hao Recent zbMATH articles by "Wang, Hao"
Published as: Wang, Hao; Wang, H.
Further Spellings: 王浩
External Links: MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 95 Publications since 1947, including 14 Books
3 Further Contributions
Biographic References: 13 Publications
Co-Authors: 17 Co-Authors with 18 Joint Publications
236 Co-Co-Authors
all top 5

Co-Authors

77 single-authored
5 Kreisel, Georg
3 Quine, Willard Van Orman
2 Brown, Kenneth R.
2 Davis, Martin David
2 Dunham, Bradford
2 Kahr, A. S.
2 McNaughton, Robert
2 Parsons, Charles D.
2 Putnam, Hilary Whitehall
2 Robinson, Abraham
1 Ayer, A. J.
1 Benacerraf, Paul
1 Bernays, Paul
1 Beth, Evert Willem
1 Boolos, George S.
1 Brouwer, Luitzen Egbertus Jan
1 Carnap, Rudolf
1 Carson, Daniel F.
1 Cauman, Leigh
1 Cook, Stephen Arthur
1 Curry, Haskell Brooks
1 Davydov, G. V.
1 Dreben, Burton
1 Dummett, Michael Anthony Eardley
1 Floyd, Juliet
1 Frege, Gottlob
1 Fridshal, R.
1 Gelernter, Herbert L.
1 Gilmore, Paul C.
1 Gödel, Kurt
1 Grossi, Marie
1 Hasenjaeger, Gisbert
1 He, Zhaowu
1 Hempel, Carl Gustav
1 Henkin, Leon Albert
1 Heyting, Arend
1 Hilbert, David
1 Jandovitz, Richard
1 Kanger, Stig
1 Köhler, Eckehart
1 Link, Montgomery
1 Logemann, George
1 Łoś, Jerzy
1 Loveland, Donald W.
1 Makkai, Katalin
1 Maslov, S. Yu.
1 Meltzer, Bernard
1 Mints, Grigoriĭ Efroimovich
1 Moore, Edward F.
1 Newell, Allen
1 North, J. H.
1 Orevkov, V. P.
1 Poincaré, Henri
1 Prawitz, Dag
1 Prawitz, Hakan
1 Rabin, Michael O.
1 Robinson, George A.
1 Robinson, John Alan
1 Rosser, John Barkley
1 Russell, Bertrand
1 Shanin, Nikolaĭ Aleksandrovich
1 Shaw, Jiin-Chang
1 Shimony, Abner
1 Shönfield, Joseph R.
1 Siekmann, Jörg H.
1 Simon, Herbert Alexander
1 Skolem, Thoralf
1 Slisenko, A. O.
1 Sward, G. L.
1 Voghera, N.
1 von Neumann, John
1 Wos, Lawrence Thomas
1 Wrightson, Graham
1 Yourgrau, Palle

Publications by Year

Citations contained in zbMATH Open

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

9 Wang, Hao
7 Ternullo, Claudio
6 Friedman, Sy-David
6 Jeandel, Emmanuel
6 Shapiro, Stewart
5 Feferman, Solomon
5 Lucas, Salvador
5 Patitz, Matthew J.
5 Sieg, Wilfried
5 Summers, Scott M.
5 Vanier, Pascal
4 Doty, David
4 Holmes, M. Randall
4 Kanamori, Akihiro
4 Parsons, Charles D.
4 Radin, Charles
4 Sanders, Sam
3 Chen, Ho-Lin
3 Cook, Stephen Arthur
3 Dawson, John W. jun.
3 Dean, Walter
3 Durand, Bruno
3 Grädel, Erich
3 Gutiérrez, Raúl
3 Horsten, Leon
3 Kreisel, Georg
3 Lethen, Tim
3 Lewis, Harry R.
3 Margenstern, Maurice
2 Antos, Carolin
2 Arias, Marta
2 Avron, Arnon
2 Balcázar, José Luis
2 Barbieri, Sebastián
2 Beauquier, Danièle
2 Bibel, Wolfgang
2 Bringsjord, Selmer
2 Brown, Frank Malloy
2 Crocco, Gabriella
2 Crosilla, Laura
2 De Mol, Liesbeth
2 Dershowitz, Nachum
2 Ebbinghaus, Heinz-Dieter
2 Enayat, Ali
2 Franchella, Miriam
2 Franks, Curtis
2 Gilmore, Paul C.
2 Goldfarb, Warren D.
2 Grandjean, Anaël
2 Honzik, Radek
2 Kanckos, Annika
2 Kovač, Srećko
2 Krajewski, Stanisław
2 Larson, Craig E.
2 Lathrop, James I.
2 Leivant, Daniel M.
2 Link, Montgomery
2 Lutz, Jack H.
2 Lyaletski, Alexander V.
2 McNaughton, Robert
2 Miller, Russell G.
2 Moutot, Etienne
2 Neary, Turlough
2 Nivat, Maurice
2 Orevkov, V. P.
2 Rémila, Eric
2 Rieck, Yo’av
2 Sablik, Mathieu
2 Siekmann, Jörg H.
2 Urquhart, Alasdair
2 van Atten, Mark
2 Van Cleemput, Nicolas
2 Visser, Albert
2 Welch, Philip D.
2 Wojtylak, Piotr
2 Woods, Damien
1 Aanderaa, Stål Olav
1 Adžić, Miloš
1 Alama, Jesse
1 Andréka, Hajnal
1 Anisimov, Anatoly V.
1 Antonutti Marfori, Marianna
1 Aoyama, Hiroshi
1 Arkoudas, Konstantine
1 Arrigoni, Tatiana
1 Asenjo, Florencio Gonzalez
1 Aso, Hiroshi
1 Aubrun, Nathalie
1 Baaz, Matthias
1 Bacchus, Fahiem
1 Bacquey, Nicolas
1 Bagaria, Joan
1 Barringer, Howard
1 Bartholdi, Laurent
1 Baryshnikov, Yuliy M.
1 Baumes, Jeffrey
1 Becher, Verónica
1 Beckert, Bernhard
1 Beierle, Christoph
1 Belsnes, Dag
...and 328 more Authors
all top 5

Cited in 92 Serials

35 The Journal of Symbolic Logic
26 Theoretical Computer Science
22 The Bulletin of Symbolic Logic
18 Synthese
15 Annals of Pure and Applied Logic
14 Artificial Intelligence
14 History and Philosophy of Logic
13 Studia Logica
10 Journal of Philosophical Logic
9 Journal of Computer and System Sciences
8 The Review of Symbolic Logic
7 Archiv für Mathematische Logik und Grundlagenforschung
6 Notre Dame Journal of Formal Logic
6 Transactions of the American Mathematical Society
6 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
3 International Journal of General Systems
3 Mathematische Annalen
3 Theory of Computing Systems
3 Natural Computing
3 ACM Transactions on Computational Logic
2 Acta Informatica
2 Computers & Mathematics with Applications
2 Compositio Mathematica
2 Computing
2 Geometriae Dedicata
2 Mathematische Zeitschrift
2 Ergodic Theory and Dynamical Systems
2 Historia Mathematica
2 Bulletin of the American Mathematical Society. New Series
2 Annals of Mathematics and Artificial Intelligence
2 Topoi
2 Logic and Logical Philosophy
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 Inventiones Mathematicae
1 Journal of the Association for Computing Machinery
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 Revista de la Unión Matemática Argentina
1 SIAM Journal on Computing
1 Siberian Mathematical Journal
1 Cybernetics
1 European Journal of Combinatorics
1 Advances in Applied Mathematics
1 Mathematical Social Sciences
1 Journal of Computer Science and Technology
1 Algorithmica
1 Discrete & Computational Geometry
1 Information and Computation
1 Mathematical and Computer Modelling
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 Journal of Mathematical Logic
1 Miscelánea Matemática
1 Journal of Applied Logic
1 Proceedings of the Japan Academy
1 Groups, Geometry, and Dynamics
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 Computability
1 Nonlinear Analysis. Theory, Methods & Applications
1 Perspectives on Science
1 Journal of Logical and Algebraic Methods in Programming
1 Advances in Combinatorics

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.