×

Putnam, Hilary Whitehall

Compute Distance To:
Author ID: putnam.hilary-w Recent zbMATH articles by "Putnam, Hilary Whitehall"
Published as: Putnam, Hilary; Putnam, H.; Putnam, Hilary W.
External Links: MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef
Documents Indexed: 41 Publications since 1957, including 3 Books
3 Contributions as Editor · 10 Further Contributions
Biographic References: 2 Publications
Co-Authors: 19 Co-Authors with 24 Joint Publications
382 Co-Co-Authors
all top 5

Co-Authors

23 single-authored
7 Davis, Martin David
3 Hensel, G.
3 Quine, Willard Van Orman
2 Baaz, Matthias
2 Boolos, George S.
2 Finkelstein, David Ritz
2 Gudder, Stanley P.
2 Harper, Charles L. jun.
2 Hooker, Clifford A.
2 Jauch, Josef Maria
2 Kreisel, Georg
2 Leeds, Stephen
2 Omodeo, Eugenio Giovanni
2 Papadimitriou, Christos Harilaos
2 Policriti, Alberto
2 Scott, Dana Stewart
2 von Neumann, John
2 Wang, Hao
1 Abernathy, Robert
1 Agassi, Joseph
1 Ayer, A. J.
1 Benacerraf, Paul
1 Bernays, Paul
1 Beth, Evert Willem
1 Birkhoff, Garrett
1 Boyd, Richard K.
1 Brouwer, Luitzen Egbertus Jan
1 Bub, Jeffrey
1 Capek, Milic
1 Carnap, Rudolf
1 Carson, Daniel F.
1 Catlin, Donald E.
1 Chao, Ren
1 Chomsky, Noam Avram
1 Cohen, I. Bernard
1 Cohen, Robert S.
1 Curry, Haskell Brooks
1 Davydov, G. V.
1 Dennett, Daniel C.
1 Dishkant, Herman
1 Dreben, Burton
1 Dummett, Michael Anthony Eardley
1 Dunham, Bradford
1 Enderton, Herbert B.
1 Feyerabend, Paul K.
1 Finch, Peter D.
1 Foulis, David James
1 Frege, Gottlob
1 Fridshal, R.
1 Friedman, Michael Lee
1 Fürth, Reinhold
1 Gelernter, Herbert L.
1 Gilmore, Paul C.
1 Gleason, Andrew Mattei
1 Gleason, H. A. jun.
1 Gödel, Kurt
1 Goodfield, June
1 Goodman, Nelson
1 Greechie, Richard J.
1 Grünbaum, Adolf
1 Grunstra, Bernard R.
1 Halle, Morris
1 Harary, Frank
1 Hardegree, Gary M.
1 Havas, Peter
1 Heelan, Patrick Aidan
1 Hempel, Carl Gustav
1 Herzberger, Hans G.
1 Heyting, Arend
1 Hilbert, David
1 Hiz, Henry
1 Hockett, Charles F.
1 Holland, Samuel Shaheen jun.
1 Jakobson, Roman
1 Kamber, A.
1 Kanger, Stig
1 Kochen, Simon
1 Kripke, Saul A.
1 Kronfli, N. S.
1 Lambek, Joachim
1 Logemann, George
1 Łoś, Jerzy
1 Loveland, Donald W.
1 Luckham, David C.
1 Lukas, Joan D.
1 Mandelbrot, Benoit B.
1 Markovic, Mihailo I.
1 Maslov, S. Yu.
1 Mayr, Ernst
1 Meltzer, Bernard
1 Mints, Grigoriĭ Efroimovich
1 Newell, Allen
1 North, J. H.
1 Oettinger, Anthony G.
1 Orevkov, V. P.
1 Petersen, Aage
1 Peterson, Gordon E.
1 Piron, Constantin
1 Poincaré, Henri
1 Pools, J. C. T.
...and 37 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 832 times in 762 Documents Cited by Year
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
346
1960
The decision problem for exponential diophantine equations. Zbl 0111.01003
Davis, Martin; Putnam, Hilary; Robinson, Julia
95
1961
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H.
78
1965
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
48
1983
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H.
41
1957
Models and reality. Zbl 0443.03003
Putnam, Hilary
30
1980
The logico-algebraic approach to quantum mechanics. Vol. I: Historical evolution. Zbl 0429.03045
26
1975
Degrees of unsolvability of constructible sets of integers. Zbl 0188.32701
Boolos, G.; Putnam, H.
21
1968
Mathematics, matter and method. Philosophical papers. Vol. 1. Zbl 0311.00035
Putnam, Hilary
15
1975
What is mathematical truth? Zbl 0325.02004
Putnam, Hilary
14
1975
Decidability and essential undecidability. Zbl 0078.24501
Putnam, Hilary
13
1957
Mathematics, matter and method. Philosophical papers, Vol. 1. 2nd ed. Zbl 0426.00022
Putnam, Hilary
10
1979
Peirce the logician. Zbl 0487.01012
Putnam, Hilary
8
1982
A note on the hyperarithmetical hierarchy. Zbl 0205.30803
Enderton, H. B.; Putnam, H.
7
1971
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
7
1965
A philosopher looks at quantum mechanics (again). Zbl 1098.81011
Putnam, Hilary
6
2005
Diophantine sets over polynomial rings. Zbl 0113.00604
Davis, M.; Putnam, H.
6
1963
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
5
1983
Quantum logic, conditional probability, and interference. Zbl 0402.03016
Friedman, Michael; Putnam, Hilary
5
1978
Nonstandard models and Kripke’s proof of the Gödel theorem. Zbl 1005.03054
Putnam, Hilary
4
2000
What theories are not. Zbl 0147.24702
Putnam, H.
4
1962
The logico-algebraic approach to quantum mechanics. Vol. II: Contemporary consolidation. Zbl 0429.03046
4
1979
A recursion-theoretic characterization of the ramified analytical hierarchy. Zbl 0207.01203
Boyd, Richard; Hensel, G.; Putnam, H.
4
1969
Meaning as functional classification. (A perspective on the relation of syntax to semantics.) With comments by Daniel Dennett, Hilary Putnam, Saul Kripke and W. V. Quine. Zbl 0308.02012
Sellars, Wilfrid
3
1974
Philosophical papers. Vol. 2: Mind, language and reality. Zbl 0485.01026
Putnam, Hilary
3
1979
Structure of language and its mathematical aspects. Zbl 0111.16102
3
1961
Exact separation of recursively enumerable sets within theories. Zbl 0118.25201
Putnam, H.; Smullyan, R. M.
3
1960
A note on constructible sets of integers. Zbl 0192.04303
Putnam, H.
3
1963
How to think quantum-logically. Zbl 0338.02003
Putnam, Hilary
3
1974
After Gödel. Zbl 1111.03002
Putnam, Hilary
2
2006
On the notational independence of various hierarchies of degrees of unsolvability. Zbl 0137.00903
Hensel, G.; Putnam, H.
2
1965
Normal models and the field \(\sum_ 1^ *\). Zbl 0193.30201
Hensel, G.; Putnam, H.
2
1969
An intrinsic characterization of the hierarchy of constructible sets of integers. Zbl 0234.02027
Leeds, Stephen; Putnam, Hilary
2
1971
On hierarchies and systems of notations. Zbl 0237.02011
Putnam, Hilary
2
1964
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
1
2011
On families of sets represented in theories. Zbl 0126.02101
Putnam, H.
1
1964
Paradox revisited. II: Sets – a case of all or none? Zbl 0986.03011
Putnam, Hilary
1
2000
Proceedings of the Boston colloquium for the philosophy of science 1966/1968. Zbl 0172.28503
1
1969
Recursive functions and hierarchies. Zbl 0268.02024
Putnam, Hilary
1
1973
Solution to a problem of Gandy’s. Zbl 0325.02028
Leeds, Stephen; Putnam, Hilary
1
1974
How to think quantum-logically. Zbl 0328.02003
Putnam, Hilary
1
1976
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
1
2011
After Gödel. Zbl 1111.03002
Putnam, Hilary
2
2006
A philosopher looks at quantum mechanics (again). Zbl 1098.81011
Putnam, Hilary
6
2005
Nonstandard models and Kripke’s proof of the Gödel theorem. Zbl 1005.03054
Putnam, Hilary
4
2000
Paradox revisited. II: Sets – a case of all or none? Zbl 0986.03011
Putnam, Hilary
1
2000
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
48
1983
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
5
1983
Peirce the logician. Zbl 0487.01012
Putnam, Hilary
8
1982
Models and reality. Zbl 0443.03003
Putnam, Hilary
30
1980
Mathematics, matter and method. Philosophical papers, Vol. 1. 2nd ed. Zbl 0426.00022
Putnam, Hilary
10
1979
The logico-algebraic approach to quantum mechanics. Vol. II: Contemporary consolidation. Zbl 0429.03046
4
1979
Philosophical papers. Vol. 2: Mind, language and reality. Zbl 0485.01026
Putnam, Hilary
3
1979
Quantum logic, conditional probability, and interference. Zbl 0402.03016
Friedman, Michael; Putnam, Hilary
5
1978
How to think quantum-logically. Zbl 0328.02003
Putnam, Hilary
1
1976
The logico-algebraic approach to quantum mechanics. Vol. I: Historical evolution. Zbl 0429.03045
26
1975
Mathematics, matter and method. Philosophical papers. Vol. 1. Zbl 0311.00035
Putnam, Hilary
15
1975
What is mathematical truth? Zbl 0325.02004
Putnam, Hilary
14
1975
Meaning as functional classification. (A perspective on the relation of syntax to semantics.) With comments by Daniel Dennett, Hilary Putnam, Saul Kripke and W. V. Quine. Zbl 0308.02012
Sellars, Wilfrid
3
1974
How to think quantum-logically. Zbl 0338.02003
Putnam, Hilary
3
1974
Solution to a problem of Gandy’s. Zbl 0325.02028
Leeds, Stephen; Putnam, Hilary
1
1974
Recursive functions and hierarchies. Zbl 0268.02024
Putnam, Hilary
1
1973
A note on the hyperarithmetical hierarchy. Zbl 0205.30803
Enderton, H. B.; Putnam, H.
7
1971
An intrinsic characterization of the hierarchy of constructible sets of integers. Zbl 0234.02027
Leeds, Stephen; Putnam, Hilary
2
1971
A recursion-theoretic characterization of the ramified analytical hierarchy. Zbl 0207.01203
Boyd, Richard; Hensel, G.; Putnam, H.
4
1969
Normal models and the field \(\sum_ 1^ *\). Zbl 0193.30201
Hensel, G.; Putnam, H.
2
1969
Proceedings of the Boston colloquium for the philosophy of science 1966/1968. Zbl 0172.28503
1
1969
Degrees of unsolvability of constructible sets of integers. Zbl 0188.32701
Boolos, G.; Putnam, H.
21
1968
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H.
78
1965
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
7
1965
On the notational independence of various hierarchies of degrees of unsolvability. Zbl 0137.00903
Hensel, G.; Putnam, H.
2
1965
On hierarchies and systems of notations. Zbl 0237.02011
Putnam, Hilary
2
1964
On families of sets represented in theories. Zbl 0126.02101
Putnam, H.
1
1964
Diophantine sets over polynomial rings. Zbl 0113.00604
Davis, M.; Putnam, H.
6
1963
A note on constructible sets of integers. Zbl 0192.04303
Putnam, H.
3
1963
What theories are not. Zbl 0147.24702
Putnam, H.
4
1962
The decision problem for exponential diophantine equations. Zbl 0111.01003
Davis, Martin; Putnam, Hilary; Robinson, Julia
95
1961
Structure of language and its mathematical aspects. Zbl 0111.16102
3
1961
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
346
1960
Exact separation of recursively enumerable sets within theories. Zbl 0118.25201
Putnam, H.; Smullyan, R. M.
3
1960
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H.
41
1957
Decidability and essential undecidability. Zbl 0078.24501
Putnam, Hilary
13
1957
all top 5

Cited by 1,015 Authors

12 Matiyasevich, Yuriĭ Vladimirovich
8 Plaisted, David Alan
6 Bonacina, Maria Paola
6 Eisenträger, Kirsten
6 Friedman, Sy-David
6 Marques-Silva, João P.
6 Schaub, Torsten H.
6 Szeider, Stefan
6 Van Gelder, Allen
5 Arslanov, Marat M.
5 Becker, Bernd
5 Beyersdorff, Olaf
5 Chen, Jian-er
5 Kelly, Kevin T.
5 Miglioli, Pierangelo
5 Miller, Russell G.
5 Putnam, Hilary Whitehall
5 Sorbi, Andrea
5 Ternullo, Claudio
4 Ábrahám, Erika
4 Biere, Armin
4 Bueno, Otávio
4 de Moura, Leonardo
4 Dose, Titus
4 Eggers, Andreas
4 Giunchiglia, Enrico
4 Glaßer, Christian
4 Heule, Marijn J. H.
4 Hooker, John N. jun.
4 Itsykson, Dmitry M.
4 Jones, James P.
4 Kupferschmid, Stefan
4 Lauria, Massimo
4 Lê Văn Băng
4 Lempp, Steffen
4 Lynce, Inês
4 Myasnikov, Alexei G.
4 Nordström, Jakob
4 Pasten, Hector V.
4 Sabharwal, Ashish
4 Schulte, Oliver
4 Selman, Bart
4 Stephan, Frank
4 Teige, Tino
4 Yu, Liang
3 Anellis, Irving H.
3 Badaev, Serikzhan A.
3 Beigel, Richard
3 Bringsjord, Selmer
3 Bruni, Renato
3 Bryant, Randal E.
3 Chong, Chi Tat
3 Cook, Roy T.
3 Cooper, Stuart Barry
3 Ferrari, Mauro
3 Franco, John V.
3 Fränzle, Martin
3 Garreta, Albert
3 Gebser, Martin
3 Hirsch, Edward A.
3 Järvisalo, Matti
3 Jeroslow, Robert G.
3 Jonsson, Peter A.
3 Kanamori, Akihiro
3 Kaufmann, Benjamin
3 Kirousis, Lefteris Miltiades
3 Kleine Büning, Hans
3 Kratsch, Dieter
3 Kullmann, Oliver
3 Li, Chumin
3 Linnebo, Øystein
3 Nieuwenhuis, Robert
3 Omodeo, Eugenio Giovanni
3 Ovchinnikov, Denis
3 Pitassi, Toniann
3 Sanders, Sam
3 van Maaren, Hans
3 Vardi, Moshe Ya’akov
3 Visser, Albert
3 Wang, Jianxin
3 Wang, Jinchang
3 Welch, Philip D.
3 Xu, Chao
3 Yamaleev, Mars Mansurovich
3 Zakharyaschev, Michael Viktorovich
3 Zhao, Xishun
2 Achlioptas, Dimitris
2 Alekhnovich, Michael
2 Alexander, Samuel Allen
2 Antos, Carolin
2 Armando, Alessandro
2 Arrigoni, Tatiana
2 Badban, Bahareh
2 Barth, Dominik
2 Baxa, Christoph
2 Beame, Paul W.
2 Beck, Moritz
2 Benhamou, Belaid
2 Bernardi, Claudio
2 Bidoit, Nicole
...and 915 more Authors
all top 5

Cited in 147 Serials

53 Theoretical Computer Science
37 Journal of Automated Reasoning
35 The Journal of Symbolic Logic
26 Artificial Intelligence
21 Discrete Applied Mathematics
21 Synthese
21 Annals of Pure and Applied Logic
20 Journal of Philosophical Logic
19 Studia Logica
17 Annals of Mathematics and Artificial Intelligence
15 Transactions of the American Mathematical Society
14 The Bulletin of Symbolic Logic
11 History and Philosophy of Logic
11 Information and Computation
10 The Mathematical Intelligencer
9 Information Processing Letters
9 Proceedings of the American Mathematical Society
9 Archive for Mathematical Logic
8 Journal of Soviet Mathematics
8 Journal of Mathematical Sciences (New York)
8 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
7 Information Sciences
7 Annals of Operations Research
7 Erkenntnis
6 Notre Dame Journal of Formal Logic
6 Journal of Symbolic Computation
6 Foundations of Science
5 Archiv für Mathematische Logik und Grundlagenforschung
5 Journal of Computer and System Sciences
5 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
5 European Journal of Operational Research
5 Foundations of Physics
5 Logica Universalis
4 Algebra and Logic
4 Applied Mathematics and Computation
4 Journal of Algebra
4 Formal Methods in System Design
4 Constraints
4 Theory and Practice of Logic Programming
4 The Review of Symbolic Logic
3 Acta Informatica
3 Computers & Mathematics with Applications
3 International Journal of General Systems
3 International Journal of Theoretical Physics
3 Israel Journal of Mathematics
3 Advances in Mathematics
3 SIAM Journal on Computing
3 Operations Research Letters
3 Journal of Computer Science and Technology
3 Computers & Operations Research
3 Logic and Logical Philosophy
3 Logical Methods in Computer Science
2 Archive for History of Exact Sciences
2 Discrete Mathematics
2 BIT
2 Computing
2 Journal of Number Theory
2 Siberian Mathematical Journal
2 Advances in Applied Mathematics
2 Mathematical Social Sciences
2 International Journal of Parallel Programming
2 Journal of the American Mathematical Society
2 Mathematical and Computer Modelling
2 Random Structures & Algorithms
2 Bulletin of the American Mathematical Society. New Series
2 RAIRO. Informatique Théorique et Applications
2 Mathematical Programming. Series A. Series B
2 Computational Complexity
2 Journal of Applied Non-Classical Logics
2 Mathematical Logic Quarterly (MLQ)
2 New Journal of Physics
2 International Journal of Applied Mathematics and Computer Science
2 Lobachevskii Journal of Mathematics
2 International Studies in the Philosophy of Science
2 Journal of Discrete Algorithms
2 Journal of Applied Logic
2 Discrete Optimization
2 Proceedings of the Steklov Institute of Mathematics
2 Axiomathes
2 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Educational Studies in Mathematics
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Journal of the Franklin Institute
1 Mathematical Notes
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Mathematische Semesterberichte
1 Reviews in Mathematical Physics
1 Science & Education
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Bulletin de la Société Mathématique de France
1 Fuzzy Sets and Systems
1 International Journal of Computer & Information Sciences
1 International Journal of Game Theory
1 Journal of the Association for Computing Machinery
1 Le Matematiche
1 Mathematische Annalen
1 Mathematics and Computers in Simulation
1 Mathematische Nachrichten
1 Mathematica Slovaca
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
...and 47 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.