My Life as a Logician

DOI10.1007/978-3-319-41842-1_1zbMath1439.03007OpenAlexW2584756352MaRDI QIDQ3305314

Martin Davis

Publication date: 6 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41842-1_1

zbMATH Keywords

arithmetic progressionnonstandard analysisTuring machineconjunctive normal formorder logic

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem for exponential diophantine equations
• Diophantine sets over polynomial rings
• Extensions and corollaries of recent work on Hilbert's tenth problem
• The mathematics of non-monotonic reasoning
• A relativity principle in quantum mechanics
• The primes contain arbitrarily long arithmetic progressions
• Automata Studies. (AM-34)
• The Definition of Universal Turing Machine
• Reductions of Hilbert's tenth problem
• An improved proof procedure1
• A formal notion of program-based test data adequacy
• Why Gödel didn't have church's thesis
• Metric Space-based Test-data Adequacy Criteria
• Hilbert's Tenth Problem is Unsolvable
• American Logic in the 1920s
• On the Number of Solutions of Diophantine Equations
• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving
• An explicit diophantine definition of the exponential function
• Recursive Predicates and Quantifiers

This page was built for publication: My Life as a Logician