Davis, Martin 1928
Overview
Works:  79 works in 502 publications in 7 languages and 9,578 library holdings 

Genres:  History Biographies Documentary films Biographical films Nonfiction films Pictorial works Conference papers and proceedings 
Roles:  Author, Editor, Translator, Interviewee, Author of introduction, Contributor, wpr, htt, Artist, Other, Actor 
Classifications:  QA76.17, 511.3 
Publication Timeline
.
Most widely held works about
Martin Davis
 Papers by Emil Leon Post( )
 Martin Davis on Computability, Computational Logic, and Mathematical Foundations by Eugenio Omodeo( Book )
Most widely held works by
Martin Davis
The universal computer : the road from Leibniz to Turing by
Martin Davis(
Book
)
45 editions published between 2000 and 2018 in English and held by 1,783 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
45 editions published between 2000 and 2018 in English and held by 1,783 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, complexity, and languages : fundamentals of theoretical computer science by
Martin Davis(
Book
)
55 editions published between 1983 and 2015 in English and Italian and held by 1,380 WorldCat member libraries worldwide
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.* Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a ""universal"" program that takes up less than a page.* The number of exercises included has more than tripled.* Automata theory, computational logic, and complexit
55 editions published between 1983 and 2015 in English and Italian and held by 1,380 WorldCat member libraries worldwide
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.* Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a ""universal"" program that takes up less than a page.* The number of exercises included has more than tripled.* Automata theory, computational logic, and complexit
Computability & unsolvability by
Martin Davis(
Book
)
62 editions published between 1958 and 2013 in 5 languages and held by 1,326 WorldCat member libraries worldwide
Cover; Title Page; Copyright Page; Dedication; Preface to the Dover Edition; Preface to the First Edition; Contents; Glossary of Special Symbols; 1. Heuristic Remarks on Decision Problems; 2. Suggestions to the Reader; 3. Notational Conventions; Introduction; PART 1: THE GENERAL THEORY OF COMPUTABILITY; Chapter 1. Computable Functions; 1. Turing Machines; 2. Computable Functions and Partially Computable Functions; 3. Some Examples; 4. Relatively Computable Functions; Chapter 2. Operations on Computable Functions; 1. Preliminary Lemmas; 2. Composition and Minimalization
62 editions published between 1958 and 2013 in 5 languages and held by 1,326 WorldCat member libraries worldwide
Cover; Title Page; Copyright Page; Dedication; Preface to the Dover Edition; Preface to the First Edition; Contents; Glossary of Special Symbols; 1. Heuristic Remarks on Decision Problems; 2. Suggestions to the Reader; 3. Notational Conventions; Introduction; PART 1: THE GENERAL THEORY OF COMPUTABILITY; Chapter 1. Computable Functions; 1. Turing Machines; 2. Computable Functions and Partially Computable Functions; 3. Some Examples; 4. Relatively Computable Functions; Chapter 2. Operations on Computable Functions; 1. Preliminary Lemmas; 2. Composition and Minimalization
Applied nonstandard analysis by
Martin Davis(
Book
)
36 editions published between 1977 and 2014 in 4 languages and held by 807 WorldCat member libraries worldwide
Geared toward upperlevel undergraduates and graduate students, this text explores the applications of nonstandard analysis without assuming any knowledge of mathematical logic. It develops the key techniques of nonstandard analysis at the outset from a single, powerful construction; then, beginning with a nonstandard construction of the real number system, it leads students through a nonstandard treatment of the basic topics of elementary real analysis, topological spaces, and Hilbert space. Important topics include nonstandard treatments of equicontinuity, nonmeasurable sets, and the existence of Haar measure. The focus on compact operators on a Hilbert space includes the BernsteinRobinson theorem on invariant subspaces, which was first proved with nonstandard methods. Ever mindful of the needs of readers with little background in these subjects, the text offers a straightforward treatment that provides a strong foundation for advanced studies of analysis
36 editions published between 1977 and 2014 in 4 languages and held by 807 WorldCat member libraries worldwide
Geared toward upperlevel undergraduates and graduate students, this text explores the applications of nonstandard analysis without assuming any knowledge of mathematical logic. It develops the key techniques of nonstandard analysis at the outset from a single, powerful construction; then, beginning with a nonstandard construction of the real number system, it leads students through a nonstandard treatment of the basic topics of elementary real analysis, topological spaces, and Hilbert space. Important topics include nonstandard treatments of equicontinuity, nonmeasurable sets, and the existence of Haar measure. The focus on compact operators on a Hilbert space includes the BernsteinRobinson theorem on invariant subspaces, which was first proved with nonstandard methods. Ever mindful of the needs of readers with little background in these subjects, the text offers a straightforward treatment that provides a strong foundation for advanced studies of analysis
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions by
Martin Davis(
Book
)
29 editions published between 1955 and 2004 in English and held by 725 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
29 editions published between 1955 and 2004 in English and held by 725 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
)
36 editions published between 1966 and 2013 in English and Undetermined and held by 535 WorldCat member libraries worldwide
This introduction to functional analysis is based on the lecture notes of Martin Davis, a distinguished professor of mathematics. The treatment demonstrates the essential unity of mathematics without assuming more background than can be expected of advanced undergraduates and graduate students majoring in mathematics.A selfcontained exposition of Gelfand's proof of Wiener's theorem, this volume 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. Numerous problem
36 editions published between 1966 and 2013 in English and Undetermined and held by 535 WorldCat member libraries worldwide
This introduction to functional analysis is based on the lecture notes of Martin Davis, a distinguished professor of mathematics. The treatment demonstrates the essential unity of mathematics without assuming more background than can be expected of advanced undergraduates and graduate students majoring in mathematics.A selfcontained exposition of Gelfand's proof of Wiener's theorem, this volume 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. Numerous problem
From linear operators to computational biology : essays in memory of Jacob T. Schwartz by
Martin Davis(
)
10 editions published between 2012 and 2013 in English and held by 447 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
10 editions published between 2012 and 2013 in English and held by 447 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
Logic for programming, artificial intelligence, and reasoning 20th international conference, LPAR20 2015, Suva, Fiji, November
2428, 2015 ; proceedings by LPAR(
)
12 editions published in 2015 in English and German and held by 365 WorldCat member libraries worldwide
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cuttingedge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world
12 editions published in 2015 in English and German and held by 365 WorldCat member libraries worldwide
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cuttingedge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world
Lectures on modern mathematics by
Martin Davis(
Book
)
13 editions published between 1966 and 1967 in English and held by 334 WorldCat member libraries worldwide
13 editions published between 1966 and 1967 in English and held by 334 WorldCat member libraries worldwide
Differential and integral calculus by
Edmund Landau(
Book
)
8 editions published between 1960 and 2001 in 3 languages and held by 223 WorldCat member libraries worldwide
8 editions published between 1960 and 2001 in 3 languages and held by 223 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 German and held by 211 WorldCat member libraries worldwide
13 editions published between 1993 and 1994 in English and German and held by 211 WorldCat member libraries worldwide
Engines of logic : mathematicians and the origin of the computer by
Martin Davis(
Book
)
11 editions published between 2000 and 2001 in English and held by 203 WorldCat member libraries worldwide
"This book is about the underlying concepts on which our modern computers are based and about the people who developed these concepts ... it includes the stories of the lives of these people and explains some of their thought
11 editions published between 2000 and 2001 in English and held by 203 WorldCat member libraries worldwide
"This book is about the underlying concepts on which our modern computers are based and about the people who developed these concepts ... it includes the stories of the lives of these people and explains some of their thought
Computability, 19731974 by
Martin Davis(
Book
)
13 editions published in 1974 in English and Undetermined and held by 179 WorldCat member libraries worldwide
13 editions published in 1974 in English and Undetermined and held by 179 WorldCat member libraries worldwide
Julia Robinson and Hilbert's tenth problem by
George Paul Csicsery(
Visual
)
5 editions published in 2008 in English and Undetermined and held by 112 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
5 editions published in 2008 in English and Undetermined and held by 112 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
Introduction to modern algebra and matrix theory by
O Schreier(
Book
)
5 editions published between 1951 and 1959 in English and held by 104 WorldCat member libraries worldwide
"This unique text provides students with a basic course in both calculus and analytic geometry. It promotes an intuitive approach to calculus and emphasizes algebraic concepts. Minimal prerequisites. Numerous exercises. 1951 edition"
5 editions published between 1951 and 1959 in English and held by 104 WorldCat member libraries worldwide
"This unique text provides students with a basic course in both calculus and analytic geometry. It promotes an intuitive approach to calculus and emphasizes algebraic concepts. Minimal prerequisites. Numerous exercises. 1951 edition"
Banno konpyuta : Raipunittsu kara churingu eno michisuji : Churingu seitan hyakushunen kinenban by
Martin Davis(
)
4 editions published in 2016 in Japanese and Undetermined and held by 84 WorldCat member libraries worldwide
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians
4 editions published in 2016 in Japanese and Undetermined and held by 84 WorldCat member libraries worldwide
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians
The greatest of them all : the legend of Bobby Jones by
Martin Davis(
Book
)
2 editions published in 1996 in English and held by 69 WorldCat member libraries worldwide
"Bob Jones was arguably the most dominant golfer of all time. He won 13 major championships in all, including all four majors in 1930, perhaps the one feat in all of sport that will never be duplicated. Incredibly, he was an amateur who played only sparingly and retired at the age of 28. Through his exploits and deeds, he captured the imagination of people  golfers and nongolfers alike  on both sides of the Atlantic." "But Bob Jones was more than just a golfer, for his accomplishments and pursuits in the other facets of his life rivaled those on the links  his high level of educational achievement, his cultural interests and his sense of modesty and fair play." "In words and pictures, The Greatest of Them All tells the story of Bob Jones. We are indeed fortunate to utilize the talents of some of the finest writers on the scene today  Alistair Cooke, the esteemed author and commentator, Dave Anderson, the Pulitzer Prize winning columnist for The New York Times, Ben Crenshaw, the twotime Masters winner and golf historian, Peter Dobereiner, the dean of the British golf writers, Nick Seitz, the longtime editorial director for Golf Digest and Larry Dorman, the fine golf writer for The New York Times. Most of the blackandwhite photos in The Greatest of Them All are 70 years old or more. Each has been carefully selected out of approximately 10,000 viewed and then color separated so as to bring out an added dimension and richness. Finally, the book was printed in six colors on some of the finest papers available by one of the world's foremost printers."Jacket
2 editions published in 1996 in English and held by 69 WorldCat member libraries worldwide
"Bob Jones was arguably the most dominant golfer of all time. He won 13 major championships in all, including all four majors in 1930, perhaps the one feat in all of sport that will never be duplicated. Incredibly, he was an amateur who played only sparingly and retired at the age of 28. Through his exploits and deeds, he captured the imagination of people  golfers and nongolfers alike  on both sides of the Atlantic." "But Bob Jones was more than just a golfer, for his accomplishments and pursuits in the other facets of his life rivaled those on the links  his high level of educational achievement, his cultural interests and his sense of modesty and fair play." "In words and pictures, The Greatest of Them All tells the story of Bob Jones. We are indeed fortunate to utilize the talents of some of the finest writers on the scene today  Alistair Cooke, the esteemed author and commentator, Dave Anderson, the Pulitzer Prize winning columnist for The New York Times, Ben Crenshaw, the twotime Masters winner and golf historian, Peter Dobereiner, the dean of the British golf writers, Nick Seitz, the longtime editorial director for Golf Digest and Larry Dorman, the fine golf writer for The New York Times. Most of the blackandwhite photos in The Greatest of Them All are 70 years old or more. Each has been carefully selected out of approximately 10,000 viewed and then color separated so as to bring out an added dimension and richness. Finally, the book was printed in six colors on some of the finest papers available by one of the world's foremost printers."Jacket
Alan M. Turing by
Sara Turing(
)
15 editions published between 2012 and 2018 in English and Spanish and held by 68 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
15 editions published between 2012 and 2018 in English and Spanish and held by 68 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
Uncrackable data banks by
Norman Z 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
Hilbert's tenth problem by
I︠U︡. V Matii︠a︡sevich(
)
6 editions published between 1993 and 1996 in English and held by 60 WorldCat member libraries worldwide
Annotation
6 editions published between 1993 and 1996 in English and held by 60 WorldCat member libraries worldwide
Annotation
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Weyuker, Elaine J. Editor
 Sigal, Ron Editor
 Schonberg, Edmond Editor
 Voronkov, Andrei Other Editor
 McIver, Annabelle Other Editor
 Fehnker, Ansgar Other Editor
 Hausner, Melvin Translator Contributor
 Courant Institute of Mathematical Sciences
 Landau, Edmund 18771938 Author
 Post, Emil Leon 18971954 Author
Useful Links
Associated Subjects
Algebra Algebras, Linear Algorithms Artificial intelligence Automation Calculus Calculus, Integral Computable functions Computable functionsData processing Computational biology Computational complexity Computer engineering Computers Computer science Differential calculus Electronic digital computers Euclidean algorithm Formal languages Functional analysis Geometry, Analytic Gödel's theorem Golf Golfers Great Britain Group theory Hilbert, David, Hilbert's tenth problem Information storage and retrieval systems Jones, Bobby, Linear operators Logic, Symbolic and mathematical Machine theory Mathematicians Mathematics Matrices Nonstandard mathematical analysis Post, Emil Leon, Privacy, Right of Programming languages (Electronic computers) Quantum theory Recursive functions Recursive functionsData processing Robinson, Julia, Robotics Turing, Alan, Turing machines United States Unsolvability (Mathematical logic) Women Women mathematicians
Covers
Alternative Names
David, M
Davis, M. 1928
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 matamaiticeoir Meiriceánach
Martin Davis matemàtic estatunidenc
Martin Davis matemático estadounidense
Martin Davis matematico statunitense
Martin Davis matemáticu estauxunidense
Martin Davis matematikan amerikan
Martin Davis mathématicien américain
Девис М.
Девис, М 1928
Девис, М. (Мартин), 1928
Мартин Дэвис американский математик
Мартін Девіс
מרטין דייוויס מתמטיקאי אמריקאי
مارتن ديفيس رياضياتي أمريكي
مارتین دیویس ریاضیدان آمریکایی
ディヴィス, マーティン
デービス, M.
マーチン・デービス
马丁·戴维·戴维斯 美国数学家
马丁·戴维斯
Languages