We stand with Ukraine  

Hilary Putnam

According to our database1, Hilary Putnam authored at least 18 papers between 1957 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
On Davis's "Pragmatic Platonism".
[BibTeX]
[DOI]
Hilary Putnam
Proceedings of the Martin Davis on Computability, 2016

2006
After Gödel.
[BibTeX]
[DOI]
Hilary Putnam
Log. J. IGPL, 2006

2000
Nonstandard Models and Kripke's Proof of the Gödel Theorem.
[BibTeX]
[DOI]
Hilary Putnam
Notre Dame J. Formal Log., 2000

1982
Comment on J. A. Fodor's "Cognitive science and the twin-Earth problem".
[BibTeX]
[DOI]
Hilary Putnam
Notre Dame J. Formal Log., 1982

1980
Models and Reality.
[BibTeX]
[DOI]
Hilary Putnam
J. Symb. Log., 1980

1976
Meeting of the Association for Symbolic Logic Washington, D.C., 1975.
[BibTeX]
[DOI]
James C. Owings
,
Hilary Putnam
,
Gerald E. Sacks
J. Symb. Log., 1976

1974
Systems of Notations and the Ramified Analytical Hierarchy.
[BibTeX]
[DOI]
Joan D. Lukas
,
Hilary Putnam
J. Symb. Log., 1974

1970
A Note on the Hyperarithmetical Hierarchy.
[BibTeX]
[DOI]
Herbert B. Enderton
,
Hilary Putnam
J. Symb. Log., 1970

1968
Degrees of Unsolvability of Constructible Sets of Integers.
[BibTeX]
[DOI]
George Boolos
,
Hilary Putnam
J. Symb. Log., 1968

1967
The Craig interpolation lemma.
[BibTeX]
[DOI]
Burton Dreben
,
Hilary Putnam
Notre Dame J. Formal Log., 1967

1965
Trial and Error Predicates and the Solution to a Problem of Mostowski.
[BibTeX]
[DOI]
Hilary Putnam
J. Symb. Log., 1965

On the Notational Independence of Various Hierarchies of Degrees of Unsolvability.
[BibTeX]
[DOI]
Gustav Hensel
,
Hilary Putnam
J. Symb. Log., 1965

1963
A note on constructible sets of integers.
[BibTeX]
[DOI]
Hilary Putnam
Notre Dame J. Formal Log., 1963

1960
An Unsolvable Problem in Number Theory.
[BibTeX]
[DOI]
Hilary Putnam
J. Symb. Log., 1960

A Computing Procedure for Quantification Theory.
[BibTeX]
[DOI]
Martin Davis
,
Hilary Putnam
J. ACM, 1960

1958
Reductions of Hilbert's Tenth Problem.
[BibTeX]
[DOI]
Martin Davis
,
Hilary Putnam
J. Symb. Log., 1958

1957
Decidability and Essential Undecidability.
[BibTeX]
[DOI]
Hilary Putnam
J. Symb. Log., 1957

Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.
[BibTeX]
[DOI]
Georg Kreisel
,
Hilary Putnam
Arch. Math. Log., 1957


  Loading...