WorldCat Identities

Davis, Martin 1928-

Works: 126 works in 363 publications in 2 languages and 8,803 library holdings
Genres: History  Biography  Pictorial works  Biography‡vPictorial works 
Roles: Editor, Interviewee, Author of introduction, Translator, Dancer, Producer, Artist
Classifications: QA248.5, 004.09
Publication Timeline
Publications about  Martin Davis Publications about Martin Davis
Publications by  Martin Davis Publications by Martin Davis
Most widely held works by Martin Davis
The universal computer : the road from Leibniz to Turing by Martin Davis ( Book )
29 editions published between 2000 and 2012 in English and held by 1,653 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 )
44 editions published between 1958 and 2013 in English and Undetermined and held by 1,319 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 )
20 editions published between 1983 and 1994 in English and Italian and held by 1,140 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 )
23 editions published between 1955 and 2004 in English and held by 718 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 )
17 editions published between 1977 and 2005 in English and Undetermined and held by 694 WorldCat member libraries worldwide
Geared toward upper-level 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 Bernstein-Robinson 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
A first course in functional analysis by Martin Davis ( Book )
23 editions published between 1966 and 2013 in English and Undetermined and held by 499 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
Uneven lies : the heroic story of African-Americans in golf by Pete McDaniel ( Book )
5 editions published in 2000 in English and held by 448 WorldCat member libraries worldwide
Narration on the history of African-Americans in golf
Lectures on modern mathematics by Martin Davis ( Book )
11 editions published between 1966 and 1967 in English and held by 343 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 319 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 )
6 editions published between 1993 and 1994 in English and held by 175 WorldCat member libraries worldwide
Classic instruction by Bobby Jones ( Book )
2 editions published between 1998 and 2007 in English and held by 167 WorldCat member libraries worldwide
Computability, 1973-1974 by Martin Davis ( Book )
5 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 99 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
Ben Hogan : the man behind the mystique by Martin Davis ( Book )
1 edition published in 2002 in English and held by 94 WorldCat member libraries worldwide
Surveys the life and career of the noted golfer, and offers a memoir by his widow, an account of the folklore he has inspired, and photographs and information about his most notable matches
The 25 greatest achievements in golf : the best of the best by Tom Watson ( Book )
2 editions published in 1997 in English and held by 83 WorldCat member libraries worldwide
My mulligan to golf the hilarious story of Shell's wonderful world of golf & the beginning of the Champions Tour by Fred Raphael ( )
1 edition published in 2011 in English and held by 80 WorldCat member libraries worldwide
A very funny book, full of humorous anecdotes, about the best made-for-television golf show ever - Shell's Wonderful World of Golf. The book also details the founding of The Legends of Golf, a two man team event that led directly to the founding of golf's senior tour
The greatest of them all : the legend of Bobby Jones by Martin Davis ( Book )
2 editions published in 1996 in English and held by 76 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 non-golfers 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 two-time Masters winner and golf historian, Peter Dobereiner, the dean of the British golf writers, Nick Seitz, the long-time editorial director for Golf Digest and Larry Dorman, the fine golf writer for The New York Times. Most of the black-and-white 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."--BOOK JACKET
Lecture notes on mathematical logic : Fall 1959. by Martin Davis ( Book )
5 editions published in 1959 in English and held by 74 WorldCat member libraries worldwide
Byron Nelson : the story of golf's finest gentleman and the greatest winning streak in history : classic photos of the great Byron Nelson by Martin Davis ( Book )
2 editions published in 1997 in English and held by 64 WorldCat member libraries worldwide
Uncrackable data banks by Norman Zalmon Shapiro ( Book )
1 edition published in 1973 in English and held by 61 WorldCat member libraries worldwide
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.52 (from 0.00 for Papers, ... to 1.00 for Ann Arbor ...)
Alternative Names
Davis, Martin
Davis, Martin D.
Davis Martin D. 1928-....
Devis, M.
Девис, М..
Девис, М 1928-
Девис, М. (Мартин), 1928-
ディヴィス, マーティン
デービス, M
English (207)
Italian (1)