# Martin Davis

> 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.

*American mathematician (1928–2023)*

**Canonical URL:** https://fame.am/person/martin-davis

## Identity
- **Profile type:** Academic ([Wikidata](https://www.wikidata.org/entity/Q39631))
- **Category:** Academics
- **Country:** United States
- **Born:** 1928-03-08
- **Died:** 2023-01-01
- **Status:** deceased
- **Gender:** male

## Bio

Imported from discovery source: wikidata-dump

## Fame
- **Popularity score:** 48.6 / 100
- **Momentum:** 0.1 / 100  (trend: FALLING)
- **Historical depth:** 16.6 / 100
- **Now attention:** 0.0 / 100
- **Source confidence:** 65.0 / 100
- **Profile completeness:** 75.0 / 100

## Platforms
- **WEBSITE**: http://www.cs.nyu.edu/cs/faculty/davism/

## Sources
- [Wikiquote](https://en.wikiquote.org/wiki/Martin_Davis_(mathematician))
- [مارتن ديفيس](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)
- [مارتن ديفيس](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)
- [مارتین دیویس](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)
- [Martin Davis](https://ca.wikipedia.org/wiki/Martin_Davis)
- [Martin Davis](https://de.wikipedia.org/wiki/Martin_Davis)
- [Martin Davis (mathematician)](https://en.wikipedia.org/wiki/Martin_Davis_(mathematician))
- [Martin Davis](https://es.wikipedia.org/wiki/Martin_Davis)
- [مارتین دیویس](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)
- [Martin Davis](https://fr.wikipedia.org/wiki/Martin_Davis)
- [Martin Davis](https://ht.wikipedia.org/wiki/Martin_Davis)
- [Martin Davis](https://it.wikipedia.org/wiki/Martin_Davis)
- [მარტინ დევისი](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)
- [Martin Davis](https://no.wikipedia.org/wiki/Martin_Davis)
- [Martin Davis](https://pl.wikipedia.org/wiki/Martin_Davis)
- [Martin Davis](https://pt.wikipedia.org/wiki/Martin_Davis)
- [Дэвис, Мартин (математик)](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))
- [Мартін Девіс](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)
- [Martin Davis](https://vi.wikipedia.org/wiki/Martin_Davis)
- [马丁·戴维·戴维斯](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)
- [Wikidata](https://www.wikidata.org/wiki/Q1239172)

---
Generated by Fame.am · https://fame.am/person/martin-davis