Hilary Putnam

Available identifiers

zbMath Open putnam.hilary-wWikidataQ221697 ScholiaQ221697MaRDI QIDQ698541

List of research outcomes

Publication	Date of Publication	Type
On Davis’s “Pragmatic Platonism”	2020-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q2856498	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
https://portal.mardi4nfdi.de/entity/Q2754650	2002-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q2754651	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
Normal models and the field $Σ*_1$	1969-01-01	Paper
A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy	1969-01-01	Paper
Degrees of unsolvability of constructible sets of integers	1968-01-01	Paper
The Craig interpolation lemma	1967-01-01	Paper
On the notational independence of various hierarchies of degrees of unsolvability	1965-01-01	Paper
Trial and error predicates and the solution to a problem of Mostowski	1965-01-01	Paper
On Minimal and Almost-Minimal Systems of Notations	1965-01-01	Paper
Recursively enumerable classes and their application to recursive sequences of formal theories	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/Q5519132	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5525321	1962-01-01	Paper
The decision problem for exponential diophantine equations	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5559241	1960-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
Decidability and essential undecidability	1957-01-01	Paper
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül	1957-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hilary Putnam