Martin Davis

Country :États-Unis
Language :anglais
Gender :masculin
Note :Informaticien et mathématicien. - A été professeur de mathématiques, New York university, Courant institute of mathematical sciences, New York (en 1983)
Variant of the name :Martin D. Davis
ISNI :ISNI 0000 0001 0921 5209

Occupations

Auteur du texte5 documents

  • Computability and unsolvability

    Material description : XXV-248 p.
    Note : Note : Bibliogr. p.234-241. Index
    Edition : New York : Dover publ. , cop. 1982

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37365046m]
  • Computability complexity and languages

    fundamentals of theorical computer science

    Material description : XIX-425 p.
    Note : Note : Index
    Edition : San Diego ; New york ; Berkeley : Academic press , cop. 1983

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37359784v]
  • Computability, complexity, and languages

    fundamentals of theoretical computer science

    2nd ed.
    Material description : XIX-609 p.
    Note : Note : Bibliogr. p. 593-594. Index
    Edition : Boston ; San Diego ; New York [etc.] : Academic press , cop. 1994

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37486366w]
  • Computability, complexity, and languages

    fundamentals of theoretical computer science

    2nd. ed.
    Material description : 609 p.
    Note : Note : Notes bibliogr. Index
    Edition : Boston ; San Diego ; New York [etc.] : Academic press , 1994

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37423407p]
  • Lectures on modern mathematics

    Material description : IX-186 p.
    Edition : New York ; London ; Paris : Gordon and Breach , cop. 1967

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb373550661]

Traducteur2 documents

  • Differential and integral calculus

    3rd ed.. - reprint 2001
    Material description : 372 p.
    Note : Note : Index
    Edition : Providence (R. I.) : AMS Chelsea publ. , cop. 1965, reprint 2001
    Auteur du texte : Edmund Landau (1877-1938)

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb38965475g]
  • Differential and integral calculus, by Edmund Landau,... Translated from the German by Melvin Hausner and Martin Davis...

    Edition : New York, Chelsea publishing C° , 1951. In-8°, IV-366 p. [Ech. int. 15022] -IVa-
    Auteur du texte : Edmund Landau (1877-1938)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32344374b]

Préfacier1 document

  • Hilbert's tenth problem

    Material description : XXII-264 p.
    Note : Note : Bibliogr. p. 221-255. Index
    Edition : Cambridge : The MIT press , cop. 1993

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37451071t]

Éditeur scientifique1 document

  • Solvability, provability, definability

    the collected works of Emil L. Post

    Material description : XXVIII-554 p.
    Note : Note : Notes bibliogr.
    Edition : Boston ; Basel ; Berlin : Birkhäuser , 1994

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37409747s]

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

  • This experimenting space presents innovating visualizations of data.bnf.fr data: diagrams, timelines, maps. This data is available and freely usable (Open license), in RDF or JSON.

Sources and references

Sources

  • Lectures on modern mathematics / by Martin Davis, 1967
    Computability complexity and languages : fundamentals of theorical computer science / Martin D. Davis, Elaine J. Weyuker, 1983
    Differential and integral calculus / Edmund Landau; transl. by Melvin Hausner, Martin Davis, 1951
  • LCNA (CD OCLC), 1994-09 : Davis, Martin, 1928-

Variant of the name

  • Martin D. Davis

Wikipedia Biography

  • Martin Davis, ou Martin David Davis (né en 1928 à New York) est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert. Il a obtenu son doctorat de l’Université de Princeton en 1950, sous la direction d'Alonzo Church. Il est professeur émérite de l'université de New York. Il est co-inventeur des algorithmes de Davis-Putnam et DPLL. Il est coauteur, avec Ron Sigal et Elaine Weyuker (en), de l'article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Calculabilité, complexité et langages, seconde édition : Les fondements de l'informatique théorique), un livre sur la théorie de la calculabilité. Il est aussi connu pour son modèle de machines Post-Turing (en).

Closely matched pages