zbMATH — the first resource for mathematics

Putnam, Hilary Whitehall

Compute Distance To:
 Author ID: putnam.hilary-w Published as: Putnam, H.; Putnam, Hilary; Putnam, Hilary W. External Links: MGP · Math-Net.Ru · Wikidata · dblp · GND
 Documents Indexed: 44 Publications since 1957, including 6 Books Biographic References: 2 Publications
all top 5

Co-Authors

 23 single-authored 4 Davis, Martin David 3 Hensel, G. 2 Baaz, Matthias 2 Harper, Charles L. jun. 2 Leeds, Stephen 2 Papadimitriou, Christos Harilaos 2 Scott, Dana Stewart 1 Benacerraf, Paul 1 Boolos, George S. 1 Boyd, Richard K. 1 Dreben, Burton 1 Enderton, Herbert B. 1 Friedman, Michael A. 1 Kreisel, Georg 1 Luckham, David C. 1 Lukas, Joan D. 1 Pour-El, Marian Boykan 1 Robinson, Julia 1 Smullyan, Raymond Merrill
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 Transactions of the American Mathematical Society 2 Historia Mathematica 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 Synthese 1 Logic Journal of the IGPL 1 Annals of Mathematics. Second Series
all top 5

Fields

 25 Mathematical logic and foundations (03-XX) 8 General and overarching topics; collections (00-XX) 6 History and biography (01-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Computer science (68-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations contained in zbMATH

35 Publications have been cited 756 times in 730 Documents Cited by Year
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
1960
The decision problem for exponential diophantine equations. Zbl 0111.01003
Davis, Martin; Putnam, Hilary; Robinson, Julia
1961
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H.
1965
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
Benacerraf, Paul (ed.); Putnam, Hilary (ed.)
1983
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H.
1957
Models and reality. Zbl 0443.03003
Putnam, Hilary
1980
Degrees of unsolvability of constructible sets of integers. Zbl 0188.32701
Boolos, G.; Putnam, H.
1968
Mathematics, matter and method. Philosophical papers. Vol. 1. Zbl 0311.00035
Putnam, Hilary
1975
What is mathematical truth? Zbl 0325.02004
Putnam, Hilary
1975
Decidability and essential undecidability. Zbl 0078.24501
Putnam, Hilary
1957
Mathematics, matter and method. Philosophical papers, Vol. 1. 2nd ed. Zbl 0426.00022
Putnam, Hilary
1979
Peirce the logician. Zbl 0487.01012
Putnam, Hilary
1982
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
1965
A philosopher looks at quantum mechanics (again). Zbl 1098.81011
Putnam, Hilary
2005
Diophantine sets over polynomial rings. Zbl 0113.00604
Davis, M.; Putnam, H.
1963
A note on the hyperarithmetical hierarchy. Zbl 0205.30803
Enderton, H. B.; Putnam, H.
1971
Philosophical papers. Vol. 2: Mind, language and reality. Zbl 0485.01026
Putnam, Hilary
1979
Quantum logic, conditional probability, and interference. Zbl 0402.03016
Friedman, Michael; Putnam, Hilary
1978
A recursion-theoretic characterization of the ramified analytical hierarchy. Zbl 0207.01203
Boyd, Richard; Hensel, G.; Putnam, H.
1969
What theories are not. Zbl 0147.24702
Putnam, H.
1962
Nonstandard models and Kripke’s proof of the Gödel theorem. Zbl 1005.03054
Putnam, Hilary
2000
How to think quantum-logically. Zbl 0338.02003
Putnam, Hilary
1974
A note on constructible sets of integers. Zbl 0192.04303
Putnam, H.
1963
Exact separation of recursively enumerable sets within theories. Zbl 0118.25201
Putnam, H.; Smullyan, R. M.
1960
After Gödel. Zbl 1111.03002
Putnam, Hilary
2006
Normal models and the field $$\sum_ 1^ *$$. Zbl 0193.30201
Hensel, G.; Putnam, H.
1969
On the notational independence of various hierarchies of degrees of unsolvability. Zbl 0137.00903
Hensel, G.; Putnam, H.
1965
On hierarchies and systems of notations. Zbl 0237.02011
Putnam, Hilary
1964
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.)
2011
Paradox revisited. II: Sets – a case of all or none? Zbl 0986.03011
Putnam, Hilary
2000
How to think quantum-logically. Zbl 0328.02003
Putnam, Hilary
1976
Solution to a problem of Gandy’s. Zbl 0325.02028
Leeds, Stephen; Putnam, Hilary
1974
Recursive functions and hierarchies. Zbl 0268.02024
Putnam, Hilary
1973
An intrinsic characterization of the hierarchy of constructible sets of integers. Zbl 0234.02027
Leeds, Stephen; Putnam, Hilary
1971
On families of sets represented in theories. Zbl 0126.02101
Putnam, H.
1964
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.)
2011
After Gödel. Zbl 1111.03002
Putnam, Hilary
2006
A philosopher looks at quantum mechanics (again). Zbl 1098.81011
Putnam, Hilary
2005
Nonstandard models and Kripke’s proof of the Gödel theorem. Zbl 1005.03054
Putnam, Hilary
2000
Paradox revisited. II: Sets – a case of all or none? Zbl 0986.03011
Putnam, Hilary
2000
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
Benacerraf, Paul (ed.); Putnam, Hilary (ed.)
1983
Peirce the logician. Zbl 0487.01012
Putnam, Hilary
1982
Models and reality. Zbl 0443.03003
Putnam, Hilary
1980
Mathematics, matter and method. Philosophical papers, Vol. 1. 2nd ed. Zbl 0426.00022
Putnam, Hilary
1979
Philosophical papers. Vol. 2: Mind, language and reality. Zbl 0485.01026
Putnam, Hilary
1979
Quantum logic, conditional probability, and interference. Zbl 0402.03016
Friedman, Michael; Putnam, Hilary
1978
How to think quantum-logically. Zbl 0328.02003
Putnam, Hilary
1976
Mathematics, matter and method. Philosophical papers. Vol. 1. Zbl 0311.00035
Putnam, Hilary
1975
What is mathematical truth? Zbl 0325.02004
Putnam, Hilary
1975
How to think quantum-logically. Zbl 0338.02003
Putnam, Hilary
1974
Solution to a problem of Gandy’s. Zbl 0325.02028
Leeds, Stephen; Putnam, Hilary
1974
Recursive functions and hierarchies. Zbl 0268.02024
Putnam, Hilary
1973
A note on the hyperarithmetical hierarchy. Zbl 0205.30803
Enderton, H. B.; Putnam, H.
1971
An intrinsic characterization of the hierarchy of constructible sets of integers. Zbl 0234.02027
Leeds, Stephen; Putnam, Hilary
1971
A recursion-theoretic characterization of the ramified analytical hierarchy. Zbl 0207.01203
Boyd, Richard; Hensel, G.; Putnam, H.
1969
Normal models and the field $$\sum_ 1^ *$$. Zbl 0193.30201
Hensel, G.; Putnam, H.
1969
Degrees of unsolvability of constructible sets of integers. Zbl 0188.32701
Boolos, G.; Putnam, H.
1968
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H.
1965
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
1965
On the notational independence of various hierarchies of degrees of unsolvability. Zbl 0137.00903
Hensel, G.; Putnam, H.
1965
On hierarchies and systems of notations. Zbl 0237.02011
Putnam, Hilary
1964
On families of sets represented in theories. Zbl 0126.02101
Putnam, H.
1964
Diophantine sets over polynomial rings. Zbl 0113.00604
Davis, M.; Putnam, H.
1963
A note on constructible sets of integers. Zbl 0192.04303
Putnam, H.
1963
What theories are not. Zbl 0147.24702
Putnam, H.
1962
The decision problem for exponential diophantine equations. Zbl 0111.01003
Davis, Martin; Putnam, Hilary; Robinson, Julia
1961
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
1960
Exact separation of recursively enumerable sets within theories. Zbl 0118.25201
Putnam, H.; Smullyan, R. M.
1960
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H.
1957
Decidability and essential undecidability. Zbl 0078.24501
Putnam, Hilary
1957
all top 5

Cited by 992 Authors

 12 Matiyasevich, Yuriĭ Vladimirovich 8 Plaisted, David Alan 7 Lauria, Massimo 6 Bonacina, Maria Paola 6 Eisenträger, Kirsten 6 Friedman, Sy-David 6 Marques-Silva, João P. 6 Schaub, Torsten H. 6 Van Gelder, Allen 5 Becker, Bernd 5 Beyersdorff, Olaf 5 Chen, Jian-er 5 Kelly, Kevin T. 5 Miglioli, Pierangelo 5 Sorbi, Andrea 5 Szeider, Stefan 5 Ternullo, Claudio 4 Ábrahám, Erika 4 Arslanov, Marat M. 4 Biere, Armin 4 Bueno, Otávio 4 de Moura, Leonardo 4 Eggers, Andreas 4 Giunchiglia, Enrico 4 Glaßer, Christian 4 Hooker, John N. jun. 4 Itsykson, Dmitry M. 4 Jones, James P. 4 Kupferschmid, Stefan 4 Lê Văn Băng 4 Lempp, Steffen 4 Lynce, Inês 4 Putnam, Hilary Whitehall 4 Sabharwal, Ashish 4 Schulte, Oliver 4 Selman, Bart 4 Teige, Tino 4 Yu, Liang 3 Anellis, Irving H. 3 Badaev, Serikzhan A. 3 Beigel, Richard 3 Bringsjord, Selmer 3 Bruni, Renato 3 Chong, Chi Tat 3 Cook, Roy T. 3 Cooper, Stuart Barry 3 Dose, Titus 3 Ferrari, Mauro 3 Fränzle, Martin 3 Gebser, Martin 3 Gent, Ian Philip 3 Heule, Marijn J. H. 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 Kullmann, Oliver 3 Linnebo, Øystein 3 Lynch, Christopher A. 3 Manyà, Felip 3 Miller, Russell G. 3 Nieuwenhuis, Robert 3 Nordström, Jakob 3 Pasten, Hector V. 3 Stephan, Frank 3 van Maaren, Hans 3 Visser, Albert 3 Wang, Jianxin 3 Wang, Jinchang 3 Welch, Philip D. 3 Xu, Chao 3 Zakharyaschev, Michael Viktorovich 3 Zhao, Xishun 2 Achlioptas, Dimitris 2 Alekhnovich, Michael 2 Alexander, Samuel A. 2 Antos, Carolin 2 Armando, Alessandro 2 Arrigoni, Tatiana 2 Badban, Bahareh 2 Barth, Dominik 2 Baxa, Christoph 2 Beck, Moritz 2 Benhamou, Belaid 2 Bernardi, Claudio 2 Bidoit, Nicole 2 Billionnet, Alain 2 Bonet, Maria Luisa 2 Brown, Cynthia A. 2 Bryant, Randal E. 2 Cadoli, Marco 2 Case, John 2 Chagrov, Aleksandr Vasil’evich 2 Ciardelli, Ivano A. 2 Dahllöf, Vilhelm 2 de Jongh, Dick H. J. ...and 892 more Authors
all top 5

Cited in 142 Serials

 50 Theoretical Computer Science 35 Journal of Automated Reasoning 32 The Journal of Symbolic Logic 27 Artificial Intelligence 21 Discrete Applied Mathematics 21 Annals of Pure and Applied Logic 20 Journal of Philosophical Logic 19 Studia Logica 19 Synthese 17 Annals of Mathematics and Artificial Intelligence 15 Transactions of the American Mathematical Society 13 Information Processing Letters 12 The Bulletin of Symbolic Logic 11 History and Philosophy of Logic 11 Information and Computation 10 The Mathematical Intelligencer 10 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 9 Proceedings of the American Mathematical Society 9 Archive for Mathematical Logic 8 Journal of Soviet Mathematics 7 Annals of Operations Research 7 Journal of Mathematical Sciences (New York) 7 Erkenntnis 6 Information Sciences 6 Journal of Symbolic Computation 6 Foundations of Science 5 Archiv für Mathematische Logik und Grundlagenforschung 5 Computers & Mathematics with Applications 5 Applied Mathematics and Computation 5 Journal of Computer and System Sciences 5 Notre Dame Journal of Formal Logic 5 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 5 Logica Universalis 4 Advances in Mathematics 4 Algebra and Logic 4 Journal of Algebra 4 Formal Methods in System Design 4 Theory and Practice of Logic Programming 4 Foundations of Physics 4 The Review of Symbolic Logic 3 Acta Informatica 3 International Journal of General Systems 3 International Journal of Theoretical Physics 3 Israel Journal of Mathematics 3 SIAM Journal on Computing 3 Operations Research Letters 3 Journal of Computer Science and Technology 3 Computers & Operations Research 3 European Journal of Operational Research 3 Constraints 3 Logical Methods in Computer Science 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 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 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 1 Archive for History of Exact Sciences 1 Educational Studies in Mathematics 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 Mathematische Annalen 1 Mathematics and Computers in Simulation 1 Mathematische Nachrichten 1 Mathematica Slovaca 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Combinatorica 1 Acta Applicandae Mathematicae 1 Journal of Complexity 1 Algorithmica 1 Discrete & Computational Geometry 1 International Journal of Intelligent Systems ...and 42 more Serials
all top 5

Cited in 36 Fields

 391 Mathematical logic and foundations (03-XX) 346 Computer science (68-XX) 50 General and overarching topics; collections (00-XX) 47 Number theory (11-XX) 41 Operations research, mathematical programming (90-XX) 34 History and biography (01-XX) 22 Quantum theory (81-XX) 20 Combinatorics (05-XX) 15 Information and communication theory, circuits (94-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Algebraic geometry (14-XX) 6 Field theory and polynomials (12-XX) 6 Probability theory and stochastic processes (60-XX) 6 Statistics (62-XX) 6 Numerical analysis (65-XX) 4 Group theory and generalizations (20-XX) 3 Commutative algebra (13-XX) 3 Relativity and gravitational theory (83-XX) 3 Biology and other natural sciences (92-XX) 2 General algebraic systems (08-XX) 2 Associative rings and algebras (16-XX) 2 Category theory; homological algebra (18-XX) 2 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Real functions (26-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 General topology (54-XX) 1 Mechanics of particles and systems (70-XX) 1 Astronomy and astrophysics (85-XX) 1 Geophysics (86-XX) 1 Systems theory; control (93-XX)

Wikidata Timeline

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