WorldCat Identities

Davis, Martin 1928-

Overview
Works: 54 works in 288 publications in 2 languages and 7,478 library holdings
Genres: History  Biography 
Roles: Editor, Interviewee, Author of introduction, Translator
Classifications: QA248.5, 004.09
Publication Timeline
Key
Publications about  Martin Davis Publications about Martin Davis
Publications by  Martin Davis Publications by Martin Davis
Most widely held works about Martin Davis
 
Most widely held works by Martin Davis
The universal computer : the road from Leibniz to Turing by Martin Davis ( Book )
28 editions published between 2000 and 2012 in English and held by 1,640 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 )
41 editions published between 1958 and 2013 in English and Undetermined and held by 1,307 WorldCat member libraries worldwide
Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable
Computability, complexity, and languages : fundamentals of theoretical computer science by Martin Davis ( Book )
34 editions published between 1983 and 2002 in English and held by 1,170 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
The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions by Martin Davis ( Book )
24 editions published between 1955 and 2004 in English and held by 729 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
Applied nonstandard analysis by Martin Davis ( Book )
16 editions published between 1977 and 2005 in English and Undetermined and held by 698 WorldCat member libraries worldwide
A first course in functional analysis by Martin Davis ( Book )
22 editions published between 1966 and 2013 in English and Undetermined and held by 490 WorldCat member libraries worldwide
Designed for undergraduate mathematics majors, this introductory treatment is based on the distinguished author's lecture notes. The self-contained 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 )
11 editions published between 1966 and 1967 in English and held by 346 WorldCat member libraries worldwide
From linear operators to computational biology essays in memory of Jacob T. Schwartz by Martin Davis ( )
8 editions published between 2012 and 2013 in English and held by 300 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 presenti
Solvability, provability, definability : the collected works of Emil L. Post by Emil Leon Post ( Book )
10 editions published between 1993 and 1994 in English and held by 190 WorldCat member libraries worldwide
Computability, 1973-1974 by Martin Davis ( Book )
6 editions published in 1974 in English and held by 147 WorldCat member libraries worldwide
Julia Robinson and Hilbert's tenth problem ( Visual )
1 edition published in 2008 in English and held by 97 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 )
5 editions published in 1959 in English and held by 75 WorldCat member libraries worldwide
Uncrackable data banks by Norman Zalmon Shapiro ( Book )
1 edition published in 1973 in English and held by 62 WorldCat member libraries worldwide
Computability by Martin Davis ( Book )
5 editions published in 1974 in English and held by 24 WorldCat member libraries worldwide
Hilbert's tenth problem by I︠U︡. V Matii︠a︡sevich ( Book )
3 editions published between 1993 and 1996 in English and held by 21 WorldCat member libraries worldwide
The universal computer the road from Liebniz [sic] to Turing by Martin Davis ( )
1 edition published in 2012 in English and held by 19 WorldCat member libraries worldwide
One equation to rule them all by Martin Davis ( Book )
1 edition published in 1968 in English and held by 18 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 17 WorldCat member libraries worldwide
La Computadora universal : de Leibniz a Turing by Martin Davis ( Book )
3 editions published in 2002 in Spanish and held by 11 WorldCat member libraries worldwide
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 9 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.00 for Papers, ... to 0.96 for One equati ...)
Alternative Names
Davis, Martin
Davis, Martin D.
Davis, Martin D., 1928-
Devis, M.
Девис, М. (Мартин), 1928-
ディヴィス, マーティン
デービス, M
Languages
English (219)
Spanish (4)
Covers