We stand with Ukraine  

Hao Wang

Affiliations:
  • Rockefeller University, New York City, NY, USA
  • Harvard University, Cambridge, MA, USA
  • Oxford University, UK


According to our database1, Hao Wang authored at least 23 papers between 1947 and 2009.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2009
Thoralf Albert Skolem.
[BibTeX]
[DOI]
Jens Erik Fenstad
,
Hao Wang
Proceedings of the Logic from Russell to Church, 2009

1995
Time in philosophy and in physics: From Kant and Einstein to Gödel.
[BibTeX]
[DOI]
Hao Wang
Synth., 1995

1981
Some Facts About Kurt Godel.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1981

1966
Short Definitions of the Ordinals.
[BibTeX]
[DOI]
Kenneth R. Brown
,
Hao Wang
J. Symb. Log., 1966

1963
Words in the History of a Turing Machine with a Fixed Input.
[BibTeX]
[DOI]
Michael O. Rabin
,
Hao Wang
J. ACM, 1963

1960
Toward Mechanical Mathematics.
[BibTeX]
[DOI]
Hao Wang
IBM J. Res. Dev., 1960

Proving Theorems by Pattern Recognition I.
[BibTeX]
[DOI]
Hao Wang
Commun. ACM, 1960

1958
Alternative Proof of a Theorem of Kleene.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1958

1957
The Axiomatization of Arithmetic.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1957

A Variant to Turing's Theory of Computing Machines.
[BibTeX]
[DOI]
Hao Wang
J. ACM, 1957

The Logic of Automata - Part II.
[BibTeX]
[DOI]
Arthur W. Burks
,
Hao Wang
J. ACM, 1957

The Logic of Automata - Part I.
[BibTeX]
[DOI]
Arthur W. Burks
,
Hao Wang
J. ACM, 1957

1955
Undecidable Sentences Generated by Semantic Paradoxes.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1955

1954
The Formalization of Mathematics.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1954

1953
Problems.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1953

Certain Predicates Defined by Induction Schemata.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1953

1952
Logic of Many-Sorted Theories.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1952

1950
Set-Theoretical Basis for Real Numbers.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1950

Existence of Classes and Value Specification of Variables.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1950

A Formal System of Logic.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1950

Non-Standard Models for Formal Logics.
[BibTeX]
[DOI]
J. Barkley Rosser
,
Hao Wang
J. Symb. Log., 1950

1948
A New Theory of Element and Number.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1948

1947
A Note on Quine's Principles of Quantification.
[BibTeX]
[DOI]
Hao Wang
J. Symb. Log., 1947


  Loading...