167 found
Order:
Disambiguations
Martin Davis [167]Martin D. Davis [1]
See also
Profile: Martin Stone Davis (University of Arizona)
Profile: Martin Davis (Sewanee, The University of the South)
  1.  90
    Computability & Unsolvability.Martin Davis - 1958 - Dover Publications.
    Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   82 citations  
  2.  88
    The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions.Martin Davis (ed.) - 1965 - Dover Publication.
    "A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...)
    Direct download  
     
    Export citation  
     
    My bibliography   32 citations  
  3.  39
    Is Mathematical Insight Algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.
  4. Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.
  5.  6
    The Universal Computer. The Road From Leibniz to Turing.Martin Davis - 2001 - Bulletin of Symbolic Logic 7 (1):65-66.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  6. Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg - 1986 - Journal of Symbolic Logic 51 (4):1085-1092.
  7.  48
    What Did Gödel Believe and When Did He Believe It?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.
  8.  24
    How Subtle is Gödel's Theorem? More on Roger Penrose.Martin Davis - 1993 - Behavioral and Brain Sciences 16 (3):611.
  9.  12
    A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.
  10.  51
    Gödel Kurt. Über Die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 60–100. Gödel Kurt. On the Completeness of the Calculus of Logic (1929). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
  11. Why There is No Such Discipline as Hypercomputation.Martin Davis - 2006 - Applied Mathematics and Computation, Volume 178, Issue 1, 1.
     
    Export citation  
     
    My bibliography   2 citations  
  12.  4
    A Machine Program for Theorem-Proving.Martin Davis, George Logemann & Donald Loveland - 1967 - Journal of Symbolic Logic 32 (1):118-118.
  13.  8
    The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.
  14.  5
    Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900.David Hilbert, Mary Winston Newsom, Felix E. Browder, Donald A. Martin, G. Kreisel & Martin Davis - 1979 - Journal of Symbolic Logic 44 (1):116-119.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  15. A Note on Universal Turing Machines.M. D. Davis & Martin Davis - 1970 - Journal of Symbolic Logic 35 (4):590-590.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  16.  14
    Arithmetical Problems and Recursively Enumerable Predicates.Martin Davis - 1953 - Journal of Symbolic Logic 18 (1):33-41.
  17.  23
    Minsky ML. Size and Structure of Universal Turing Machines Using Tag Systems. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 229–238. [REVIEW]Martin Davis - 1997 - Journal of Symbolic Logic 31 (4):655-655.
  18. Solvability, Provability, Definability the Collected Works of Emil L. Post.Emil Leon Post & Martin Davis - 1994
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  19.  19
    Gödel Kurt. Eine Interpretation des Intuitionistischen Aussagenkalküls (1933f). A Reprint of 41812. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Pp. 300, 302. Gödel Kurt. An Interpretation of the Intuitionistic Propositional Calculus (1933f). English Translation by John Dawson of the ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  20.  12
    Origins of Recursive Function Theory.Stephen C. Kleene & Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-350.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21.  12
    American Logic in the 1920s.Martin Davis - 1995 - Bulletin of Symbolic Logic 1 (3):273-278.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  7
    Gödel Kurt. Über Die Vollständigkeit des Logikkalküls . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 60– 100.Gödel Kurt. On the Completeness of the Calculus of Logic . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Odd Pp. 61– 101.Gödel Kurt. Die Vollständigkeit der Axiome des Logischen Funktionenkalküls . A Reprint of 4182. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gr. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
  23.  15
    Böhm Corrado. On a Family of Turing Machines and the Related Programming Language. ICC Bulletin, Vol. 3 (1964), Pp. 185–194. [REVIEW]Martin Davis - 1996 - Journal of Symbolic Logic 31 (1):140-140.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24. Review: Corrado Bohm, On a Family of Turing Machines and the Related Programming Language. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (1):140-140.
     
    Export citation  
     
    My bibliography  
  25.  3
    Review: Edward Nelson, Internal Set Theory: A New Approach to Nonstandard Analysis. [REVIEW]Martin Davis - 1983 - Journal of Symbolic Logic 48 (4):1203-1204.
  26.  10
    Gödel Kurt. Über Die Länge von Beweisen (1936a). A Reprint of I 116. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 396, 398. Gödel Kurt. On the Length of Proofs (1936a). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-348.
  27.  4
    Selected Papers of Abraham Robinson. Volume 2. Nonstandard Analysis and Philosophy. Edited and with an Introduction by Luxemburg W. A. J. And Körner S.. Yale University Press, New Haven and London 1979, Xlv + 582 Pp.Seligman George B.. Biography of Abraham Robinson, Pp. Xi–Xxx. A Reprint of XLVII 197.Luxemburg W. A. J.. Introduction to Papers on Nonstandard Analysis and Analysis, Pp. Xxxi–Xxxix.Körner S.. Introduction to Papers on Philosophy, Pp. Xli–Xlv.Robinson Abraham. Non-Standard Analysis, Pp. 3–11. A Reprint of XXXIV 292.Robinson Abraham. On Languages Which Are Based on Non-Standard Arithmetic, Pp. 12–46. A Reprint of XXXIV 516.Robinson Abraham. On Generalized Limits and Linear Functionals, Pp. 47–61. A Reprint of XXXIV 292.Robinson Abraham. On the Theory of Normal Families, Pp. 62–87. A Reprint of XXXVII 215.Bernstein Allen R. And Robinson Abraham. Solution of an Invariant Subspace Problem of K. T. Smith and P. R. Halmos, Pp. 88–98. A Reprint of XXXIV 292.Robinson Abraham. Topic. [REVIEW]Martin Davis - 1982 - Journal of Symbolic Logic 47 (1):203-210.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  9
    It is Difficult to Admit That the Word If Acquires, When Written⊃, a Virtue It Did Not Possess When Written If. Principia Provided No Very Convincing Answer to Poincaré. Indeed the Fact That the Authors of Principia Saw Fit to Place Their First Two “Primitive Propo-Sitions”. [REVIEW]Martin Davis - 1995 - Bulletin of Symbolic Logic 1 (3).
  29.  6
    Meeting of the Association for Symbolic Logic.Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):697-706.
  30.  20
    Reductions of Hilbert's Tenth Problem.Martin Davis & Hilary Putnam - 1958 - Journal of Symbolic Logic 23 (2):183-187.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  31.  8
    Gödel Kurt. Zur Intuitionistischen Arithmetik Und Zahlentheorie (1933e). A Reprint of 41811. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 286–294. Gödel Kurt. On Intuitionistic Arithmetic and Number Theory (1933e). English Translation by Stefan Bauer-Mengelberg and Jean van ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  32.  10
    Book Review: Melvin Fitting. Computability Theory, Semantics, and Logic Programming. [REVIEW]Martin Davis - 1990 - Notre Dame Journal of Formal Logic 31 (3):485-486.
  33. Review: John McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
  34.  6
    Church's Thesis and Representation of Grammars.Martin Davis - 1983 - Behavioral and Brain Sciences 6 (3):404.
  35.  6
    Gödel Kurt. On Undecidable Propositions of Formal Mathematical Systems (1934). A Reprint of XXXI 484. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 346–369. Gödel Kurt. Postscriptum. A Reprint of XXXI 484. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-347.
  36. Review: Kurt Godel, On Undecidable Propositions of Formal Mathematical Systems (1934); Kurt Godel, Postscriptum; Stephen C. Kleene, Introductory Note to 1934. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-347.
  37.  5
    Gödel Kurt. Diskussion Zur Grundlegung der Mathematik (1931a). A Reprint of 4184. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Pp. 200, 202. Gödel Kurt. Discussion on Providing a Foundation for Mathematics (1931a). English Translation by John Dawson of the Preceding. Collected Works ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):343-343.
  38.  2
    Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of It.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers. [REVIEW]John N. Crossley, Andrew Hodges, Rolf Herken, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis & Esther R. Phillips - 1991 - Journal of Symbolic Logic 56 (3):1089.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  2
    Gödel Kurt. Über Die Länge von Beweisen . A Reprint of I 116. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 396, 398.Gödel Kurt. On the Length of Proofs . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 397, 399.Parikh Rohit. Introductory Note to 1936a. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 394– 397. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348.
  40.  2
    Gödel Kurt. Zur Intuitionistischen Arithmetik Und Zahlentheorie . A Reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 286– 294.Gödel Kurt. On Intuitionistic Arithmetic and Number Theory . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Odd Pp. 287– 295.Troelstra A. S.. Introductory Note to 1933e. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solo. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346.
  41.  2
    Lacombe Daniel. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 67–74.Bouligand G.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 75. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-287.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  42. Review: Kurt Godel, John Dawson, On the Intuitionistic Propositional Calculus (1932); A. S. Troelstra, Introductory Note to 1932. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
  43. Review: Kurt Godel, John Dawson, Review of Skolem's Uber die Unmoglichkeit Einer Vollstandigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems (24716); Kurt Godel, John Dawson, Review of Skolem's Uber die Nicht-Charakterisierbarkeit der Zahlenreihe Mittels endlich oder Abzahlbar Unendlich Vieler Aussagen mit Ausschlieblich Zahlenvariablen; Robert Vaught, Introductory Note to 1934c and 1935. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-348.
    Translate
     
     
    Export citation  
     
    My bibliography  
  44. Review: W. A. J. Luxemburg, A. Robinson, Selected Papers of Abraham Robinson: Nonstandard Analysis and Philosophy. [REVIEW]Martin Davis - 1982 - Journal of Symbolic Logic 47 (1):203-210.
     
    Export citation  
     
    My bibliography  
  45. Review: Paul C. Rosenbloom, The Elements of Mathematical Logic. [REVIEW]Martin Davis - 1953 - Journal of Symbolic Logic 18 (3):277-280.
  46. Review: E. W. Beth, Observations Concerning Computing, Deduction, and Heuristics. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):118-118.
     
    Export citation  
     
    My bibliography  
  47.  4
    Gödel Kurt. Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik (1932a). A Reprint of 4187. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Even Pp. 230–234. Gödel Kurt. A Special Case of the Decision Problem for Theoretical Logic (1932a). English Translation by John Dawson of ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.
  48.  4
    Gödel Kurt. Review of Church's A Set of Postulates for the Foundation of Logic (3594). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986, Pp. 256, 258.(Reprinted From Zentralblatt Für Mathematik Und Ihre Grenzgebiete, Vol. 4 (1932), Pp. 145–146.) Gödel Kurt. English Translation by John Dawson of ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
  49.  4
    Review: Daniel Lacombe, Sur les Possibilites d'Extension de la Notion de Fonction Recursive aux Fonctions d'une au Plusiers Variables Reelles; G. Bouligand, Intervention. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-287.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  50.  3
    Review: John Myhill, Criteria of Constructibility for Real Numbers. [REVIEW]Martin Davis - 1955 - Journal of Symbolic Logic 20 (2):178-178.
1 — 50 / 167