The following pages link to Hilary W. Putnam (Q698541):
Displaying 42 items.
- Nonstandard models and Kripke's proof of the Gödel theorem (Q698542) (← links)
- The decision problem for exponential diophantine equations (Q1131250) (← links)
- Diophantine sets over polynomial rings (Q1131510) (← links)
- Peirce the logician (Q1165227) (← links)
- What is mathematical truth? (Q1225041) (← links)
- How to think quantum-logically (Q1230620) (← links)
- (Q2538119) (redirect page) (← links)
- A note on constructible sets of integers (Q2538120) (← links)
- The Craig interpolation lemma (Q2541364) (← links)
- Paradox revisited. I: Truth (Q2754650) (← links)
- Paradox revisited. II: Sets -- a case of all or none? (Q2754651) (← links)
- The Gödel theorem and human nature (Q2856498) (← links)
- Decidability and essential undecidability (Q3245363) (← links)
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül (Q3246321) (← links)
- On Davis’s “Pragmatic Platonism” (Q3305327) (← links)
- After Godel (Q3424120) (← links)
- (Q3861320) (← links)
- Models and reality (Q3885736) (← links)
- (Q3944571) (← links)
- Systems of notations and the ramified analytical hierarchy (Q4047542) (← links)
- (Q4068662) (← links)
- Solution to a problem of Gandy's (Q4088802) (← links)
- (Q4093407) (← links)
- Quantum Logic, Conditional Probability, and Interference (Q4186282) (← links)
- A Philosopher Looks at Quantum Mechanics (Again) (Q5290429) (← links)
- On families of sets represented in theories (Q5331488) (← links)
- On the notational independence of various hierarchies of degrees of unsolvability (Q5509684) (← links)
- (Q5519132) (← links)
- (Q5525321) (← links)
- (Q5559241) (← links)
- Degrees of unsolvability of constructible sets of integers (Q5582332) (← links)
- Trial and error predicates and the solution to a problem of Mostowski (Q5588612) (← links)
- Normal models and the field $Σ*_1$ (Q5588613) (← links)
- A note on the hyperarithmetical hierarchy (Q5605217) (← links)
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy (Q5607224) (← links)
- A Computing Procedure for Quantification Theory (Q5613969) (← links)
- On Minimal and Almost-Minimal Systems of Notations (Q5622174) (← links)
- (Q5642548) (← links)
- On Hierarchies and Systems of Notations (Q5646888) (← links)
- Recursively enumerable classes and their application to recursive sequences of formal theories (Q5652663) (← links)
- Recursive Functions and Hierarchies (Q5684652) (← links)
- Exact Separation of Recursively Enumerable Sets Within Theories (Q5729296) (← links)
