# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/martin-davis
# Generated: 2026-08-13T18:18:42.465Z

schema: https://schema.org/Person
url: "https://fame.am/person/martin-davis"
name: "Martin Davis"
slug: "martin-davis"
description: "Martin David Davis was an American mathematician and computer scientist who contributed to the fields of computability theory and mathematical logic. His work on Hilbert's tenth problem led to the MRDP theorem. He also advanced the Post–Turing model and co-developed the Davis–Putnam–Logemann–Loveland (DPLL) algorithm, which is foundational for Boolean satisfiability solvers."
tagline: "American mathematician (1928–2023)"
image: "https://commons.wikimedia.org/wiki/Special:FilePath/Martin_Davis.jpg?width=1200"
gender: "male"
country:
  name: "United States"
  isoCode: "US"
category:
  name: "Academics"
  slug: "academics"
profileType:
  name: "Academic"
  slug: "academic"
  entityType: "https://www.wikidata.org/entity/Q39631"
birthDate: "1928-03-08"
deathDate: "2023-01-01"
livingStatus: "DECEASED"
scores:
  popularity:           48.64
  momentum:             0.08519701810436636
  historical:           16.634092
  currentAttention:     0
  sourceConfidence:     65
  profileCompleteness:  75
  trendDirection:       "FALLING"
ranks:
  global:   null
  country:  null
  category: null
platforms:
  - platform:  "WEBSITE"
    url:       "http://www.cs.nyu.edu/cs/faculty/davism/"
sources:
  - url: "https://en.wikiquote.org/wiki/Martin_Davis_(mathematician)"
    title: "Wikiquote"
    type:  "WEBSITE"
  - url: "https://ar.wikipedia.org/wiki/%D9%85%D8%A7%D8%B1%D8%AA%D9%86_%D8%AF%D9%8A%D9%81%D9%8A%D8%B3"
    title: "مارتن ديفيس"
    type:  "WIKIPEDIA"
  - url: "https://arz.wikipedia.org/wiki/%D9%85%D8%A7%D8%B1%D8%AA%D9%86_%D8%AF%D9%8A%D9%81%D9%8A%D8%B3"
    title: "مارتن ديفيس"
    type:  "WIKIPEDIA"
  - url: "https://azb.wikipedia.org/wiki/%D9%85%D8%A7%D8%B1%D8%AA%DB%8C%D9%86_%D8%AF%DB%8C%D9%88%DB%8C%D8%B3"
    title: "مارتین دیویس"
    type:  "WIKIPEDIA"
  - url: "https://ca.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://de.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/Martin_Davis_(mathematician)"
    title: "Martin Davis (mathematician)"
    type:  "WIKIPEDIA"
  - url: "https://es.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://fa.wikipedia.org/wiki/%D9%85%D8%A7%D8%B1%D8%AA%DB%8C%D9%86_%D8%AF%DB%8C%D9%88%DB%8C%D8%B3"
    title: "مارتین دیویس"
    type:  "WIKIPEDIA"
  - url: "https://fr.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://ht.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://it.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://ka.wikipedia.org/wiki/%E1%83%9B%E1%83%90%E1%83%A0%E1%83%A2%E1%83%98%E1%83%9C_%E1%83%93%E1%83%94%E1%83%95%E1%83%98%E1%83%A1%E1%83%98"
    title: "მარტინ დევისი"
    type:  "WIKIPEDIA"
  - url: "https://no.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://pl.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://pt.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://ru.wikipedia.org/wiki/%D0%94%D1%8D%D0%B2%D0%B8%D1%81%2C_%D0%9C%D0%B0%D1%80%D1%82%D0%B8%D0%BD_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA)"
    title: "Дэвис, Мартин (математик)"
    type:  "WIKIPEDIA"
  - url: "https://uk.wikipedia.org/wiki/%D0%9C%D0%B0%D1%80%D1%82%D1%96%D0%BD_%D0%94%D0%B5%D0%B2%D1%96%D1%81"
    title: "Мартін Девіс"
    type:  "WIKIPEDIA"
  - url: "https://vi.wikipedia.org/wiki/Martin_Davis"
    title: "Martin Davis"
    type:  "WIKIPEDIA"
  - url: "https://zh.wikipedia.org/wiki/%E9%A9%AC%E4%B8%81%C2%B7%E6%88%B4%E7%BB%B4%C2%B7%E6%88%B4%E7%BB%B4%E6%96%AF"
    title: "马丁·戴维·戴维斯"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q1239172"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump