Hao Wang

Publication Activity (10 Years)

Years Active: 1947-1995
Publications (10 Years): 0

Publications

Hao Wang
Time in philosophy and in physics: From Kant and Einstein to Gödel. Synth. 102 (2) (1995)
Hao Wang
Some Facts About Kurt Godel. J. Symb. Log. 46 (3) (1981)
Kenneth R. Brown, Hao Wang
Short Definitions of the Ordinals. J. Symb. Log. 31 (3) (1966)
Michael O. Rabin, Hao Wang
Words in the History of a Turing Machine with a Fixed Input. J. ACM 10 (4) (1963)
Hao Wang
Proving Theorems by Pattern Recognition I. Commun. ACM 3 (4) (1960)
Hao Wang
Toward Mechanical Mathematics. IBM J. Res. Dev. 4 (1) (1960)
Hao Wang
Alternative Proof of a Theorem of Kleene. J. Symb. Log. 23 (3) (1958)
Arthur W. Burks, Hao Wang
The Logic of Automata - Part I. J. ACM 4 (2) (1957)
Hao Wang
The Axiomatization of Arithmetic. J. Symb. Log. 22 (2) (1957)
Arthur W. Burks, Hao Wang
The Logic of Automata - Part II. J. ACM 4 (3) (1957)
Hao Wang
A Variant to Turing's Theory of Computing Machines. J. ACM 4 (1) (1957)
Hao Wang
Undecidable Sentences Generated by Semantic Paradoxes. J. Symb. Log. 20 (1) (1955)
Hao Wang
The Formalization of Mathematics. J. Symb. Log. 19 (4) (1954)
Hao Wang
Problems. J. Symb. Log. 18 (2) (1953)
Hao Wang
Certain Predicates Defined by Induction Schemata. J. Symb. Log. 18 (1) (1953)
Hao Wang
Logic of Many-Sorted Theories. J. Symb. Log. 17 (2) (1952)
Hao Wang
A Formal System of Logic. J. Symb. Log. 15 (1) (1950)
Hao Wang
Set-Theoretical Basis for Real Numbers. J. Symb. Log. 15 (4) (1950)
Hao Wang
Existence of Classes and Value Specification of Variables. J. Symb. Log. 15 (2) (1950)
J. Barkley Rosser, Hao Wang
Non-Standard Models for Formal Logics. J. Symb. Log. 15 (2) (1950)
Hao Wang
A New Theory of Element and Number. J. Symb. Log. 13 (3) (1948)
Hao Wang
A Note on Quine's Principles of Quantification. J. Symb. Log. 12 (4) (1947)