From logic to computer science and back

MaRDI QIDQ4263941zbMATH OpenFDO

Authors Martin Davis

Publication date 8 February 2000

zbMATH Keywords

autobiographical articleautomated deductioncomputability theoryHilbert's Tenth ProblemMartin Davis

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) History of computer science (68-03)

Review text

An autobiographical article, rich in detail on Davis' life and work: descriptions of his research on Hilbert's Tenth Problem and on automated deduction; background on Davis' classic monograph \textsl{Computability and unsolvability} (1958; Zbl 0080.00902); reminiscences about Post, Kleene, Putnam, and Julia Robinson, among others; and much more. For the entire collection see [Zbl 0913.00024].

Recommendations

• Martin Davis and Hilbert's tenth problem
• scientific article; zbMATH DE number 966989
• A story of Hilbert's tenth problem
• My collaboration with Julia Robinson

Cited in

(6)

• My collaboration with Julia Robinson
• My Life as a Logician
• A story of Hilbert's tenth problem
• From logic to theoretical computer science
• scientific article; zbMATH DE number 1361527 (Why is no real title available?)
• scientific article; zbMATH DE number 939418 (Why is no real title available?)

This page was built for publication: From logic to computer science and back

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263941)