Edit Profile (opens in new tab) Putnam, Hilary Whitehall Compute Distance To: Compute Author ID: putnam.hilary-w 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 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 34 Mathematical logic and foundations (03-XX) 11 General and overarching topics; collections (00-XX) 11 History and biography (01-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 41 Publications have been cited 832 times in 762 Documents Cited by ▼ Year ▼ A computing procedure for quantification theory. Zbl 0212.34203Davis, M.; Putnam, H. 346 1960 The decision problem for exponential diophantine equations. Zbl 0111.01003Davis, Martin; Putnam, Hilary; Robinson, Julia 95 1961 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102Putnam, 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.00702Kreisel, Georg; Putnam, H. 41 1957 Models and reality. Zbl 0443.03003Putnam, 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.32701Boolos, G.; Putnam, H. 21 1968 Mathematics, matter and method. Philosophical papers. Vol. 1. Zbl 0311.00035Putnam, Hilary 15 1975 What is mathematical truth? Zbl 0325.02004Putnam, Hilary 14 1975 Decidability and essential undecidability. Zbl 0078.24501Putnam, Hilary 13 1957 Mathematics, matter and method. Philosophical papers, Vol. 1. 2nd ed. Zbl 0426.00022Putnam, Hilary 10 1979 Peirce the logician. Zbl 0487.01012Putnam, Hilary 8 1982 A note on the hyperarithmetical hierarchy. Zbl 0205.30803Enderton, H. B.; Putnam, H. 7 1971 Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046Pour-El, Marian Boykan; Putnam, Hilary 7 1965 A philosopher looks at quantum mechanics (again). Zbl 1098.81011Putnam, Hilary 6 2005 Diophantine sets over polynomial rings. Zbl 0113.00604Davis, 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.03016Friedman, Michael; Putnam, Hilary 5 1978 Nonstandard models and Kripke’s proof of the Gödel theorem. Zbl 1005.03054Putnam, Hilary 4 2000 What theories are not. Zbl 0147.24702Putnam, 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.01203Boyd, 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.02012Sellars, Wilfrid 3 1974 Philosophical papers. Vol. 2: Mind, language and reality. Zbl 0485.01026Putnam, 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.25201Putnam, H.; Smullyan, R. M. 3 1960 A note on constructible sets of integers. Zbl 0192.04303Putnam, H. 3 1963 How to think quantum-logically. Zbl 0338.02003Putnam, Hilary 3 1974 After Gödel. Zbl 1111.03002Putnam, Hilary 2 2006 On the notational independence of various hierarchies of degrees of unsolvability. Zbl 0137.00903Hensel, G.; Putnam, H. 2 1965 Normal models and the field \(\sum_ 1^ *\). Zbl 0193.30201Hensel, G.; Putnam, H. 2 1969 An intrinsic characterization of the hierarchy of constructible sets of integers. Zbl 0234.02027Leeds, Stephen; Putnam, Hilary 2 1971 On hierarchies and systems of notations. Zbl 0237.02011Putnam, 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.02101Putnam, H. 1 1964 Paradox revisited. II: Sets – a case of all or none? Zbl 0986.03011Putnam, 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.02024Putnam, Hilary 1 1973 Solution to a problem of Gandy’s. Zbl 0325.02028Leeds, Stephen; Putnam, Hilary 1 1974 How to think quantum-logically. Zbl 0328.02003Putnam, Hilary 1 1976 Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009 1 2011 After Gödel. Zbl 1111.03002Putnam, Hilary 2 2006 A philosopher looks at quantum mechanics (again). Zbl 1098.81011Putnam, Hilary 6 2005 Nonstandard models and Kripke’s proof of the Gödel theorem. Zbl 1005.03054Putnam, Hilary 4 2000 Paradox revisited. II: Sets – a case of all or none? Zbl 0986.03011Putnam, 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.01012Putnam, Hilary 8 1982 Models and reality. Zbl 0443.03003Putnam, Hilary 30 1980 Mathematics, matter and method. Philosophical papers, Vol. 1. 2nd ed. Zbl 0426.00022Putnam, 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.01026Putnam, Hilary 3 1979 Quantum logic, conditional probability, and interference. Zbl 0402.03016Friedman, Michael; Putnam, Hilary 5 1978 How to think quantum-logically. Zbl 0328.02003Putnam, 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.00035Putnam, Hilary 15 1975 What is mathematical truth? Zbl 0325.02004Putnam, 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.02012Sellars, Wilfrid 3 1974 How to think quantum-logically. Zbl 0338.02003Putnam, Hilary 3 1974 Solution to a problem of Gandy’s. Zbl 0325.02028Leeds, Stephen; Putnam, Hilary 1 1974 Recursive functions and hierarchies. Zbl 0268.02024Putnam, Hilary 1 1973 A note on the hyperarithmetical hierarchy. Zbl 0205.30803Enderton, H. B.; Putnam, H. 7 1971 An intrinsic characterization of the hierarchy of constructible sets of integers. Zbl 0234.02027Leeds, Stephen; Putnam, Hilary 2 1971 A recursion-theoretic characterization of the ramified analytical hierarchy. Zbl 0207.01203Boyd, Richard; Hensel, G.; Putnam, H. 4 1969 Normal models and the field \(\sum_ 1^ *\). Zbl 0193.30201Hensel, 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.32701Boolos, G.; Putnam, H. 21 1968 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102Putnam, H. 78 1965 Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046Pour-El, Marian Boykan; Putnam, Hilary 7 1965 On the notational independence of various hierarchies of degrees of unsolvability. Zbl 0137.00903Hensel, G.; Putnam, H. 2 1965 On hierarchies and systems of notations. Zbl 0237.02011Putnam, Hilary 2 1964 On families of sets represented in theories. Zbl 0126.02101Putnam, H. 1 1964 Diophantine sets over polynomial rings. Zbl 0113.00604Davis, M.; Putnam, H. 6 1963 A note on constructible sets of integers. Zbl 0192.04303Putnam, H. 3 1963 What theories are not. Zbl 0147.24702Putnam, H. 4 1962 The decision problem for exponential diophantine equations. Zbl 0111.01003Davis, 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.34203Davis, M.; Putnam, H. 346 1960 Exact separation of recursively enumerable sets within theories. Zbl 0118.25201Putnam, H.; Smullyan, R. M. 3 1960 Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702Kreisel, Georg; Putnam, H. 41 1957 Decidability and essential undecidability. Zbl 0078.24501Putnam, Hilary 13 1957 all cited Publications top 5 cited Publications 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 all top 5 Cited in 34 Fields 417 Mathematical logic and foundations (03-XX) 363 Computer science (68-XX) 51 General and overarching topics; collections (00-XX) 49 Number theory (11-XX) 44 Operations research, mathematical programming (90-XX) 34 History and biography (01-XX) 23 Quantum theory (81-XX) 21 Combinatorics (05-XX) 15 Information and communication theory, circuits (94-XX) 8 Group theory and generalizations (20-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Field theory and polynomials (12-XX) 7 Algebraic geometry (14-XX) 7 Probability theory and stochastic processes (60-XX) 7 Statistics (62-XX) 6 Numerical analysis (65-XX) 3 Commutative algebra (13-XX) 3 Biology and other natural sciences (92-XX) 2 General algebraic systems (08-XX) 2 Category theory; homological algebra (18-XX) 2 Real functions (26-XX) 2 General topology (54-XX) 1 Associative rings and algebras (16-XX) 1 Measure and integration (28-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Relativity and gravitational theory (83-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.