Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Davis, Martin
(1928–2023)

Statistics Math-Net.Ru
Total publications: 6
Scientific articles: 6
Presentations: 2

Number of views:
This page:219
Abstract pages:1203
Full texts:774
References:46
PhD (1950)
Birth date: 8.03.1928

https://www.mathnet.ru/eng/person37250
https://ru.wikipedia.org/wiki/Devis,_Martin_(matematik)
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2010
1. M. Davis, “Representation theorems for r.e. sets and a conjecture related to Poonen's larges subring of $\mathbb Q$”, Zap. Nauchn. Sem. POMI, 377 (2010),  50–54  mathnet; J. Math. Sci. (N. Y.), 171:6 (2010), 728–730  scopus 2
1964
2. M. Davis, H. Putnam, “Diophantine sets over polynomial rings”, Matematika, 8:5 (1964),  85–90  mathnet  mathscinet  zmath; Illinois J. Math., 7 (1963), 251–256
3. Martin Davis, “Extensions and corollaries of recent work on Hilbert's Tenth Problem”, Matematika, 8:5 (1964),  80–84  mathnet  mathscinet  zmath; Illinois J. Math., 7 (1963), 246–250
4. Martin Davis, Hilary Putnam, Julia Robinson, “The decision problem for exponential diophantine equations”, Matematika, 8:5 (1964),  69–79  mathnet  mathscinet  zmath; Ann. of Math., 74 (1961), 425–436
5. Martin Davis, Hilary Putnam, “Reductions of Hilbert's tenth problem”, Matematika, 8:5 (1964),  49–54  mathnet  mathscinet  zmath; J. Symb. Logic, 23 (1958), 183–187
6. Martin Davis, “Arithmetical problems and recursively enumerable predicates”, Matematika, 8:5 (1964),  15–22  mathnet  mathscinet  zmath; J. Symbolic Logic, 18 (1953), 33–41

Presentations in Math-Net.Ru
1. Encounters with infinity
Martin Davis
Logical Perspectives 2018
May 14, 2018 15:00   
2. Alan Turing's Universal Computer
Martin Davis
General Mathematics Seminar of the St. Petersburg Division of Steklov Institute of Mathematics, Russian Academy of Sciences
October 28, 1999   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024