Hilary W. Putnam

From MaRDI portal
Person:698541

Available identifiers

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

List of research outcomes





PublicationDate of PublicationType
On Davis’s “Pragmatic Platonism”2020-08-06Paper
The Gödel theorem and human nature2013-10-29Paper
After Godel2007-02-15Paper
A Philosopher Looks at Quantum Mechanics (Again)2006-04-28Paper
Nonstandard models and Kripke's proof of the Gödel theorem2002-09-19Paper
Paradox revisited. I: Truth2002-06-06Paper
Paradox revisited. II: Sets -- a case of all or none?2002-06-06Paper
Peirce the logician1982-01-01Paper
Models and reality1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38613201979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39445711979-01-01Paper
Quantum Logic, Conditional Probability, and Interference1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40934071976-01-01Paper
What is mathematical truth?1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40686621975-01-01Paper
How to think quantum-logically1974-01-01Paper
Systems of notations and the ramified analytical hierarchy1974-01-01Paper
Solution to a problem of Gandy's1974-01-01Paper
Recursive Functions and Hierarchies1973-01-01Paper
A note on the hyperarithmetical hierarchy1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56425481971-01-01Paper
A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy1969-01-01Paper
Normal models and the field $Σ*_1$1969-01-01Paper
Degrees of unsolvability of constructible sets of integers1968-01-01Paper
The Craig interpolation lemma1967-01-01Paper
Trial and error predicates and the solution to a problem of Mostowski1965-01-01Paper
Recursively enumerable classes and their application to recursive sequences of formal theories1965-01-01Paper
On the notational independence of various hierarchies of degrees of unsolvability1965-01-01Paper
On Minimal and Almost-Minimal Systems of Notations1965-01-01Paper
On families of sets represented in theories1964-01-01Paper
On Hierarchies and Systems of Notations1964-01-01Paper
Diophantine sets over polynomial rings1963-01-01Paper
A note on constructible sets of integers1963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55253211962-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55191321962-01-01Paper
The decision problem for exponential diophantine equations1961-01-01Paper
A Computing Procedure for Quantification Theory1960-01-01Paper
Exact Separation of Recursively Enumerable Sets Within Theories1960-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55592411960-01-01Paper
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül1957-01-01Paper
Decidability and essential undecidability1957-01-01Paper

Research outcomes over time

This page was built for person: Hilary W. Putnam