Martin Davis (mathematician)
id:
martin-davis-mathematician-181-11984709
title:
Martin Davis (mathematician)
text:
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. Davis won the Leroy P. Steele Prize, the Chauvenet Prize, and the Lester R. Ford Award. He was a fellow of the American Ac
brand slug:
wiki
category slug:
encyclopedia
description:
American mathematician (1928–2023)
original url:
https://en.wikipedia.org/wiki/Martin_Davis_(mathematician)
date created:
2004-09-02T22:52:55Z
date modified:
2024-09-06T05:45:05Z
main entity:
{"identifier":"Q1239172","url":"https://www.wikidata.org/entity/Q1239172"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/3/36/Martin_Davis.jpg","width":400,"height":285}
fields total:
13
integrity:
16