Davis, Martin 1928
Overview
Works:  50 works in 376 publications in 7 languages and 8,212 library holdings 

Genres:  History Biography Documentary films Biographical films Nonfiction films 
Roles:  Author, Editor, Interviewee, Author of introduction, Translator, wpr 
Classifications:  QA248.5, 004.09 
Publication Timeline
.
Most widely held works by
Martin Davis
The universal computer : the road from Leibniz to Turing by
Martin Davis(
Book
)
37 editions published between 2000 and 2012 in English and Finnish and held by 1,554 WorldCat member libraries worldwide
The author looks at mathematical pioneers and the development of computers, focusing on the contributions of such innovators as G.W. Leibniz, George Boole, Gottlob Frege, Georg Cantor, David Hilbert, Kurt Gödel, and Alan Turing
37 editions published between 2000 and 2012 in English and Finnish and held by 1,554 WorldCat member libraries worldwide
The author looks at mathematical pioneers and the development of computers, focusing on the contributions of such innovators as G.W. Leibniz, George Boole, Gottlob Frege, Georg Cantor, David Hilbert, Kurt Gödel, and Alan Turing
Computability & unsolvability by
Martin Davis(
Book
)
57 editions published between 1958 and 2013 in 4 languages and held by 1,277 WorldCat member libraries worldwide
In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and nonspecialists alike. In Part One (Chapters 1{u2013}5), Professor Davis outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, selfapplied, and unsolvable decision problems. The author has been careful, especially in the first seven chapters, to assume no special mathematical training on the part of the reader. Part Two (Chapters 6{u2013}8) comprises a concise treatment of applications of the general theory, incorporating material on combinatorial problems, Diophantine Equations (including Hilbert's Tenth Problem) and mathematical logic. The final three chapters (Part 3) present further development of the general theory, encompassing the Kleene hierarchy, computable functionals, and the classification of unsolvable decision problems. When first published in 1958, this work introduced much terminology that has since become standard in theoretical computer science. Indeed, the stature of the book is such that many computer scientists regard it as their theoretical introduction to the topic. This new Dover edition makes this pioneering, widely admired text available in an inexpensive format. For Dover's edition, Dr. Davis has provided a new Preface and an Appendix, "Hilbert's Tenth Problem Is Unsolvable," an important article he published in The American Mathematical Monthly in 1973, which was awarded prizes by the American Mathematical Society and the Mathematical Association of America. These additions further enhance the value and usefulness of an "unusually clear and stimulating exposition" (Centre National de la Recherche Scientifique, Paris) now available for the first time in paperback
57 editions published between 1958 and 2013 in 4 languages and held by 1,277 WorldCat member libraries worldwide
In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and nonspecialists alike. In Part One (Chapters 1{u2013}5), Professor Davis outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, selfapplied, and unsolvable decision problems. The author has been careful, especially in the first seven chapters, to assume no special mathematical training on the part of the reader. Part Two (Chapters 6{u2013}8) comprises a concise treatment of applications of the general theory, incorporating material on combinatorial problems, Diophantine Equations (including Hilbert's Tenth Problem) and mathematical logic. The final three chapters (Part 3) present further development of the general theory, encompassing the Kleene hierarchy, computable functionals, and the classification of unsolvable decision problems. When first published in 1958, this work introduced much terminology that has since become standard in theoretical computer science. Indeed, the stature of the book is such that many computer scientists regard it as their theoretical introduction to the topic. This new Dover edition makes this pioneering, widely admired text available in an inexpensive format. For Dover's edition, Dr. Davis has provided a new Preface and an Appendix, "Hilbert's Tenth Problem Is Unsolvable," an important article he published in The American Mathematical Monthly in 1973, which was awarded prizes by the American Mathematical Society and the Mathematical Association of America. These additions further enhance the value and usefulness of an "unusually clear and stimulating exposition" (Centre National de la Recherche Scientifique, Paris) now available for the first time in paperback
Computability, complexity, and languages : fundamentals of theoretical computer science by
Martin Davis(
Book
)
45 editions published between 1983 and 2009 in 3 languages and held by 1,196 WorldCat member libraries worldwide
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes very little background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability
45 editions published between 1983 and 2009 in 3 languages and held by 1,196 WorldCat member libraries worldwide
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes very little background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability
Applied nonstandard analysis by
Martin Davis(
Book
)
33 editions published between 1977 and 2014 in 4 languages and held by 729 WorldCat member libraries worldwide
2 Nonstandard Theory of Archimedean Fields3 The Real Numbers; 4 The Hyperreal Numbers; 5 Real Sequences and Functions; 6 Prolongation Theorems; 7 Nonstandard Differential Calculus; 8 Additivity; 9 The Existence of Nonmeasurable Sets; Exercises; Chapter 3 Topological and Metric Spaces; 1 Topological Spaces; 2 Mappings and Products; 3 Topological Groups; 4 The Existence of Haar Measure; 5 Metric Spaces; 6 Uniform Convergence; 7 Uniform Continuity and Equicontinuity; 8 Compact Mappings; Chapter 4 Normed Linear Spaces; 1 Linear Spaces; 2 Compact Operators
33 editions published between 1977 and 2014 in 4 languages and held by 729 WorldCat member libraries worldwide
2 Nonstandard Theory of Archimedean Fields3 The Real Numbers; 4 The Hyperreal Numbers; 5 Real Sequences and Functions; 6 Prolongation Theorems; 7 Nonstandard Differential Calculus; 8 Additivity; 9 The Existence of Nonmeasurable Sets; Exercises; Chapter 3 Topological and Metric Spaces; 1 Topological Spaces; 2 Mappings and Products; 3 Topological Groups; 4 The Existence of Haar Measure; 5 Metric Spaces; 6 Uniform Convergence; 7 Uniform Continuity and Equicontinuity; 8 Compact Mappings; Chapter 4 Normed Linear Spaces; 1 Linear Spaces; 2 Compact Operators
The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions by
Martin Davis(
Book
)
28 editions published between 1955 and 2004 in English and held by 721 WorldCat member libraries worldwide
An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gödel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Goèdel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. from publisher description
28 editions published between 1955 and 2004 in English and held by 721 WorldCat member libraries worldwide
An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gödel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Goèdel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. from publisher description
A first course in functional analysis by
Martin Davis(
Book
)
32 editions published between 1966 and 2013 in English and Undetermined and held by 444 WorldCat member libraries worldwide
Designed for undergraduate mathematics majors, this introductory treatment is based on the distinguished author's lecture notes. The selfcontained exposition of Gelfand's proof of Wiener's theorem explores set theoretic preliminaries, normed linear spaces and algebras, functions on Banach spaces, homomorphisms on normed linear spaces, and analytic functions into a Banach space. 1966 edition
32 editions published between 1966 and 2013 in English and Undetermined and held by 444 WorldCat member libraries worldwide
Designed for undergraduate mathematics majors, this introductory treatment is based on the distinguished author's lecture notes. The selfcontained exposition of Gelfand's proof of Wiener's theorem explores set theoretic preliminaries, normed linear spaces and algebras, functions on Banach spaces, homomorphisms on normed linear spaces, and analytic functions into a Banach space. 1966 edition
Lectures on modern mathematics by
Martin Davis(
Book
)
13 editions published between 1966 and 1967 in English and held by 347 WorldCat member libraries worldwide
13 editions published between 1966 and 1967 in English and held by 347 WorldCat member libraries worldwide
Solvability, provability, definability : the collected works of Emil L. Post by
Emil Leon Post(
Book
)
13 editions published between 1993 and 1994 in English and held by 202 WorldCat member libraries worldwide
13 editions published between 1993 and 1994 in English and held by 202 WorldCat member libraries worldwide
Computability, 19731974 by
Martin Davis(
Book
)
5 editions published in 1974 in English and held by 151 WorldCat member libraries worldwide
5 editions published in 1974 in English and held by 151 WorldCat member libraries worldwide
Julia Robinson and Hilbert's tenth problem(
Visual
)
3 editions published in 2008 in English and Undetermined and held by 110 WorldCat member libraries worldwide
"Julia Robinson was the first woman elected to the mathematical section of the National Academy of Sciences, and the first woman to become president of the American Mathematical Society. While tracing Robinson's contribution to the solution of Hilbert's tenth problem, the film illuminates how her work led to an unusual friendship between Russian and American colleagues at the height of the Cold War."Container
3 editions published in 2008 in English and Undetermined and held by 110 WorldCat member libraries worldwide
"Julia Robinson was the first woman elected to the mathematical section of the National Academy of Sciences, and the first woman to become president of the American Mathematical Society. While tracing Robinson's contribution to the solution of Hilbert's tenth problem, the film illuminates how her work led to an unusual friendship between Russian and American colleagues at the height of the Cold War."Container
Lecture notes on mathematical logic : Fall 1959. by
Martin Davis(
Book
)
10 editions published in 1959 in English and held by 82 WorldCat member libraries worldwide
10 editions published in 1959 in English and held by 82 WorldCat member libraries worldwide
Uncrackable data banks by
Norman Zalmon Shapiro(
Book
)
3 editions published between 1973 and 1975 in English and held by 65 WorldCat member libraries worldwide
3 editions published between 1973 and 1975 in English and held by 65 WorldCat member libraries worldwide
Computability by
Martin Davis(
Book
)
7 editions published in 1974 in English and Undetermined and held by 27 WorldCat member libraries worldwide
7 editions published in 1974 in English and Undetermined and held by 27 WorldCat member libraries worldwide
From linear operators to computational biology : essays in memory of Jacob T. Schwartz by
Martin Davis(
Book
)
7 editions published between 2012 and 2013 in English and held by 26 WorldCat member libraries worldwide
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics. In addition to presenting recent results in these fields, these essays illuminate the astonishingly productive trajectory of a brilliant and original scientist and thinker
7 editions published between 2012 and 2013 in English and held by 26 WorldCat member libraries worldwide
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics. In addition to presenting recent results in these fields, these essays illuminate the astonishingly productive trajectory of a brilliant and original scientist and thinker
Il calcolatore universale : da Leibniz a Turing by
Martin Davis(
Book
)
4 editions published between 2003 and 2012 in Italian and held by 25 WorldCat member libraries worldwide
4 editions published between 2003 and 2012 in Italian and held by 25 WorldCat member libraries worldwide
Hilbert's tenth problem by
I︠U︡. V Matii︠a︡sevich(
Book
)
4 editions published between 1993 and 1996 in English and held by 22 WorldCat member libraries worldwide
4 editions published between 1993 and 1996 in English and held by 22 WorldCat member libraries worldwide
One equation to rule them all by
Martin Davis(
Book
)
4 editions published between 1965 and 1968 in English and held by 22 WorldCat member libraries worldwide
The report describes an application of recursive function theory to Hilbert's tenth problem. It is proved that if a particular exhibited diophantine equation has no nontrivial solutions, then all recursively enumerable sets are diophantine. Hence, if the exhibited diophantine equation has no nontrivial solutions, then Hilbert's tenth problem is recursively unsolvable. The methods used can be readily adapted to obtained various other hypotheses about which demonstrations can be made similar to the one given in this study. It has not yet been proved that the 'one equation to rule them all' has no nontrivial solution, but so far the search for counterexamples has been fruitless
4 editions published between 1965 and 1968 in English and held by 22 WorldCat member libraries worldwide
The report describes an application of recursive function theory to Hilbert's tenth problem. It is proved that if a particular exhibited diophantine equation has no nontrivial solutions, then all recursively enumerable sets are diophantine. Hence, if the exhibited diophantine equation has no nontrivial solutions, then Hilbert's tenth problem is recursively unsolvable. The methods used can be readily adapted to obtained various other hypotheses about which demonstrations can be made similar to the one given in this study. It has not yet been proved that the 'one equation to rule them all' has no nontrivial solution, but so far the search for counterexamples has been fruitless
Alan M. Turing by
Sara Turing(
Book
)
9 editions published between 2012 and 2015 in English and held by 20 WorldCat member libraries worldwide
'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since his suicide, Turing's reputation has only grown, as his contributions to logic, mathematics, computing, artificial intelligence and computational biology have become better appreciated. To commemorate the centenary of Turing's birth, this republication of his mother's biography is enriched by a new foreword by Martin Davis and a neverbeforepublished memoir by Alan's older brother. The contrast between this memoir and the original biography reveals tensions and sheds new light on Turing's relationship with his family, and on the man himself
9 editions published between 2012 and 2015 in English and held by 20 WorldCat member libraries worldwide
'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since his suicide, Turing's reputation has only grown, as his contributions to logic, mathematics, computing, artificial intelligence and computational biology have become better appreciated. To commemorate the centenary of Turing's birth, this republication of his mother's biography is enriched by a new foreword by Martin Davis and a neverbeforepublished memoir by Alan's older brother. The contrast between this memoir and the original biography reveals tensions and sheds new light on Turing's relationship with his family, and on the man himself
Paradigms and fairy tales : an introduction to the science of meanings by
Julienne Ford(
Book
)
1 edition published in 1975 in English and held by 20 WorldCat member libraries worldwide
1 edition published in 1975 in English and held by 20 WorldCat member libraries worldwide
Differential and integral calculus by
Edmund Landau(
Book
)
7 editions published between 1951 and 2001 in English and Spanish and held by 18 WorldCat member libraries worldwide
7 editions published between 1951 and 2001 in English and Spanish and held by 18 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Weyuker, Elaine J. Editor
 Sigal, Ron Editor
 Schonberg, Edmond Editor
 Courant Institute of Mathematical Sciences
 Post, Emil Leon 18971954 Author
 Jacobs, Barry
 Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.) Interviewee Author
 Putnam, Hilary Interviewee
 Silver, Charles L.
 Skloot, Tal Film editor
Useful Links
Associated Subjects
Algorithms American Mathematical Society Artificial intelligence Automation Calculus Calculus, Integral City University of New York.City College Computable functions Computable functionsData processing Computational biology Computational complexity Computer engineering Computers Computer science Differential calculus Diophantine analysis Electronic digital computers Formal languages Functional analysis Gödel's theorem Great Britain Hilbert, David, Hilbert's tenth problem Information storage and retrieval systems Linear operators Logic, Symbolic and mathematical Machine theory Mathematicians Mathematics Meaning (Philosophy) Nonstandard mathematical analysis Post, Emil Leon, Privacy, Right of Programming languages (Electronic computers) Quantum theory Quine, W. V.(Willard Van Orman) Reality Recursive functions Recursive functionsData processing Robinson, Julia, Robotics Sampling (Statistics) Social sciencesMethodology SociologyMethodology Turing, Alan Mathison, Turing machines United States Unsolvability (Mathematical logic) Women Women mathematicians
Alternative Names
David, M
Davis, Martin
Davis, Martin D.
Davis Martin D. 1928....
Devis, M.
Martin Davis Amerikaans wiskundige
Martin Davis amerikai matematikus
Martin Davis amerikanischer Logiker
Martin Davis amerikansk matematikar
Martin Davis amerikansk matematiker
Martin Davis matematico statunitense
Martin Davis mathématicien américain
Девис, М..
Девис, М 1928
Девис, М. (Мартин), 1928
Мартин Дэвис американский математик
Мартін Девіс
مارتین دیویس ریاضیدان آمریکایی
ディヴィス, マーティン
デービス, M.
マーチン・デービス
馬丁·戴維斯
Languages
Covers