WorldCat Identities

Davis, Martin 1928-

Overview
Works: 58 works in 342 publications in 5 languages and 7,888 library holdings
Genres: History  Biography 
Roles: Author, Editor, Interviewee, Author of introduction, Translator, Instrumentalist
Classifications: QA248.5, 004.09
Publication Timeline
.
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 )

32 editions published between 2000 and 2012 in English and Finnish and held by 1,524 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 )

54 editions published between 1958 and 2013 in English and Undetermined and held by 1,271 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
The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions by Martin Davis( Book )

26 editions published between 1955 and 2004 in English and held by 716 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 )

26 editions published between 1977 and 2014 in 3 languages and held by 701 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
Computability, complexity, and languages : fundamentals of theoretical computer science by Martin Davis( Book )

40 editions published between 1983 and 2002 in English and Italian and held by 701 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
A first course in functional analysis by Martin Davis( Book )

30 editions published between 1966 and 2013 in English and Undetermined and held by 433 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 self-contained 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
Lectures on modern mathematics by Martin Davis( Book )

12 editions published between 1966 and 1967 in English and held by 340 WorldCat member libraries worldwide

Solvability, provability, definability : the collected works of Emil L. Post by Emil Leon Post( Book )

12 editions published between 1993 and 1994 in English and held by 192 WorldCat member libraries worldwide

Computability, 1973-1974 by Martin Davis( Book )

6 editions published in 1974 in English and held by 148 WorldCat member libraries worldwide

Julia Robinson and Hilbert's tenth problem( Visual )

3 editions published in 2008 in English and Undetermined and held by 106 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 73 WorldCat member libraries worldwide

Uncrackable data banks by Norman Zalmon Shapiro( Book )

1 edition published in 1973 in English and held by 59 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

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 22 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
One equation to rule them all by Martin Davis( Book )

2 editions published in 1968 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

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 16 WorldCat member libraries worldwide

Alan M. Turing by Sara Turing( Book )

7 editions published between 2012 and 2014 in English and held by 14 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 never-before-published 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
Il calcolatore universale : da Leibniz a Turing by Martin Davis( Book )

4 editions published between 2003 and 2012 in Italian and held by 14 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 13 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.46 (from 0.09 for Hilbert's ... to 0.98 for Il calcola ...)

The universal computer : the road from Leibniz to Turing
Alternative Names
Davis, Martin

Davis, Martin D.

Davis Martin D. 1928-....

Devis, M.

Martin Davis amerikai matematikus

Martin Davis amerikanischer Logiker

Martin Davis amerikansk matematikar

Martin Davis amerikansk matematiker

Martin Davis matematico statunitense

Martin Davis mathmaticien amricain

Девис, М..

Девис, М 1928-

Девис, М. (Мартин), 1928-

Мартин Дэвис американский математик

Мартін Девіс

مارتین دیویس ریاضی‌دان آمریکایی

ディヴィス, マーティン

デービス, M

Languages
Covers
Computability & unsolvabilityThe undecidable; basic papers on undecidable propositions, unsolvable problems and computable functionsApplied nonstandard analysisComputability, complexity, and languages : fundamentals of theoretical computer scienceSolvability, provability, definability : the collected works of Emil L. PostHilbert's tenth problemDifferential and integral calculus