The following pages link to Martin Davis (Q814998):
Displaying 50 items.
- (Q393223) (redirect page) (← links)
- Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\) (Q393224) (← links)
- An appreciation of Bob Paige (Q814999) (← links)
- The decision problem for exponential diophantine equations (Q1131250) (← links)
- Diophantine sets over polynomial rings (Q1131510) (← links)
- Extensions and corollaries of recent work on Hilbert's tenth problem (Q1131669) (← links)
- Metamathematical extensibility for theorem verifiers and proof-checkers (Q1131849) (← links)
- The mathematics of non-monotonic reasoning (Q1140442) (← links)
- A relativity principle in quantum mechanics (Q1251658) (← links)
- Turing's vision and deep learning (Q1670735) (← links)
- Mathematics and design: Yes, but will it fly? (Q1864060) (← links)
- Sex and the mathematician: the High School Prom Theorem (Q2389282) (← links)
- Why there is no such discipline as hypercomputation (Q2497871) (← links)
- (Q2751352) (← links)
- (Q2756780) (← links)
- In Memory of Jacob Schwartz (Q2813112) (← links)
- (Q2845892) (← links)
- (Q3079625) (← links)
- (Q3114248) (← links)
- The Logician and the Engineer—A Book Review (Q3193042) (← links)
- (Q3204021) (← links)
- (Q3247126) (← links)
- The Definition of Universal Turing Machine (Q3253794) (← links)
- Reductions of Hilbert's tenth problem (Q3256317) (← links)
- (Q3256318) (← links)
- My Life as a Logician (Q3305314) (← links)
- Pragmatic Platonism (Q3305328) (← links)
- Concluding Comments by Martin (Q3305329) (← links)
- A formal notion of program-based test data adequacy (Q3323251) (← links)
- (Q3346295) (← links)
- What did Gödel Believe and When did He believe It? (Q3370621) (← links)
- (Q3464623) (← links)
- (Q3620010) (← links)
- Why Gödel didn't have church's thesis (Q3669395) (← links)
- (Q3686043) (← links)
- Metric Space-based Test-data Adequacy Criteria (Q3769955) (← links)
- (Q3778705) (← links)
- (Q3807156) (← links)
- (Q3814769) (← links)
- A Free Variable Version of the First-Order Predicate Calculus (Q3985544) (← links)
- (Q4075453) (← links)
- (Q4115143) (← links)
- (Q4132530) (← links)
- (Q4263941) (← links)
- Hilbert's Tenth Problem is Unsolvable (Q4401926) (← links)
- (Q4420197) (← links)
- (Q4510371) (← links)
- (Q4597322) (← links)
- (Q4619816) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
