Martin Davis

Publication Activity (10 Years)

Years Active: 1953-2021
Publications (10 Years): 3

Top Topics

Computer Science

Computational Neuroscience

Neurodegenerative Diseases

Top Venues

Frontiers Comput. Sci.

Fields of Logic and Computation III

Publications

Martin Davis
The Brain-As-Computer Metaphor. Frontiers Comput. Sci. 3 (2021)
Martin Davis
Seventy Years of Computer Science. Fields of Logic and Computation III (2020)
Martin Davis
Turing's Vision and Deep Learning. CiE (2018)
Martin Davis
Diophantine Equations and Computation. UC (2009)
Martin Davis
Sex and the mathematician: The High School Prom Theorem. Games Econ. Behav. 66 (2) (2009)
Martin Davis
Inexhaustibility: A Non-Exhaustive Treatment by Torkel Franzén; Gödel's Theorem: An Incomplete Guide to Its Use and Misuse by Torkel Franzén. Am. Math. Mon. 115 (3) (2008)
Martin Davis
SAT: Past and Future. SAT (2007)
Martin Davis
Why there is no such discipline as hypercomputation. Appl. Math. Comput. 178 (1) (2006)
Martin Davis
The Church-Turing Thesis: Consensus and Opposition. CiE (2006)
Martin Davis
What did Gödel believe and when did he believe it? Bull. Symb. Log. 11 (2) (2005)
Martin Davis
An Appreciation of Bob Paige. High. Order Symb. Comput. 18 (1-2) (2005)
Martin Davis
American logic in the 1920s. Bull. Symb. Log. 1 (3) (1995)
Martin Davis, Ronald Fechter
A Free Variable Version of the First-Order Predicate Calculus. J. Log. Comput. 1 (4) (1991)
Martin Davis
Emil Post's Contributions to Computer Science LICS (1989)
Martin Davis, Rohit Parikh
Meeting of the Association for Symbolic Logic: New York City, May 1987. J. Symb. Log. 53 (4) (1988)
Martin Davis, E. G. K. López-Escobar, Wilfried Sieg
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. J. Symb. Log. 51 (4) (1986)
Martin Davis
Why Gödel Didn't Have Church's Thesis Inf. Control. 54 (1/2) (1982)
Martin Davis, Carl Smith, Paul Young
Introduction Inf. Control. 52 (1) (1982)
Martin Davis, Carl Smith, Paul Young
Introduction Inf. Control. 54 (1/2) (1982)
Martin Davis
Obvious Logical Inferences. IJCAI (1981)
Martin Davis
The Mathematics of Non-Monotonic Reasoning. Artif. Intell. 13 (1-2) (1980)
Martin Davis
Meeting of the Association for Symbolic Logic. J. Symb. Log. 31 (4) (1966)
Martin Davis, George Logemann, Donald W. Loveland
A machine program for theorem-proving. Commun. ACM 5 (7) (1962)
Martin Davis, Hilary Putnam
A Computing Procedure for Quantification Theory. J. ACM 7 (3) (1960)
Martin Davis, Hilary Putnam
Reductions of Hilbert's Tenth Problem. J. Symb. Log. 23 (2) (1958)
Martin Davis
Arithmetical Problems and Recursively Enumerable Predicates. J. Symb. Log. 18 (1) (1953)