×

zbMATH — the first resource for mathematics

Davis, Martin David

Compute Distance To:
Author ID: davis.martin-d Recent zbMATH articles by "Davis, Martin David"
Published as: Davis, M.; Davis, M. D.; Davis, Martin; Davis, Martin D.; Davis, Martin David
Homepage: https://www.cs.nyu.edu/cs/faculty/davism/
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 80 Publications since 1953, including 17 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH

52 Publications have been cited 1,444 times in 1,114 Documents Cited by Year
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
354
1962
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
336
1960
Computability and unsolvability. Zbl 0080.00902
Davis, Martin
130
1958
Hilbert’s tenth problem is unsolvable. Zbl 0277.02008
Davis, Martin
114
1973
The decision problem for exponential diophantine equations. Zbl 0111.01003
Davis, Martin; Putnam, Hilary; Robinson, Julia
85
1961
Applied nonstandard analysis. Zbl 0359.02060
Davis, Martin
80
1977
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
31
1976
Computability, complexity, and languages. Fundamentals of theoretical computer science. Zbl 0569.68042
Davis, Martin D.; Weyuker, Elaine J.
28
1983
The mathematics of non-monotonic reasoning. Zbl 0435.68075
Davis, Martin
26
1980
Arithmetical problems and recursively enumerable predicates. Zbl 0051.24509
Davis, Martin
24
1953
Automata studies. Zbl 0074.11204
Shannon, Claude E. (ed.); McCarthy, John (ed.); Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M.
22
1956
Why Goedel didn’t have Church’s thesis. Zbl 0519.03033
Davis, Martin
21
1982
The undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions. Corrected reprint of the 1965 original. Zbl 1099.03002
Davis, Martin (ed.)
19
2004
A relativity principle in quantum mechanics. Zbl 0392.03040
Davis, Martin
17
1978
Eliminating the irrelevant from mechanical proofs. Zbl 0131.01201
Davis, Martin
14
1963
Why there is no such discipline as hypercomputation. Zbl 1103.68555
Davis, Martin
13
2006
The universal computer. The road from Leibniz to Turing. Zbl 0960.01001
Davis, Martin
12
2000
Computability and unsolvability. (Enl. version of the orig. publ. McGraw- Hill Book Company, New York 1958). Zbl 0553.03024
Davis, Martin
11
1982
An explicit Diophantine definition of the exponential function. Zbl 0222.10017
Davis, Martin
11
1971
The definition of universal Turing machine. Zbl 0084.01003
Davis, Martin
9
1958
Solvability, provability, definability. The collected works of Emil L. Post. Zbl 0823.03001
Post, Emil L.; Davis, Martin (ed.)
7
1993
On the number of solutions of Diophantine equations. Zbl 0275.02042
Davis, Martin
7
1972
Diophantine sets over polynomial rings. Zbl 0113.00604
Davis, M.; Putnam, H.
6
1963
Extensions and corollaries of recent work on Hilbert’s tenth problem. Zbl 0112.24603
Davis, M.
6
1963
What did Gödel believe and when did he believe it? Zbl 1108.03003
Davis, Martin
5
2005
The early history of automated deduction. Zbl 1011.68511
Davis, Martin
5
2001
Engines of logic. Mathematicians and the origin of the computer. Corrected reprint paperback ed. of the original with the title “The universal computer. The road from Leibniz to Turing”. Zbl 1035.01002
Davis, Martin
4
2000
Metamathematical extensibility for theorem verifiers and proof-checkers. Zbl 0418.68079
Davis, Martin; Schwartz, Jacob T.
4
1979
The effect of antibody-dependent enhancement, cross immunity, and vector population on the dynamics of dengue fever. Zbl 1406.92577
Hu, K.; Thoens, C.; Bianco, S.; Edlund, S.; Davis, M.; Douglas, J.; Kaufman, J. H.
3
2013
The universal computer. The road from Leibniz to Turing. Turing centenary edition. Zbl 1243.68013
Davis, Martin
3
2012
The Church-Turing thesis: Consensus and opposition. Zbl 1145.03300
Davis, Martin
3
2006
A free variable version of the first-order predicate calculus. Zbl 0754.03004
Davis, Martin; Fechter, Ronald
3
1991
A formal notion of program-based test data adequacy. Zbl 0537.68025
Davis, Martin D.; Weyuker, Elaine J.
3
1983
One equation to rule them all. Zbl 0316.02051
Davis, Martin
3
1968
Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008
Davis, Martin; Sieg, Wilfried
2
2015
Pragmatic Platonism. Zbl 1338.03004
Davis, Martin
2
2014
American logic in the 1920s. Zbl 0858.01025
Davis, Martin
2
1995
A first course in functional analysis. Zbl 0199.17901
Davis, Martin
2
1966
Diophantine equations and recursively enumerable sets. Zbl 0199.03901
Davis, M.
2
1966
Computable functionals of arbitrary finite type. Zbl 0085.24803
Davis, Martin
2
1959
Reductions of Hilbert’s tenth problem. Zbl 0085.24802
Davis, Martin; Putman, Hilary
2
1959
From linear operators to computational biology. Essays in memory of Jacob T. Schwartz. Zbl 1252.92002
Davis, Martin (ed.); Schonberg, Edmond (ed.)
1
2013
Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring of \(\mathbb Q\). Zbl 1345.03021
Davis, M.
1
2010
Computability, computation, and the real world. Zbl 1188.68132
Davis, Martin
1
2006
The incompleteness theorem. Zbl 1100.03003
Davis, Martin
1
2006
From logic to computer science and back. Zbl 0930.03003
Davis, Martin
1
1999
Influences of mathematical logic on computer science. Zbl 0663.68012
Davis, Martin
1
1988
Metric space-based test-data adequacy criteria. Zbl 0632.68031
Davis, Martin; Weyuker, Elaine
1
1988
Julia Bowman Robinson 1919-1985. Zbl 0571.01026
Henkin, L.; Lehmer, D. H.; Lehmer, Emma; Scott, E.; Kelley, J.; Gaal, L.; Gale, D.; Davis, M.; MacLane, S.; Niven, I.; Pitcher, E.; Blum, L.; Feferman, S.
1
1985
Unsolvable problems: A review. Zbl 0129.25703
Davis, M.
1
1963
Applications of recursive function theory to number theory. Zbl 0192.05301
Davis, M.
1
1962
A program for Presburgers algorithm. Zbl 0171.27101
Davis, M.
1
1960
Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008
Davis, Martin; Sieg, Wilfried
2
2015
Pragmatic Platonism. Zbl 1338.03004
Davis, Martin
2
2014
The effect of antibody-dependent enhancement, cross immunity, and vector population on the dynamics of dengue fever. Zbl 1406.92577
Hu, K.; Thoens, C.; Bianco, S.; Edlund, S.; Davis, M.; Douglas, J.; Kaufman, J. H.
3
2013
From linear operators to computational biology. Essays in memory of Jacob T. Schwartz. Zbl 1252.92002
Davis, Martin (ed.); Schonberg, Edmond (ed.)
1
2013
The universal computer. The road from Leibniz to Turing. Turing centenary edition. Zbl 1243.68013
Davis, Martin
3
2012
Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring of \(\mathbb Q\). Zbl 1345.03021
Davis, M.
1
2010
Why there is no such discipline as hypercomputation. Zbl 1103.68555
Davis, Martin
13
2006
The Church-Turing thesis: Consensus and opposition. Zbl 1145.03300
Davis, Martin
3
2006
Computability, computation, and the real world. Zbl 1188.68132
Davis, Martin
1
2006
The incompleteness theorem. Zbl 1100.03003
Davis, Martin
1
2006
What did Gödel believe and when did he believe it? Zbl 1108.03003
Davis, Martin
5
2005
The undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions. Corrected reprint of the 1965 original. Zbl 1099.03002
Davis, Martin (ed.)
19
2004
The early history of automated deduction. Zbl 1011.68511
Davis, Martin
5
2001
The universal computer. The road from Leibniz to Turing. Zbl 0960.01001
Davis, Martin
12
2000
Engines of logic. Mathematicians and the origin of the computer. Corrected reprint paperback ed. of the original with the title “The universal computer. The road from Leibniz to Turing”. Zbl 1035.01002
Davis, Martin
4
2000
From logic to computer science and back. Zbl 0930.03003
Davis, Martin
1
1999
American logic in the 1920s. Zbl 0858.01025
Davis, Martin
2
1995
Solvability, provability, definability. The collected works of Emil L. Post. Zbl 0823.03001
Post, Emil L.; Davis, Martin (ed.)
7
1993
A free variable version of the first-order predicate calculus. Zbl 0754.03004
Davis, Martin; Fechter, Ronald
3
1991
Influences of mathematical logic on computer science. Zbl 0663.68012
Davis, Martin
1
1988
Metric space-based test-data adequacy criteria. Zbl 0632.68031
Davis, Martin; Weyuker, Elaine
1
1988
Julia Bowman Robinson 1919-1985. Zbl 0571.01026
Henkin, L.; Lehmer, D. H.; Lehmer, Emma; Scott, E.; Kelley, J.; Gaal, L.; Gale, D.; Davis, M.; MacLane, S.; Niven, I.; Pitcher, E.; Blum, L.; Feferman, S.
1
1985
Computability, complexity, and languages. Fundamentals of theoretical computer science. Zbl 0569.68042
Davis, Martin D.; Weyuker, Elaine J.
28
1983
A formal notion of program-based test data adequacy. Zbl 0537.68025
Davis, Martin D.; Weyuker, Elaine J.
3
1983
Why Goedel didn’t have Church’s thesis. Zbl 0519.03033
Davis, Martin
21
1982
Computability and unsolvability. (Enl. version of the orig. publ. McGraw- Hill Book Company, New York 1958). Zbl 0553.03024
Davis, Martin
11
1982
The mathematics of non-monotonic reasoning. Zbl 0435.68075
Davis, Martin
26
1980
Metamathematical extensibility for theorem verifiers and proof-checkers. Zbl 0418.68079
Davis, Martin; Schwartz, Jacob T.
4
1979
A relativity principle in quantum mechanics. Zbl 0392.03040
Davis, Martin
17
1978
Applied nonstandard analysis. Zbl 0359.02060
Davis, Martin
80
1977
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
31
1976
Hilbert’s tenth problem is unsolvable. Zbl 0277.02008
Davis, Martin
114
1973
On the number of solutions of Diophantine equations. Zbl 0275.02042
Davis, Martin
7
1972
An explicit Diophantine definition of the exponential function. Zbl 0222.10017
Davis, Martin
11
1971
One equation to rule them all. Zbl 0316.02051
Davis, Martin
3
1968
A first course in functional analysis. Zbl 0199.17901
Davis, Martin
2
1966
Diophantine equations and recursively enumerable sets. Zbl 0199.03901
Davis, M.
2
1966
Eliminating the irrelevant from mechanical proofs. Zbl 0131.01201
Davis, Martin
14
1963
Diophantine sets over polynomial rings. Zbl 0113.00604
Davis, M.; Putnam, H.
6
1963
Extensions and corollaries of recent work on Hilbert’s tenth problem. Zbl 0112.24603
Davis, M.
6
1963
Unsolvable problems: A review. Zbl 0129.25703
Davis, M.
1
1963
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
354
1962
Applications of recursive function theory to number theory. Zbl 0192.05301
Davis, M.
1
1962
The decision problem for exponential diophantine equations. Zbl 0111.01003
Davis, Martin; Putnam, Hilary; Robinson, Julia
85
1961
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
336
1960
A program for Presburgers algorithm. Zbl 0171.27101
Davis, M.
1
1960
Computable functionals of arbitrary finite type. Zbl 0085.24803
Davis, Martin
2
1959
Reductions of Hilbert’s tenth problem. Zbl 0085.24802
Davis, Martin; Putman, Hilary
2
1959
Computability and unsolvability. Zbl 0080.00902
Davis, Martin
130
1958
The definition of universal Turing machine. Zbl 0084.01003
Davis, Martin
9
1958
Automata studies. Zbl 0074.11204
Shannon, Claude E. (ed.); McCarthy, John (ed.); Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M.
22
1956
Arithmetical problems and recursively enumerable predicates. Zbl 0051.24509
Davis, Martin
24
1953
all top 5

Cited by 1,477 Authors

20 Shlapentokh, Alexandra
16 Matiyasevich, Yuriĭ Vladimirovich
10 Giunchiglia, Enrico
8 Davis, Martin David
8 Plaisted, David Alan
8 Szeider, Stefan
8 Van Gelder, Allen
7 Katz, Mikhail G.
7 Lauria, Massimo
7 Lierler, Yuliya
7 Manyà, Felip
7 Marques-Silva, João P.
7 Zafiris, Elias
6 Becker, Bernd
6 Biere, Armin
6 Bonacina, Maria Paola
6 Eisenträger, Kirsten
6 Pasten, Hector V.
6 Schaub, Torsten H.
5 Ábrahám, Erika
5 Beyersdorff, Olaf
5 Chen, Jian-er
5 Demeyer, Jeroen
5 Doria, Francisco Antonio
5 Eggers, Andreas
5 Fränzle, Martin
5 Goldberg, Eugene L.
5 Kramosil, Ivan
5 Li, Chumin
5 Lynch, Christopher A.
5 Maratea, Marco
5 Nieuwenhuis, Robert
5 Pheidas, Thanases
5 Selman, Bart
5 Siekmann, Jörg H.
5 Soare, Robert I.
5 Stuckey, Peter James
5 Tacchella, Armando
5 Weidenbach, Christoph
4 Bruni, Renato
4 Costa, José Félix
4 Da Costa, Newton Carneiro Affonso
4 de Moura, Leonardo
4 Glaßer, Christian
4 Gomes, Carla P.
4 Hirsch, Edward A.
4 Hooker, John N. jun.
4 Ibaraki, Toshihide
4 Itsykson, Dmitry M.
4 Jones, James P.
4 Kanovei, Vladimir G.
4 Kullmann, Oliver
4 Kupferschmid, Stefan
4 Lê Văn Băng
4 Lu, Shuwang
4 Lynce, Inês
4 Marquis, Pierre
4 Otto, Friedrich
4 Purdom, Paul Walton jun.
4 Sabharwal, Ashish
4 Saïs, Lakhdar
4 Su, Shenghui
4 Teige, Tino
4 Tinelli, Cesare
4 Vardi, Moshe Y.
4 Vidaux, Xavier
4 Zhang, Hantao
3 Armando, Alessandro
3 Beame, Paul W.
3 Beggs, Edwin J.
3 Benhamou, Belaid
3 Brown, Cynthia A.
3 Buchberger, Bruno
3 Cimatti, Alessandro
3 Cooper, Stuart Barry
3 De Mol, Liesbeth
3 Dershowitz, Nachum
3 Dose, Titus
3 Dubois, Olivier
3 Farmer, William M.
3 Franco, John V.
3 Gebser, Martin
3 Gent, Ian Philip
3 Grégoire, Éric
3 Griggio, Alberto
3 Hernando, Antonio
3 Heule, Marijn J. H.
3 Hutchinson, George K.
3 Järvisalo, Matti
3 Johannsen, Jan
3 Jonsson, Peter A.
3 Kaufmann, Benjamin
3 Kleine Büning, Hans
3 Kremer, Gereon
3 Miller, Russell G.
3 Minker, Jack
3 Monasson, Rémi
3 Myhill, John R.
3 Narendran, Paliath
3 Nordström, Jakob
...and 1,377 more Authors
all top 5

Cited in 230 Serials

94 Theoretical Computer Science
58 Artificial Intelligence
52 Journal of Automated Reasoning
35 Discrete Applied Mathematics
32 The Journal of Symbolic Logic
29 Annals of Pure and Applied Logic
29 Annals of Mathematics and Artificial Intelligence
26 Transactions of the American Mathematical Society
25 Information Processing Letters
23 Journal of Computer and System Sciences
18 Proceedings of the American Mathematical Society
17 Journal of Symbolic Computation
15 Information and Computation
14 Journal of Mathematical Sciences (New York)
13 International Journal of Theoretical Physics
13 Applied Mathematics and Computation
13 Information Sciences
12 The Bulletin of Symbolic Logic
12 Constraints
11 Theory and Practice of Logic Programming
9 Journal of Soviet Mathematics
8 Israel Journal of Mathematics
8 Journal of Algebra
8 Annals of Operations Research
8 Formal Methods in System Design
7 Journal of Number Theory
7 Studia Logica
7 Synthese
6 International Journal of General Systems
5 Acta Informatica
5 Archiv für Mathematische Logik und Grundlagenforschung
5 Journal of Mathematical Physics
5 The Mathematical Intelligencer
5 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
5 Computers & Operations Research
5 European Journal of Operational Research
5 Foundations of Science
4 Mathematical Notes
4 Computing
4 Journal of Mathematical Economics
4 Kybernetika
4 SIAM Journal on Computing
4 Journal of Computer Science and Technology
4 Formal Aspects of Computing
4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
4 Bulletin of the American Mathematical Society. New Series
4 Archive for Mathematical Logic
4 Journal of Applied Non-Classical Logics
4 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
4 Journal of Applied Mathematics
4 Journal of Applied Logic
4 Bulletin of the American Mathematical Society
3 Computers & Mathematics with Applications
3 Discrete Mathematics
3 Journal of the Franklin Institute
3 Journal of Mathematical Analysis and Applications
3 Advances in Mathematics
3 Inventiones Mathematicae
3 Journal of Philosophical Logic
3 Mathematische Annalen
3 Mathematical Social Sciences
3 Operations Research Letters
3 History and Philosophy of Logic
3 International Journal of Parallel Programming
3 Mathematical and Computer Modelling
3 RAIRO. Informatique Théorique et Applications
3 Journal of Logic, Language and Information
3 Mathematical Logic Quarterly (MLQ)
3 The Journal of Logic and Algebraic Programming
3 Natural Computing
3 Foundations of Physics
3 Logica Universalis
3 Formalized Mathematics
3 Prikladnaya Diskretnaya Matematika
2 Archive for Rational Mechanics and Analysis
2 International Journal of Systems Science
2 Chaos, Solitons and Fractals
2 Algebra and Logic
2 BIT
2 Fuzzy Sets and Systems
2 International Journal of Computer & Information Sciences
2 Mathematische Nachrichten
2 Mathematica Slovaca
2 Notre Dame Journal of Formal Logic
2 Programming and Computer Software
2 Siberian Mathematical Journal
2 Advances in Applied Mathematics
2 Science of Computer Programming
2 Algorithmica
2 Random Structures & Algorithms
2 MSCS. Mathematical Structures in Computer Science
2 Historia Mathematica
2 Expositiones Mathematicae
2 Mathematical Programming. Series A. Series B
2 Computational Complexity
2 Mathematical Problems in Engineering
2 Topoi
2 Abstract and Applied Analysis
2 Journal of Scheduling
2 New Journal of Physics
...and 130 more Serials
all top 5

Cited in 53 Fields

669 Computer science (68-XX)
438 Mathematical logic and foundations (03-XX)
112 Number theory (11-XX)
67 Operations research, mathematical programming (90-XX)
44 History and biography (01-XX)
34 Quantum theory (81-XX)
33 Combinatorics (05-XX)
29 Information and communication theory, circuits (94-XX)
22 General and overarching topics; collections (00-XX)
21 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
20 Field theory and polynomials (12-XX)
20 Probability theory and stochastic processes (60-XX)
17 Category theory; homological algebra (18-XX)
16 Group theory and generalizations (20-XX)
16 Real functions (26-XX)
16 Numerical analysis (65-XX)
14 Order, lattices, ordered algebraic structures (06-XX)
14 Algebraic geometry (14-XX)
10 Ordinary differential equations (34-XX)
9 Dynamical systems and ergodic theory (37-XX)
9 Biology and other natural sciences (92-XX)
8 Statistical mechanics, structure of matter (82-XX)
7 Functional analysis (46-XX)
7 General topology (54-XX)
6 General algebraic systems (08-XX)
6 Topological groups, Lie groups (22-XX)
6 Statistics (62-XX)
6 Systems theory; control (93-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
5 Measure and integration (28-XX)
5 Differential geometry (53-XX)
4 Commutative algebra (13-XX)
4 Associative rings and algebras (16-XX)
4 Functions of a complex variable (30-XX)
4 Partial differential equations (35-XX)
4 Operator theory (47-XX)
4 Global analysis, analysis on manifolds (58-XX)
3 Approximations and expansions (41-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
3 Geometry (51-XX)
3 Convex and discrete geometry (52-XX)
3 Mechanics of particles and systems (70-XX)
3 Fluid mechanics (76-XX)
3 Relativity and gravitational theory (83-XX)
2 Several complex variables and analytic spaces (32-XX)
2 Special functions (33-XX)
2 Difference and functional equations (39-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Algebraic topology (55-XX)
2 Manifolds and cell complexes (57-XX)
1 Potential theory (31-XX)
1 Mechanics of deformable solids (74-XX)
1 Classical thermodynamics, heat transfer (80-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.