Edit Profile (opens in new tab) Putnam, Hilary Whitehall (b. 1926 d. 2016) Co-Author Distance Author ID: putnam.hilary-w Published as: Putnam, Hilary; Putnam, H.; Putnam, Hilary W. more...less 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: 3 Publications Co-Authors: 19 Co-Authors with 24 Joint Publications 428 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 all top 5 Serials 7 The Journal of Symbolic Logic 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Notre Dame Journal of Formal Logic 2 Fundamenta Mathematicae 2 Proceedings of the American Mathematical Society 2 Synthese 2 Transactions of the American Mathematical Society 2 Historia Mathematica 2 The University of Western Ontario Series in Philosophy of Science 1 American Mathematical Monthly 1 The British Journal for the Philosophy of Science 1 Dialectica 1 Illinois Journal of Mathematics 1 Journal of the Association for Computing Machinery 1 Logic Journal of the IGPL 1 Annals of Mathematics. Second Series 1 Proceedings of Symposia in Applied Mathematics 1 Synthese Library all top 5 Fields 35 Mathematical logic and foundations (03-XX) 13 History and biography (01-XX) 11 General and overarching topics; collections (00-XX) 5 Quantum theory (81-XX) 3 Computer science (68-XX) 2 Number theory (11-XX) 1 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 43 Publications have been cited 1,028 times in 964 Documents Cited by ▼ Year ▼ A computing procedure for quantification theory. Zbl 0212.34203 Davis, M.; Putnam, H. 450 1960 The decision problem for exponential diophantine equations. Zbl 0111.01003 Davis, Martin; Putnam, Hilary; Robinson, Julia 114 1961 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102 Putnam, H. 94 1965 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 71 1983 Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702 Kreisel, Georg; Putnam, H. 47 1957 Philosophical papers. Vol. 1. Mathematics, matter and method. Zbl 0311.00035 Putnam, Hilary 45 1975 The logico-algebraic approach to quantum mechanics. Vol. I: Historical evolution. Zbl 0429.03045 41 1975 Models and reality. Zbl 0443.03003 Putnam, Hilary 37 1980 Structure of language and its mathematical aspects. Zbl 0111.16102 27 1961 Degrees of unsolvability of constructible sets of integers. Zbl 0188.32701 Boolos, G.; Putnam, H. 23 1968 What is mathematical truth? Zbl 0325.02004 Putnam, Hilary 17 1975 Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001 14 1983 Decidability and essential undecidability. Zbl 0078.24501 Putnam, Hilary 14 1957 Mathematics, matter and method. Philosophical papers. Vol. 1. 2nd ed. Zbl 0426.00022 Putnam, Hilary 13 1979 Peirce the logician. Zbl 0487.01012 Putnam, Hilary 9 1982 Quantum logic, conditional probability, and interference. Zbl 0402.03016 Friedman, Michael; Putnam, Hilary 8 1978 A note on the hyperarithmetical hierarchy. Zbl 0205.30803 Enderton, H. B.; Putnam, H. 7 1971 Philosophical papers. Vol. 2: Mind, language and reality. Zbl 0485.01026 Putnam, Hilary 7 1979 The logico-algebraic approach to quantum mechanics. Vol. II: Contemporary consolidation. Zbl 0429.03046 7 1979 Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046 Pour-El, Marian Boykan; Putnam, Hilary 7 1965 Diophantine sets over polynomial rings. Zbl 0113.00604 Davis, M.; Putnam, H. 7 1963 A philosopher looks at quantum mechanics (again). Zbl 1098.81011 Putnam, Hilary 6 2005 What theories are not. Zbl 0147.24702 Putnam, H. 6 1962 How to think quantum-logically. Zbl 0338.02003 Putnam, Hilary 5 1974 A recursion-theoretic characterization of the ramified analytical hierarchy. Zbl 0207.01203 Boyd, Richard; Hensel, G.; Putnam, H. 5 1969 An intrinsic characterization of the hierarchy of constructible sets of integers. Zbl 0234.02027 Leeds, Stephen; Putnam, Hilary 4 1971 Nonstandard models and Kripke’s proof of the Gödel theorem. Zbl 1005.03054 Putnam, Hilary 4 2000 A note on constructible sets of integers. Zbl 0192.04303 Putnam, H. 4 1963 Exact separation of recursively enumerable sets within theories. Zbl 0118.25201 Putnam, H.; Smullyan, R. M. 4 1960 After Gödel. Zbl 1111.03002 Putnam, Hilary 4 2006 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 Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009 3 2011 Normal models and the field \(\sum_ 1^ *\). Zbl 0193.30201 Hensel, G.; Putnam, H. 2 1969 On hierarchies and systems of notations. Zbl 0237.02011 Putnam, Hilary 2 1964 On the notational independence of various hierarchies of degrees of unsolvability. Zbl 0137.00903 Hensel, G.; Putnam, H. 2 1965 Proceedings of the Boston colloquium for the philosophy of science 1966/1968. Zbl 0172.28503 1 1969 How to think quantum-logically. Zbl 0328.02003 Putnam, Hilary 1 1976 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 Systems of notations and the ramified analytical hierarchy. Zbl 0295.02027 Lukas, Joan D.; Putnam, Hilary 1 1974 Paradox revisited. II: Sets – a case of all or none? Zbl 0986.03011 Putnam, Hilary 1 2000 On families of sets represented in theories. Zbl 0126.02101 Putnam, H. 1 1964 On Davis’s “pragmatic Platonism”. Zbl 1439.03025 Putnam, Hilary 1 2016 On Davis’s “pragmatic Platonism”. Zbl 1439.03025 Putnam, Hilary 1 2016 Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009 3 2011 After Gödel. Zbl 1111.03002 Putnam, Hilary 4 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 71 1983 Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001 14 1983 Peirce the logician. Zbl 0487.01012 Putnam, Hilary 9 1982 Models and reality. Zbl 0443.03003 Putnam, Hilary 37 1980 Mathematics, matter and method. Philosophical papers. Vol. 1. 2nd ed. Zbl 0426.00022 Putnam, Hilary 13 1979 Philosophical papers. Vol. 2: Mind, language and reality. Zbl 0485.01026 Putnam, Hilary 7 1979 The logico-algebraic approach to quantum mechanics. Vol. II: Contemporary consolidation. Zbl 0429.03046 7 1979 Quantum logic, conditional probability, and interference. Zbl 0402.03016 Friedman, Michael; Putnam, Hilary 8 1978 How to think quantum-logically. Zbl 0328.02003 Putnam, Hilary 1 1976 Philosophical papers. Vol. 1. Mathematics, matter and method. Zbl 0311.00035 Putnam, Hilary 45 1975 The logico-algebraic approach to quantum mechanics. Vol. I: Historical evolution. Zbl 0429.03045 41 1975 What is mathematical truth? Zbl 0325.02004 Putnam, Hilary 17 1975 How to think quantum-logically. Zbl 0338.02003 Putnam, Hilary 5 1974 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 Solution to a problem of Gandy’s. Zbl 0325.02028 Leeds, Stephen; Putnam, Hilary 1 1974 Systems of notations and the ramified analytical hierarchy. Zbl 0295.02027 Lukas, Joan D.; 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 4 1971 A recursion-theoretic characterization of the ramified analytical hierarchy. Zbl 0207.01203 Boyd, Richard; Hensel, G.; Putnam, H. 5 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. 23 1968 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102 Putnam, H. 94 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. 7 1963 A note on constructible sets of integers. Zbl 0192.04303 Putnam, H. 4 1963 What theories are not. Zbl 0147.24702 Putnam, H. 6 1962 The decision problem for exponential diophantine equations. Zbl 0111.01003 Davis, Martin; Putnam, Hilary; Robinson, Julia 114 1961 Structure of language and its mathematical aspects. Zbl 0111.16102 27 1961 A computing procedure for quantification theory. Zbl 0212.34203 Davis, M.; Putnam, H. 450 1960 Exact separation of recursively enumerable sets within theories. Zbl 0118.25201 Putnam, H.; Smullyan, R. M. 4 1960 Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702 Kreisel, Georg; Putnam, H. 47 1957 Decidability and essential undecidability. Zbl 0078.24501 Putnam, Hilary 14 1957 all cited Publications top 5 cited Publications all top 5 Cited by 1,265 Authors 12 Matiyasevich, Yuriĭ Vladimirovich 9 Marques-Silva, João P. 9 Plaisted, David Alan 8 Bonacina, Maria Paola 8 Heule, Marijn J. H. 7 Beyersdorff, Olaf 7 Eisenträger, Kirsten 7 Lauria, Massimo 7 Schaub, Torsten H. 7 Selman, Bart 7 Szeider, Stefan 6 Friedman, Sy-David 6 Lê Văn Băng 6 Miglioli, Pierangelo 6 Miller, Russell G. 6 Nordström, Jakob 6 Pasten, Hector V. 6 Van Gelder, Allen 5 Bazhenov, Nikolaĭ Alekseevich 5 Becker, Bernd 5 Biere, Armin 5 Chen, Jian-er 5 Galesi, Nicola 5 Glaßer, Christian 5 Itsykson, Dmitry M. 5 Kelly, Kevin T. 5 Lynce, Inês 5 Myasnikov, Alexei G. 5 Putnam, Hilary Whitehall 5 Sabharwal, Ashish 5 Sorbi, Andrea 5 Stephan, Frank 5 Teige, Tino 5 Ternullo, Claudio 5 Weidenbach, Christoph 4 Ábrahám, Erika 4 Achlioptas, Dimitris 4 Arslanov, Marat M. 4 Beame, Paul W. 4 Bryant, Randal E. 4 Bueno, Otávio 4 Cantone, Domenico 4 Davis, Martin David 4 de Moura, Leonardo 4 Dose, Titus 4 Eggers, Andreas 4 Fränzle, Martin 4 Gasarch, William Ian 4 Gebser, Martin 4 Giunchiglia, Enrico 4 Hooker, John N. jun. 4 Järvisalo, Matti 4 Jones, James P. 4 Kratsch, Dieter 4 Kupferschmid, Stefan 4 Lempp, Steffen 4 Nieuwenhuis, Robert 4 Omodeo, Eugenio Giovanni 4 Paulson, Lawrence Charles 4 Pitassi, Toniann 4 San Mauro, Luca 4 Schulte, Oliver 4 Schurz, Gerhard 4 Visser, Albert 4 Wang, Jianxin 4 Wang, Jinchang 4 Xu, Chao 4 Yu, Liang 3 Alexander, Samuel Allen 3 Anellis, Irving Henry 3 Badaev, Serikzhan A. 3 Beigel, Richard 3 Bringsjord, Selmer 3 Bruni, Renato 3 Carl, Merlin 3 Case, John 3 Chong, Chi Tat 3 Cook, Roy T. 3 Cooper, Stuart Barry 3 de Jongh, Dick H. J. 3 Dershowitz, Nachum 3 Ferrari, Mauro 3 Franco, John V. 3 Freivalds, Rūsiņš Mārtiņš 3 Garreta, Albert 3 Gent, Ian Philip 3 Hirsch, Edward A. 3 Jeroslow, Robert G. 3 Jonsson, Peter 3 Junttila, Tommi A. 3 Kalimullin, Iskander Shagitovich 3 Kanamori, Akihiro 3 Kaufmann, Benjamin 3 Kirousis, Lefteris Miltiades 3 Kleine Büning, Hans 3 Kullmann, Oliver 3 Lee, Shie-Jue 3 Li, Chumin 3 Linnebo, Øystein 3 Lynch, Christopher A. ...and 1,165 more Authors all top 5 Cited in 166 Serials 59 Theoretical Computer Science 43 Journal of Automated Reasoning 36 Artificial Intelligence 36 The Journal of Symbolic Logic 34 Synthese 26 Annals of Pure and Applied Logic 23 Discrete Applied Mathematics 21 Journal of Philosophical Logic 19 Studia Logica 17 Annals of Mathematics and Artificial Intelligence 16 Transactions of the American Mathematical Society 16 The Bulletin of Symbolic Logic 13 Information Processing Letters 13 History and Philosophy of Logic 12 Information and Computation 11 Archive for Mathematical Logic 11 The Review of Symbolic Logic 11 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 10 The Mathematical Intelligencer 9 Proceedings of the American Mathematical Society 9 Erkenntnis 8 Journal of Soviet Mathematics 8 Journal of Mathematical Sciences (New York) 7 Information Sciences 7 Notre Dame Journal of Formal Logic 7 Annals of Operations Research 7 Logical Methods in Computer Science 6 Journal of Symbolic Computation 6 European Journal of Operational Research 6 Foundations of Science 6 Foundations of Physics 6 Logica Universalis 5 Archiv für Mathematische Logik und Grundlagenforschung 5 Journal of Algebra 5 Journal of Computer and System Sciences 5 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 5 Formal Methods in System Design 5 Mathematical Logic Quarterly (MLQ) 5 Nôus 4 Computers & Mathematics with Applications 4 Advances in Mathematics 4 Algebra and Logic 4 Applied Mathematics and Computation 4 SIAM Journal on Computing 4 Constraints 4 Lobachevskii Journal of Mathematics 4 Logic and Logical Philosophy 4 Theory and Practice of Logic Programming 3 Acta Informatica 3 International Journal of General Systems 3 International Journal of Theoretical Physics 3 Israel Journal of Mathematics 3 Journal of Number Theory 3 Operations Research Letters 3 Journal of Computer Science and Technology 3 Computers & Operations Research 3 Random Structures & Algorithms 3 International Studies in the Philosophy of Science 3 ACM Transactions on Computational Logic 2 Archive for History of Exact Sciences 2 Discrete Mathematics 2 BIT 2 Computing 2 Mathematische Annalen 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 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 The Journal of Artificial Intelligence Research (JAIR) 2 Journal of the ACM 2 New Journal of Physics 2 International Journal of Applied Mathematics and Computer Science 2 Journal of Discrete Algorithms 2 Journal of Applied Logic 2 Oberwolfach Reports 2 Discrete Optimization 2 Proceedings of the Steklov Institute of Mathematics 2 Antiquitates Mathematicae 2 Philosophy of Science 2 Theory of Computing 2 European Journal for Philosophy of Science 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 Periodica Mathematica Hungarica 1 Reviews in Mathematical Physics 1 Science & Education 1 Annali di Matematica Pura ed Applicata. Serie Quarta ...and 66 more Serials all top 5 Cited in 41 Fields 520 Mathematical logic and foundations (03-XX) 469 Computer science (68-XX) 74 General and overarching topics; collections (00-XX) 66 Number theory (11-XX) 53 Operations research, mathematical programming (90-XX) 50 History and biography (01-XX) 36 Quantum theory (81-XX) 29 Combinatorics (05-XX) 17 Information and communication theory, circuits (94-XX) 12 Statistics (62-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Algebraic geometry (14-XX) 10 Group theory and generalizations (20-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Field theory and polynomials (12-XX) 7 Probability theory and stochastic processes (60-XX) 7 Numerical analysis (65-XX) 3 General algebraic systems (08-XX) 3 Commutative algebra (13-XX) 3 Category theory; homological algebra (18-XX) 3 Biology and other natural sciences (92-XX) 2 Real functions (26-XX) 2 Functional analysis (46-XX) 2 Convex and discrete geometry (52-XX) 2 General topology (54-XX) 2 Fluid mechanics (76-XX) 2 Relativity and gravitational theory (83-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Potential theory (31-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) 1 Geophysics (86-XX) 1 Systems theory; control (93-XX) 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.