Hilary W. Putnam

Available identifiers

zbMath Open putnam.hilary-wDBLP73/805FactGridQ538847WikidataQ221697 ScholiaQ221697MaRDI QIDQ698541

List of research outcomes

Publication	Date of Publication	Type
On Davis’s “Pragmatic Platonism”	2020-08-06	Paper
The Gödel theorem and human nature	2013-10-29	Paper
After Godel	2007-02-15	Paper
A Philosopher Looks at Quantum Mechanics (Again)	2006-04-28	Paper
Nonstandard models and Kripke's proof of the Gödel theorem	2002-09-19	Paper
Paradox revisited. I: Truth	2002-06-06	Paper
Paradox revisited. II: Sets -- a case of all or none?	2002-06-06	Paper
Peirce the logician	1982-01-01	Paper
Models and reality	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3861320	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944571	1979-01-01	Paper
Quantum Logic, Conditional Probability, and Interference	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4093407	1976-01-01	Paper
What is mathematical truth?	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068662	1975-01-01	Paper
How to think quantum-logically	1974-01-01	Paper
Systems of notations and the ramified analytical hierarchy	1974-01-01	Paper
Solution to a problem of Gandy's	1974-01-01	Paper
Recursive Functions and Hierarchies	1973-01-01	Paper
A note on the hyperarithmetical hierarchy	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5642548	1971-01-01	Paper
A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy	1969-01-01	Paper
Normal models and the field $Σ*_1$	1969-01-01	Paper
Degrees of unsolvability of constructible sets of integers	1968-01-01	Paper
The Craig interpolation lemma	1967-01-01	Paper
Trial and error predicates and the solution to a problem of Mostowski	1965-01-01	Paper
Recursively enumerable classes and their application to recursive sequences of formal theories	1965-01-01	Paper
On the notational independence of various hierarchies of degrees of unsolvability	1965-01-01	Paper
On Minimal and Almost-Minimal Systems of Notations	1965-01-01	Paper
On families of sets represented in theories	1964-01-01	Paper
On Hierarchies and Systems of Notations	1964-01-01	Paper
Diophantine sets over polynomial rings	1963-01-01	Paper
A note on constructible sets of integers	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5525321	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5519132	1962-01-01	Paper
The decision problem for exponential diophantine equations	1961-01-01	Paper
A Computing Procedure for Quantification Theory	1960-01-01	Paper
Exact Separation of Recursively Enumerable Sets Within Theories	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5559241	1960-01-01	Paper
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül	1957-01-01	Paper
Decidability and essential undecidability	1957-01-01	Paper

Research outcomes over time

This page was built for person: Hilary W. Putnam