Hilary Putnam - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2016

On Davis's "Pragmatic Platonism"Hilary Putnam. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 337-347, Springer, 2016. [doi]

2006

After GödelHilary Putnam. igpl, 14(5):745-754, 2006. [doi]

2000

Nonstandard Models and Kripke s Proof of the Gödel TheoremHilary Putnam. ndjfl, 41(1):53-58, 2000.

1982

Comment on J. A. Fodor's "Cognitive science and the twin-Earth problem"Hilary Putnam. ndjfl, 23(3):294-295, 1982. [doi]

1980

Models and RealityHilary Putnam. JSYML, 45(3):464-482, 1980.

1976

Meeting of the Association for Symbolic Logic Washington, D.C., 1975James C. Owings, Hilary Putnam, Gerald E. Sacks. JSYML, 41(1):279-288, 1976.

1974

Systems of Notations and the Ramified Analytical HierarchyJoan D. Lukas, Hilary Putnam. JSYML, 39(2):243-253, 1974.

1970

A Note on the Hyperarithmetical HierarchyHerbert B. Enderton, Hilary Putnam. JSYML, 35(3):429-430, 1970.

1968

Degrees of Unsolvability of Constructible Sets of IntegersGeorge Boolos, Hilary Putnam. JSYML, 33(4):497-513, 1968.

1967

The Craig interpolation lemmaBurton Dreben, Hilary Putnam. ndjfl, 8(3):229-233, 1967. [doi]

1965

On the Notational Independence of Various Hierarchies of Degrees of UnsolvabilityGustav Hensel, Hilary Putnam. JSYML, 30(1):69-86, 1965.

Trial and Error Predicates and the Solution to a Problem of MostowskiHilary Putnam. JSYML, 30(1):49-57, 1965.

1963

A note on constructible sets of integersHilary Putnam. ndjfl, 4(4):270-273, 1963. [doi]

1960

A Computing Procedure for Quantification TheoryMartin Davis, Hilary Putnam. JACM, 7(3):201-215, 1960. [doi]

An Unsolvable Problem in Number TheoryHilary Putnam. JSYML, 25(3):220-232, 1960.

1958

Reductions of Hilbert s Tenth ProblemMartin Davis, Hilary Putnam. JSYML, 23(2):183-187, 1958.

1957

Eine Unableitbarkeitsbeweismethode für den Intuitionistischen AussagenkalkülGeorg Kreisel, Hilary Putnam. AML, 3(3-4):74-78, 1957. [doi]

Decidability and Essential UndecidabilityHilary Putnam. JSYML, 22(1):39-54, 1957.

Sign in or sign up to see more results.

runs on WebDSL